On the Synthesis of a Controllable Supervisor for Discrete Processes Modeled by Temporal Petri Nets.

Simona Iuliana Caramihai, H. Alla

Browse the full ICRA paper archive.