@proceedings{DBLP:conf/ac/1986petri1,
editor = {Wilfried Brauer and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {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},
booktitle = {Advances in Petri Nets},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {254},
year = {1987},
isbn = {3-540-17905-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}