Scenario-Based Timing Consistency Checking for Time Petri Nets.

Xuandong Li Lei Bu Jun Hu Jianhua Zhao Tao Zhang Guoliang Zheng Scenario-Based Timing Consistency Checking for Time Petri Nets. 388-403 2006 conf/forte/2006 FORTE http://dx.doi.org/10.1007/11888116_28 db/conf/forte/forte2006.html#LiLJZZZ06