A Partial Order Method for the Verification of Time Petri Nets.

Irina B. Virbitskaite, E. Pokozy

Browse the full FCT paper archive.