A Petri net based approach to design well behaved discrete event systems | IEEE Conference Publication | IEEE Xplore