Petri Net Analysis and Nonmonotonic Reasoning

Reference:

Keijo Heljanko and Ilkka Niemelä. Petri net analysis and nonmonotonic reasoning. In Nisse Husberg, Tomi Janhunen, and Ilkka Niemelä, editors, Leksa Notes in Computer Science, Festschrift in Honour of Professor Leo Ojala, pages 7–19. Helsinki University of Technology, Laboratory for Theoretical Computer Science, 2000.

Suggested BibTeX entry:

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

This work is not available online here.