Petri Net Analysis and Nonmonotonic Reasoning (2000)
AUTHORS:
Heljanko Keijo , Niemelä Ilkka
BOOKTITLE:
PAGES:
7-19
@incollection{ HN2000:lncs_ini, editor = {Husberg, Nisse and Janhunen, Tomi and Niemel\"a, Ilkka}, author = {Heljanko, Keijo and Niemel{\"a}, Ilkka}, chapter = "", publisher = "Helsinki University of Technology, Laboratory for Theoretical Computer Science", title = "Petri Net Analysis and Nonmonotonic Reasoning", booktitle = "Leksa Notes in Computer Science, Festschrift in Honour of Professor {Leo Ojala}", year = "2000", month = "", note = "", address = "", pages = "7--19" }