Miryam Barad. Timed Petri Nets as a Verification Tool. In Deborah J. Medeiros, Edward F. Watson, John S. Carson II, Mani S. Manivannan, editors, Proceedings of the 30th conference on Winter simulation, WSC 1998, Washington DC, USA, December 13-16, 1998. pages 547-554, ACM, 1998. [doi]
@inproceedings{Barad98,
title = {Timed Petri Nets as a Verification Tool},
author = {Miryam Barad},
year = {1998},
url = {http://portal.acm.org/citation.cfm?id=293172.293275},
researchr = {https://researchr.org/publication/Barad98},
cites = {0},
citedby = {0},
pages = {547-554},
booktitle = {Proceedings of the 30th conference on Winter simulation, WSC 1998, Washington DC, USA, December 13-16, 1998},
editor = {Deborah J. Medeiros and Edward F. Watson and John S. Carson II and Mani S. Manivannan},
publisher = {ACM},
isbn = {0-7803-5134-7},
}