A survey of Petri net applications in batch processes
Computers in Industry
Discrete Event Dynamic Systems
Journal of Intelligent and Robotic Systems
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
Robotics and Computer-Integrated Manufacturing
Synthesis of the Supervising Agent in MAS
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
On systematic methods to remove redundant monitors from liveness-enforcing net supervisors
Computers and Industrial Engineering
Maximally permissive deadlock avoidance for multithreaded computer programs
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
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
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
A modular system approach to DES synthesis and control
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Mathematics and Computers in Simulation
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Gadara: dynamic deadlock avoidance for multithreaded programs
OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
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
Rover control using an artificial vision system
CIMMACS '10 Proceedings of the 9th WSEAS international conference on computational intelligence, man-machine systems and cybernetics
Cooperation of agents based on methods of DES supervising and control
Transactions on computational collective intelligence III
Generalized state equation for Petri nets
WSEAS TRANSACTIONS on SYSTEMS
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Designing communication protocols for holonic control devices using elementary nets
HoloMAS'05 Proceedings of the Second international conference on Holonic and Multi-Agent Systems for Manufacturing
Eliminating concurrency bugs in multithreaded software: an approach based on control of petri nets
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
| Hi-index | 0.00 |
From the Publisher:Supervisory Control of Discrete Event Systems Using Petri Nets presents a novel approach for the supervisory control of discrete event systems using Petri nets. The concepts of supervisory control and discrete event systems are explained, and the background material on general Petri net theory necessary for using the book's control techniques is provided. A large number of examples are used to illustrate the concepts and techniques presented in the text, and there are plenty of references for those interested in additional study or more information on a particular topic. Supervisory Control of Discrete Event Systems Using Petri Nets is intended for graduate students, advanced undergraduates, and practicing engineers who are interested in the control problems of manufacturing, communication and computer networks, chemical process plants, and other high level control applications.