2 papers
cs.IT2009
Optimal Supervisory Control Synthesis
Hassane. Alla
The place invariant method is well known as an elegant way to construct a Petri net controller. It is possible to use the constraint for preventing forbidden states. But in general…
cs.IT2009
Determination of Minimal Sets of Control Places for Safe Petri Nets
Abbas Dideban, Hassane. Alla
Our objective is to design a controlled system with a simple method for discrete event systems based on Petri nets. It is possible to construct the Petri net model of a system and…