On Petri net models of infinite state supervisors
- 1 January 1992
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automatic Control
- Vol. 37 (2) , 274-277
- https://doi.org/10.1109/9.121634
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Some results on Petri net languagesIEEE Transactions on Automatic Control, 1990
- On the control of discrete-event dynamical systemsMathematics of Control, Signals, and Systems, 1989
- Some tractable supervisory control problems for discrete-event systems modeled by Buchi automataIEEE Transactions on Automatic Control, 1989
- Finitely recursive process models for discrete event systemsIEEE Transactions on Automatic Control, 1988
- Supervisory control of discrete-event processes with partial observationsIEEE Transactions on Automatic Control, 1988
- 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