TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets.

Alexandre David, Lasse Jacobsen, Morten Jacobsen, Kenneth Yrke Jrgensen, Mikael H. Mller, Jir Srba

Browse the full TACAS paper archive.