Bibliography
Reachable Markings of Object Petri Nets
Michael Köhler.
Reachable markings of object Petri nets.
In H.-D. Burkhard, L. Czaja, G. Lindemann, and A. Skowron, editors,
Proceedings of the International Workshop on Concurrency, Specification,
and Programming (CS&P 2006), 2006.
BibTeX
@InProceedings{Koehler06d,
author = {K{\"o}hler, Michael},
title = {Reachable Markings of Object {Petri} Nets},
editor = "H.-D. Burkhard and L. Czaja and G. Lindemann and A. Skowron",
booktitle = {Proceedings of the International Workshop
on Concurrency, Specification, and Programming (CS\&P 2006)},
year = {2006}
}