An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata.

Joakim Byg, Kenneth Yrke Jrgensen, Jir Srba

Browse the full ICFEM paper archive.