A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata.

Sandie Balaguer, Thomas Chatain, Stefan Haar

Browse the full TIME paper archive.