Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets

By Jiri Srba. International Conference on Formal Modeling and Analysis of Timed Systems, 2008

402 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Software

View Paper: https://www.semanticscholar.org/paper/100a6a7ed8fb365779ab0362780ee8dbeb10f542