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