Modular feedback logic for discrete event systems
SIAM Journal on Control and Optimization
Feedback control of Petri nets based on place invariants
Automatica (Journal of IFAC)
Control of Safe Ordinary Petri Nets Using Unfolding
Discrete Event Dynamic Systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
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
On K-diagnosability of Petri nets via integer linear programming
Automatica (Journal of IFAC)
On structural minimality of optimal supervisors for flexible manufacturing systems
Automatica (Journal of IFAC)
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
Hi-index | 22.15 |
In this paper, we present an efficient method based on safe Petri Nets to construct a controller. A set of linear constraints allows forbidding the reachability of specific states. The number of these so-called forbidden states, and consequently the number of constraints, are large and lead to a large number of control places. A systematic method to reduce the size and the number of constraints for safe Petri Nets is offered. By using a method based on Petri Net invariants, maximal permissive controllers are determined.