@inproceedings{
    HelNie:LeksaN,
    editor = {Husberg, Nisse and Janhunen, Tomi and Niemel{\"a}, Ilkka},
    author = {Heljanko, Keijo and Niemel{\"a}, Ilkka},
    publisher = "Helsinki University of Technology, Laboratory for Theoretical Computer Science",
    title = "Petri Net Analysis and Nonmonotonic Reasoning",
    url = "http://users.ics.tkk.fi/kepa/publications/",
    booktitle = "Leksa Notes in Computer Science - Festschrift in Honour of Professor Leo Ojala",
    address = "Espoo, Finland",
    month = "October",
    juforank = "NA",
    flags = "copy SA-LO-00-02 SA-IN-98-01",
    year = "2000",
    keywords = "Petri nets, nonmonotonic reasoning",
    pages = "7--19"
}