Modeling shared resources with generalized synchronization within a Petri net bottom-up approach

This paper proposes a simple and effective way to represent shared resources in manufacturing systems, within a Petri net model previously developed. Such a model relies on the bottom-up and modular approach to synthesis and analysis. The designer may define elementary tasks and then connect them with one another with three kinds of connections: self-loops, inhibitor arcs and simple synchronizations. A theoretical framework has been established for the analysis of liveness and reversibility of such models. The generalized synchronization, here formalized, represents an extension of the simple synchronization, allowing the merging of suitable subnets among elementary tasks. It is proved that under suitable, but not restrictive, hypotheses the generalized synchronization may be substituted for a simple one.<<ETX>>

[1]  B. Krogh,et al.  On closed-loop liveness of discrete-event systems under maximally permissive control , 1992 .

[2]  Luca Ferrarini,et al.  On the Reachability and Reversibility Problems in a Class of Petri Nets , 1994, IEEE Trans. Syst. Man Cybern. Syst..

[3]  MuDer Jeng,et al.  A synthesis method for Petri net modeling of automated manufacturing systems with shared resources , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.

[4]  Norihisa Komoda,et al.  PETRI-NET BASED CONTROLLER: SCR AND ITS APPLICATIONS IN FACTORY AUTOMATION. , 1985 .

[5]  Bruce H. Krogh,et al.  Synthesis of feedback control logic for discrete manufacturing systems , 1991, Autom..

[6]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[7]  J. Kopainsky,et al.  Principles and engineering of process control with Petri nets , 1988 .

[8]  Claudio Maffezzoni,et al.  Conceptual framework for the design of logic control , 1993 .

[9]  Frank DiCesare,et al.  Implementation of a Petri net controller for a machining workstation , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[10]  MengChu Zhou,et al.  A hybrid methodology for synthesis of Petri net models for manufacturing systems , 1992, IEEE Trans. Robotics Autom..

[11]  Luca Ferrarini,et al.  A new approach to modular liveness analysis conceived for large logic controllers' design , 1994, IEEE Trans. Robotics Autom..

[12]  Luca Ferrarini,et al.  An incremental approach to logic controller design with Petri nets , 1992, IEEE Trans. Syst. Man Cybern..

[13]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.