Bibliography
A/C Petri nets - assumption based modelling and reasoning
Michael Köhler and Heiko Rölke.
A/C Petri nets - assumption based modelling and reasoning.
In Gabriel Juhas and Robert Lorenz, editors, Proceedings des 8.
Workshop Algorithmen und Werkzeuge für Petrinetze, pages 43-48.
Universität Eichstätt, 2001.
BibTeX
@INPROCEEDINGS{Koehler+01d,
author = {K{\"o}hler, Michael and R{\"o}lke, Heiko},
BOOKTITLE = {{Proceedings des 8. Workshop Algorithmen und Werkzeuge f{\"u}r Petrinetze}},
EDITOR = {Juhas, Gabriel and Lorenz, Robert},
PAGES = {43--48},
PUBLISHER = {Universit{\"a}t Eichst{\"a}tt},
TITLE = {{A/C} {Petri} nets - assumption based modelling and reasoning},
YEAR = 2001
}
