Gérard Memmi, Jacques Vautherin. Analysing Nets by the Invariant Method. In Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg, editors, Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986. Volume 254 of Lecture Notes in Computer Science, pages 300-336, Springer, 1986.
@inproceedings{MemmiV86,
title = {Analysing Nets by the Invariant Method},
author = {Gérard Memmi and Jacques Vautherin},
year = {1986},
researchr = {https://researchr.org/publication/MemmiV86},
cites = {0},
citedby = {0},
pages = {300-336},
booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986},
editor = {Wilfried Brauer and Wolfgang Reisig and Grzegorz Rozenberg},
volume = {254},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-17905-4},
}