Computer Aided Design of Logic Controllers with Petri Nets

In the present chapter, the application of Computer Aided Control System Design principles to the analysis and design of logic control systems is discussed.

[1]  Luca Ferrarini,et al.  Modular simulation for logic, distributed, real-time control systems , 1994, Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD).

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

[3]  C. Maffezzoni,et al.  Computer Aided Design of Sequence Control by Petri Nets , 1989 .

[4]  L. Ferrarini,et al.  An extensible modular tool for distributed control systems , 1994, Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD).

[5]  D. A. Linkens.  CAD for Control Systems , 1993 .

[6]  Claudio Maffezzoni,et al.  Designing Logic Controllers with Petri Nets , 1991 .

[7]  MengChu Zhou,et al.  Design and implementation of a petri net based supervisor for a flexible manufacturing system , 1992, Autom..

[8]  P. Townsend,et al.  Open architecture for computer-aided control engineering , 1993, IEEE Control Systems.

[9]  Manuel Silva,et al.  PROGRAMMABLE LOGIC CONTROLLERS AND PETRI NETS: A COMPARATIVE STUDY , 1983 .

[10]  Yiannis E. Papelis,et al.  Specification and Analysis of Parallel/Distributed Software and Systems by Petri Nets With Transition Enabling Functions , 1992, IEEE Trans. Software Eng..

[11]  Luca Ferrarini,et al.  Optimizing structural analysis of extended Petri nets models , 1994 .

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

[13]  Decision Systems.,et al.  Execution strategies for Petri Net simulations , 1987 .

[14]  Yoshikazu Nishikawa,et al.  Simulation-based scheduling package-models and solutions , 1994, Proceedings of IECON'94 - 20th Annual Conference of IEEE Industrial Electronics.

[15]  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.

[16]  Mats Andersson,et al.  Object-Oriented Modelling and Simulation , 1993 .

[17]  Frank D. Petruzella,et al.  Programmable Logic Controllers , 1989 .

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

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

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

[21]  Robert Valette,et al.  Analysis of Petri Nets by Stepwise Refinements , 1979, J. Comput. Syst. Sci..

[22]  Robert Valette,et al.  Nets in Production Systems , 1986, Advances in Petri Nets.

[23]  Luca Ferrarini,et al.  Modeling shared resources with generalized synchronization within a Petri net bottom-up approach , 1994, Proceedings of IECON'94 - 20th Annual Conference of IEEE Industrial Electronics.

[24]  L. Marce,et al.  Defining the Semantics of Languages for Programmable Controllers with Synchronous Processes , 1992 .

[25]  Kimon P. Valavanis.  On the hierarchical modeling analysis and simulation of flexible manufacturing systems with extended Petri nets , 1990, IEEE Trans. Syst. Man Cybern..