Liveness analysis of sequence control specifications described in capacity designated Petri net using reduction
- 23 March 2005
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 4, 1960-1965
- https://doi.org/10.1109/robot.1987.1087786
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A Petri Net-Based Controller for Flexible and Maintainable Sequence Control and its Applications in Factory AutomationIEEE Transactions on Industrial Electronics, 1986
- Hierarchical reduction method for analysis and decomposition of Petri netsIEEE Transactions on Systems, Man, and Cybernetics, 1985
- An Autonomous, Decentralized Control System for Factory AutomationComputer, 1984
- Additional methods for reduction and expansion of marked graphsIEEE Transactions on Circuits and Systems, 1981
- Reduction and expansion of live and safe marked graphsIEEE Transactions on Circuits and Systems, 1980