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}
}