A Configurable State Class Method for Temporal Analysis of Time Petri Nets

Li Pan, Zhi Jun Ding, Meng Chu Zhou. A Configurable State Class Method for Temporal Analysis of Time Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 44(4):482-493, 2014. [doi]

Abstract

Abstract is missing.