On forbidden state problems for a class of controlled Petri nets
- 1 January 1995
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automatic Control
- Vol. 40 (10) , 1717-1731
- https://doi.org/10.1109/9.467679
Abstract
This paper treats the forbidden state problem for the class of discrete event dynamical systems (DEDS's) which can be modeled as controlled state machines (CtlSM's), CtlSM's constitute a special class of controlled Petri nets (CtlPN's) where no synchronization requirements are included in the system model. Synchronization and other safety requirements are modeled via sets of forbidden states. In this paper we study methods guaranteeing these constraints by disabling some of the controllable transitions. We assume that the full state is observable. Control logic synthesis taking into account the graphical representation of CtlSM's and the distributed state representation in terms of markings is proposed and justified. Two examples-the cat-and-mouse game and a model of a metro line-illustrate the theoretical resultsKeywords
This publication has 15 references indexed in Scilit:
- On closed-loop liveness of discrete event systems under maximally permissive controlPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Supervisory design using Petri netsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Existence and design of supervisors for vector discrete event systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Control of vector discrete-event systems. I. The base modelIEEE Transactions on Automatic Control, 1993
- Synthesis of feedback control logic for discrete manufacturing systemsAutomatica, 1991
- Synthesis of feedback control logic for a class of controlled Petri netsIEEE Transactions on Automatic Control, 1990
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- The control of discrete event systemsProceedings of the IEEE, 1989
- Modular Feedback Logic for Discrete Event SystemsSIAM Journal on Control and Optimization, 1987
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987