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

@inproceedings{Byg2009AnET,
  title={An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata},
  author={Joakim Byg and Kenneth Yrke J\orgensen and Jir{\'i} Srba},
  booktitle={ICFEM},
  year={2009}
}
Bounded timed-arc Petri nets with read-arcs were recently proven equivalent to networks of timed automata, though the Petri net model cannot express urgent behaviour and the described mutual translations are rather inefficient. We propose an extension of timed-arc Petri nets with invariants to enforce urgency and with transport arcs to generalise the read-arcs. We also describe a novel translation from the extended timed-arc Petri net model to networks of timed automata. The translation is… CONTINUE READING
Highly Cited
This paper has 25 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 16 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 19 references

Similar Papers

Loading similar papers…