TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets.

Joakim Byg, Kenneth Yrke Jrgensen, Jir Srba

Browse the full ATVA paper archive.