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]
@inproceedings{Frutos-EscrigRA00, title = {Decidability of Properties of Timed-Arc Petri Nets}, author = {David de Frutos-Escrig and Valentín Valero Ruiz and Olga Marroquín Alonso}, year = {2000}, url = {http://link.springer.de/link/service/series/0558/bibs/1825/18250187.htm}, researchr = {https://researchr.org/publication/Frutos-EscrigRA00}, cites = {0}, citedby = {0}, pages = {187-206}, booktitle = {Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding}, editor = {Mogens Nielsen and Dan Simpson}, volume = {1825}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-67693-7}, }