Petri net supervisors for discrete event systems

Timed Petri Nets in Hybrid Systems: Stability and SupervisoryControl

Discrete Event Dynamic Systems

Hybrid Control Systems Usind Timed Petri Nets: Supervisory Control Design Based on Invariant Properties

Hybrid Systems V

Aspect-oriented design of sensor networks

Journal of Parallel and Distributed Computing

A modular system approach to DES synthesis and control

ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation

Cooperation of agents based on methods of DES supervising and control

Transactions on computational collective intelligence III