A top-down approach to systematic synthesis of Petri net models for manufacturing systems
- 7 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 2, 534-539
- https://doi.org/10.1109/robot.1989.100041
Abstract
The authors propose an approach to systematic synthesis of Petri net models for manufacturing systems. It is based on top-down, modular, and decomposition philosophies which make the stepwise refinement of the Petri-net models possible. Using the proposed method, it is possible to obtain a Petri net model which is guaranteed to have the most important properties in the context of manufacturing: safeness, liveness, and reversibility. A formal problem statement is presented first. Then, the previous research on synthesis approaches is reviewed. Next, several modules are defined which, when combined according to a proposed algorithm, lead to the derived model. It is proven that the algorithm yields the safeness, liveness, and reversibility properties. An example of piston-rod assembly is used to demonstrate the proposed method.<>Keywords
This publication has 16 references indexed in Scilit:
- A hierarchical modeling methodology for flexible manufacturing systems using extended Petri netsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Adaptive design of Petri net controllers for automatic error recoveryPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Real time control of multilevel manufacturing systems using colored Petri netsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Adaptive design of Petri net controllers for error recovery in automated manufacturing systemsIEEE Transactions on Systems, Man, and Cybernetics, 1989
- A Petri Net-Based Controller for Flexible and Maintainable Sequence Control and its Applications in Factory AutomationIEEE Transactions on Industrial Electronics, 1986
- Models for simulation and discrete control of manufacturing systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1986
- A Petri net approach to the modelling and analysis of flexible manufacturing systemsAnnals of Operations Research, 1985
- Performance Analysis Using Stochastic Petri NetsIEEE Transactions on Computers, 1982
- Analysis of petri nets by stepwise refinementsJournal of Computer and System Sciences, 1979
- A Synthesis Rule for Concurrent SystemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1978