Verification of Timed-Arc Petri Nets.

Lasse Jacobsen, Morten Jacobsen, Mikael H. Mller, Jir Srba

Browse the full SOFSEM paper archive.