A State Class Approach to Time Petri Nets with Weak Semantics.

Li Pan Weidong Zhao Zhicheng Wang Xinmin Zhou A State Class Approach to Time Petri Nets with Weak Semantics. 772-775 2008 CSSE (2) http://dx.doi.org/10.1109/CSSE.2008.1073 conf/csse/2008-2 db/conf/csse/csse2008-2.html#PanZWZ08