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, Espoo, Finland, October 2000. Helsinki University of Technology, Laboratory for Theoretical Computer Science.

Keywords:

Petri nets, nonmonotonic reasoning

Suggested BibTeX entry:

@inproceedings{HelNie:LeksaN,
    address = {Espoo, Finland},
    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}},
    month = {October},
    pages = {7--19},
    publisher = {Helsinki University of Technology, Laboratory for Theoretical Computer Science},
    title = {Petri Net Analysis and Nonmonotonic Reasoning},
    year = {2000},
}