A Comparative Study of Synthesis Methods for Discrete Event Controllers
Formal Methods in System Design
A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems
Timed Petri Nets in Hybrid Systems: Stability and SupervisoryControl
Discrete Event Dynamic Systems
Synthesis of Controllers of Processes Modeled as ColoredPetri Nets
Discrete Event Dynamic Systems
Control Synthesis of Petri Nets Based on S-Decreases
Discrete Event Dynamic Systems
Structuring Acyclic Petri Nets for Reachability Analysis and Control
Discrete Event Dynamic Systems
Monitoring Discrete Event Systems Using Petri Net Embeddings
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Reduction of constraints for controller synthesis based on safe Petri Nets
Automatica (Journal of IFAC)
Synthesis of the Supervising Agent in MAS
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement
Discrete Event Dynamic Systems
On systematic methods to remove redundant monitors from liveness-enforcing net supervisors
Computers and Industrial Engineering
Computers and Industrial Engineering
Combined siphon and marking generation for deadlock prevention in Petri nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
DES Control Synthesis and Cooperation of Agents
ICCCI '09 Proceedings of the 1st International Conference on Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems
Efficient deadlock prevention in Petri nets through the generation of selected siphons
ACC'09 Proceedings of the 2009 conference on American Control Conference
Controller study of DES petri net with uncontrollable transition
CCDC'09 Proceedings of the 21st annual international conference on Chinese control and decision conference
Liveness enforcing supervision of video streaming systems using nonsequential Petri nets
IEEE Transactions on Multimedia
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
Design of Petri net-based deadlock prevention controllers for flexible manufacturing systems
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
A modular system approach to DES synthesis and control
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Cooperation of agents in manufacturing systems
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
Supervisory control of time Petri nets using net unfolding
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Cooperation of agents based on methods of DES supervising and control
Transactions on computational collective intelligence III
Automatica (Journal of IFAC)
Controller synthesis by petri nets modeling
VECoS'09 Proceedings of the Third international conference on Verification and Evaluation of Computer and Communication Systems
Linear control of live marked graphs
Automatica (Journal of IFAC)
On structural minimality of optimal supervisors for flexible manufacturing systems
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
Sequence Control of Essential Siphons for Deadlock Prevention in Petri Nets
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
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
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
Discrete Event Dynamic Systems
Information Sciences: an International Journal
Hi-index | 22.16 |