Scenario-Based Timing Consistency Checking for Time Petri Nets.

Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng

Browse the full FORTE paper archive.