Bibliography
Decidability Problems for Object Petri Nets
Michael Köhler.
Decidability problems for object Petri nets.
In Gesellschaft für Informatik, editor, Informatiktage 2003.
Fachwissenschaftlicher Informatik-Kongreß. Konradin Verlag, 2003.
BibTeX
@InProceedings{Koehler03r,
author = {K{\"o}hler, Michael},
title = {Decidability Problems for Object {Petri} Nets},
year = 2003,
booktitle = {Informatiktage 2003. Fachwissenschaftlicher Informatik-Kongre{\ss}},
publisher = {Konradin Verlag},
editor = {{Gesellschaft f\"ur Informatik}}
}
