Christoforos N. Hadjicostis, George C. Verghese. Monitoring Discrete Event Systems Using Petri Net Embeddings. In Susanna Donatelli, H. C. M. Kleijn, editors, Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN 99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings. Volume 1639 of Lecture Notes in Computer Science, pages 188-207, Springer, 1999. [doi]
@inproceedings{HadjicostisV99,
title = {Monitoring Discrete Event Systems Using Petri Net Embeddings},
author = {Christoforos N. Hadjicostis and George C. Verghese},
year = {1999},
url = {http://link.springer.de/link/service/series/0558/bibs/1639/16390188.htm},
tags = {C++},
researchr = {https://researchr.org/publication/HadjicostisV99},
cites = {0},
citedby = {0},
pages = {188-207},
booktitle = {Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN 99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings},
editor = {Susanna Donatelli and H. C. M. Kleijn},
volume = {1639},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-66132-8},
}