Sequential Synthesis of Supervisory Policies for Discrete-Event Systems Modeled by Petri Nets.

Arun Raman, Ramavarapu S. Sreenivas

Browse the full SMC paper archive.