Implementing Model Checking and Equivalence Checking for Time Petri Nets by the RT-MEC Tool.

Alexandre V. Bystrov, I. B. Verbistskaite

Browse the full PACT paper archive.