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

Joakim Byg, Kenneth Yrke Jørgensen, Jiri Srba

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

17 Citations (Scopus)

Fingerprint

Dive into the research topics of 'An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata'. Together they form a unique fingerprint.

Computer Science