A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems
Model-based diagnosis of controllers for data risk overflow
ACMOS'08 Proceedings of the 10th WSEAS International Conference on Automatic Control, Modelling & Simulation
Robotics and Computer-Integrated Manufacturing
Interactive diagnosis of flexible manufacturing systems
SMO'08 Proceedings of the 8th conference on Simulation, modelling and optimization
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special section: Best papers from the 2007 biometrics: Theory, applications, and systems (BTAS 07) conference
On the Computation of Natural Observers in Discrete-Event Systems
Discrete Event Dynamic Systems
Erratum: Erratum to "Liveness of an extended S3PR " [Automatica 46 (2010) 1008-1018]
Automatica (Journal of IFAC)
Design of Liveness-Enforcing Supervisors for S3PR Based on Complementary Places
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
One-Step Look-Ahead Maximally Permissive Deadlock Control of AMS by Using Petri Nets
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
| Hi-index | 22.15 |