%0 Book %1 jensen.1 %A Jensen, Kurt %D 1997 %I Springer-Verlag %K colored-petri-nets petri-nets %T Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts

@book{jensen.1, added-at = {2009-07-21T22:35:22.000+0200}, author = {Jensen, Kurt}, biburl = {https://www.bibsonomy.org/bibtex/22b5ad322e0f1932addbf6a1eb55f721b/hidders}, description = {bibrem upload}, interhash = {ae0445b9d904ed4a749b72773cc77898}, intrahash = {2b5ad322e0f1932addbf6a1eb55f721b}, keywords = {colored-petri-nets petri-nets}, note = {2nd corrected printing}, publisher = {Springer-Verlag}, timestamp = {2009-07-31T10:46:51.000+0200}, title = {Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts}, year = 1997 }