Bibliography
16.3
Berndt Farwer.
A logic of enablement.
In Girault and Valk , Petri Nets for Systems Engineering: A Guide to Modelling, Verification, and Applications, section 16.3, pages
361-370.
BibTeX
@incollection{Farwer03,
Author = {Farwer, Berndt},
Title = {A Logic of Enablement},
Pages = {361--370},
chapter = {16.3},
type = {Section},
crossref = {Girault+-e-03},
Year = 2003
}
@PROCEEDINGS{Girault+-e-03,
EDITOR = {Girault, C. and Valk, R{\"u}diger},
TITLE = {{Petri} Nets for Systems Engineering:
A Guide to Modelling, Verification, and Applications},
BOOKTITLE = {{Petri} Nets for Systems Engineering:
A Guide to Modelling, Verification, and Applications},
ADDRESS = Springer.addr,
PUBLISHER = Springer,
YEAR = 2003
}
