Julian C. Bradfield. Proving temporal properties of Petri Nets. In Grzegorz Rozenberg, editor, Advances in Petri Nets 1991, Papers from the 11th International Conference on Applications and Theory of Petri Nets, Paris, France, June 1990. Volume 524 of Lecture Notes in Computer Science, pages 29-47, Springer, 1990.
@inproceedings{Bradfield90,
title = {Proving temporal properties of Petri Nets},
author = {Julian C. Bradfield},
year = {1990},
tags = {C++},
researchr = {https://researchr.org/publication/Bradfield90},
cites = {0},
citedby = {0},
pages = {29-47},
booktitle = {Advances in Petri Nets 1991, Papers from the 11th International Conference on Applications and Theory of Petri Nets, Paris, France, June 1990},
editor = {Grzegorz Rozenberg},
volume = {524},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-54398-8},
}