Chapter 5 - Properties (bibtex)

by José-Manuel Colom, Manuel Silva and Enrique Teruel

Reference:

Chapter 5 - Properties (José-Manuel Colom, Manuel Silva and Enrique Teruel), Chapter in Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications (Claude Girault, Rüdiger Valk, eds.), Springer-Verlag Berlin Heidelberg, 2003.

Bibtex Entry:

@InCollection{Colom2003b,
  author    = {Jos{\'e}-Manuel Colom and Manuel Silva and Enrique Teruel},
  booktitle = {Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications},
  publisher = {Springer-Verlag Berlin Heidelberg},
  title     = {Chapter 5 - {P}roperties},
  year      = {2003},
  editor    = {Claude Girault and R{\"u}diger Valk},
  isbn      = {978-3-540-41217-5},
  pages     = {53--77},
  doi       = {10.1007/978-3-662-05324-9_6},
  groups    = {silarri:6},
  keywords  = {Petri Net Theory, Petri Net Analysis},
  url       = {https://doi.org/10.1007/978-3-662-05324-9_6},
}