Eike Best, Javier Esparza. Model Checking of Persistent Petri Nets. In Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter, editors, Computer Science Logic, 5th Workshop, CSL 91, Berne, Switzerland, October 7-11, 1991, Proceedings. Volume 626 of Lecture Notes in Computer Science, pages 35-52, Springer, 1991.
@inproceedings{BestE91,
title = {Model Checking of Persistent Petri Nets},
author = {Eike Best and Javier Esparza},
year = {1991},
tags = {persistent, model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/BestE91},
cites = {0},
citedby = {0},
pages = {35-52},
booktitle = {Computer Science Logic, 5th Workshop, CSL 91, Berne, Switzerland, October 7-11, 1991, Proceedings},
editor = {Egon Börger and Gerhard Jäger and Hans Kleine Büning and Michael M. Richter},
volume = {626},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-55789-X},
}