Decidability of Properties of Timed-Arc Petri Nets

David de Frutos-Escrig, Valentín Valero Ruiz, Olga Marroquín Alonso. Decidability of Properties of Timed-Arc Petri Nets. In Mogens Nielsen, Dan Simpson, editors, Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding. Volume 1825 of Lecture Notes in Computer Science, pages 187-206, Springer, 2000. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.