Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Supervisory Control of Discrete Event Systems Using Petri Nets
Supervisory Control of Discrete Event Systems Using Petri Nets
A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems
The Relations Among Potentials, Perturbation Analysis,and Markov Decision Processes
Discrete Event Dynamic Systems
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
Automated synthesis of Ladder automation circuits based on state-diagrams
Advances in Engineering Software
Designing communicating transaction processes by supervisory control theory
Formal Methods in System Design
| Hi-index | 0.00 |