by José-Manuel Colom, Manuel Silva and Enrique Teruel
Reference:
Chapter 6 - Properties (José-Manuel Colom, Manuel Silva and Enrique Teruel), Chapter in Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. Jaca, Spain, September, 14-22, 1998, Kronos, Zaragoza, 1998.
Bibtex Entry:
@InCollection{Colom1998c,
author = {Jos{\'{e}}-Manuel Colom and Manuel Silva and Enrique Teruel},
booktitle = {Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. Jaca, Spain, September, 14-22, 1998},
publisher = {Kronos, Zaragoza},
title = {Chapter 6 - {P}roperties},
year = {1998},
isbn = {Legal deposit: Z-2392-98},
pages = {41--63},
groups = {silarri:6},
keywords = {Petri Net Theory, Petri Net Analysis},
}