A State Class Approach to Time Petri Nets with Weak Semantics | IEEE Conference Publication | IEEE Xplore