Modeling admissible behavior using event signals

We describe here how to obtain a model for the admissible behavior of a discrete event system that is represented by a safe Petri net (PN) model. The transitions of this PN model may be controllable or uncontrollable. Also given is a sequential specification which is modeled with a special state machine. Then, using the condition and event arcs of net condition/event systems, a combined model of plant and specification is obtained. We use only the structure of this combined model to develop a method which gives the admissible behavior of the system. Thus, we avoid the complexity of a complete state enumeration.

[1]  Hans-Michael Hanisch,et al.  A modular plant modeling technique and related controller synthesis problems , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[2]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[3]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[4]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[5]  MengChu Zhou,et al.  Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach , 1998 .

[6]  H.-M. Hanisch,et al.  Integration of batch plant scheduling and control by means of hybrid net condition/event system model , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[7]  MengChu Zhou,et al.  Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.

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

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

[10]  P. Ramadge,et al.  Modular feedback logic for discrete event systems , 1987 .

[11]  H.-M. Hanisch,et al.  Synthesis of supervisory controllers based on a novel representation of condition/event systems , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.

[12]  Valeriy Vyatkin,et al.  A modeling approach for verification of IEC1499 function blocks using net condition/event systems , 1999, 1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467).

[13]  Hartmann J. Genrich,et al.  The Calculus of Facts , 1976, MFCS.

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

[15]  Mohsen A. Jafari,et al.  A Comparative Study of Synthesis Methods for Discrete Event Controllers , 1999, Formal Methods Syst. Des..

[16]  Alessandro Giua,et al.  Petri nets as discrete event models for supervisory control , 1992 .

[17]  H.-M. Hanisch,et al.  Net condition/event systems with multiple condition outputs , 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95.

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

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