On the analysis of discrete event systems using continuous Petri nets | IEEE Conference Publication | IEEE Xplore