A Guide to Modelling and Control with Modules of Signal Nets

In this paper we summarize syntax and semantics of modules of elementary signal nets and explain how to synthesize the control for discrete event systems modelled by such modules.

[1]  Wolfgang Reisig,et al.  Lectures on Petri Nets I: Basic Models , 1996, Lecture Notes in Computer Science.

[2]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[3]  Wolfgang Reisig,et al.  Applications and Theory of Petri Nets 2004 , 2004, Lecture Notes in Computer Science.

[4]  Maciej Koutny,et al.  Semantics of Inhibitor Nets , 1995, Inf. Comput..

[5]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[6]  Steven I. Marcus,et al.  On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation , 1989, Math. Control. Signals Syst..

[7]  Hans-Michael Hanisch,et al.  A Signal Extension for Petri Nets and its Use in Controller Design , 2000, Fundam. Informaticae.

[8]  Peng Zhao,et al.  Modeling admissible behavior using event signals , 2004, IEEE Trans. Syst. Man Cybern. Part B.

[9]  Alessandro Giua,et al.  A Survey of Petri Net Methods for Controlled Discrete Event Systems , 1997, Discret. Event Dyn. Syst..

[10]  Robert Lorenz,et al.  Modelling and Control with Modules of Signal Nets , 2003, Lectures on Concurrency and Petri Nets.

[11]  John Anthony Rossiter,et al.  Predictive Controllers with Guaranteed Stability and Mean-Level Controllers for Unstable Plant , 1997, Eur. J. Control.

[12]  Jan Thieme,et al.  Towards a synthesis method for distributed safety controllers based on net condition/event systems , 1997, J. Intell. Manuf..

[13]  Bruce H. Krogh,et al.  On condition/event systems with discrete state realizations , 1991, Discret. Event Dyn. Syst..

[14]  Luciano Lavagno,et al.  Synthesis and Control of Discrete Event Systems , 2002, Springer US.

[15]  W. M. Wonham,et al.  STCT: An Efficient Algorithm for Supervisory Control Design , 2002 .

[16]  Gabriel Juhás,et al.  On Semantics of Petri Nets over Partial Algebra , 1999, SOFSEM.

[17]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[18]  Jörg Desel,et al.  Model Validation in Controller Design , 2003, Lectures on Concurrency and Petri Nets.

[19]  B.H. Krogh,et al.  Petri Net based Models for Condition/Event Systems , 1991, 1991 American Control Conference.

[20]  Joost Engelfriet,et al.  Elementary Net Systems , 1996, Applications and Theory of Petri Nets.

[21]  Wolfgang Reisig,et al.  Lectures on Concurrency and Petri Nets , 2003, Lecture Notes in Computer Science.

[22]  Robert Lorenz,et al.  Synthesis of Controlled Behavior with Modules of Signal Nets , 2004, ICATPN.

[23]  William I. Grosky,et al.  SOFSEM 2002: Theory and Practice of Informatics , 2002, Lecture Notes in Computer Science.

[24]  MengChu Zhou,et al.  Petri net synthesis for discrete event control of manufacturing systems , 1992, The Kluwer international series in engineering and computer science.

[25]  Jeffrey D. Ullman,et al.  Introduction to automata theory, languages, and computation, 2nd edition , 2001, SIGA.

[26]  Hans-Michael Hanisch,et al.  Controller Synthesis for Net Condition/Event Systems with a Solution for Incomplete State Observation , 1997, Eur. J. Control.