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

@article{balaguer2010,
  title = {A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata},
  author = {Sandie Balaguer and Thomas Chatain and Stefan Haar},
  journal = {TIME},
  year = {2010},
  month = {Jan},
  doi = {10.1109/time.2010.12},
  url = {https://doi.org/10.1109/time.2010.12},
}

Sandie Balaguer et al. (2010). A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata. TIME. https://doi.org/10.1109/time.2010.12

Sandie Balaguer, et al.. "A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata." TIME, 2010, https://doi.org/10.1109/time.2010.12.

Sandie Balaguer, et al.. "A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata." TIME (2010). https://doi.org/10.1109/time.2010.12

Sandie Balaguer et al., 2010. A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata. TIME. Available at: <https://doi.org/10.1109/time.2010.12>.

TY  - JOUR
TI  - A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata
AU  - Sandie Balaguer
AU  - Thomas Chatain
AU  - Stefan Haar
PY  - 2010
JO  - TIME
DO  - 10.1109/time.2010.12
UR  - https://doi.org/10.1109/time.2010.12
ER  -