A Petri net based approach to design well behaved discrete event systems.

Ali A. Pouyan

Browse the full SMC paper archive.