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