A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems
Control Synthesis of Petri Nets Based on S-Decreases
Discrete Event Dynamic Systems
Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement
Discrete Event Dynamic Systems
Supervisor synthesis for enforcing a class of generalized mutual exclusion constraints on petri nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
A summary of some discrete-event system control problems
CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
An approach for the synthesis of decentralised supervisors for distributed adaptive systems
International Journal of Critical Computer-Based Systems
A decentralized supervisory control approach for distributed adaptive systems
VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems
Robustness analysis of Petri nets for assembly/disassembly processes with unreliable resources
Automatica (Journal of IFAC)
Fault Modeling in Discrete Event Systems Using Petri Nets
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Time matrix controller design of flexible manufacturing systems
Computers and Industrial Engineering
| Hi-index | 22.15 |