The theory of deadlock avoidance via discrete control
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement
Discrete Event Dynamic Systems
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
Petri nets and programming: a survey
ACC'09 Proceedings of the 2009 conference on American Control Conference
A modular system approach to DES synthesis and control
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
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
Cooperation of agents based on methods of DES supervising and control
Transactions on computational collective intelligence III
Cooperation of hybrid agents in models of manufacturing systems
KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications
Modelling of agents cooperation and negotiation
ICCCI'11 Proceedings of the Third international conference on Computational collective intelligence: technologies and applications - Volume Part II
On fluidization of discrete event models: observation and control of continuous Petri nets
Discrete Event Dynamic Systems
Supervision of agents modelling evacuation at crisis situations
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
Discrete Event Dynamic Systems
| Hi-index | 0.01 |