Logic in Petri Net Analysis

Reference:

Heikki Tuominen. Logic in Petri net analysis. Research Report A5, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, January 1988.

Suggested BibTeX entry:

@techreport{HUT-TCS-A5,
    address = {Espoo, Finland},
    author = {Heikki Tuominen},
    institution = {Helsinki University of Technology, Digital Systems Laboratory},
    month = {January},
    number = {A5},
    pages = {53},
    title = {Logic in {P}etri Net Analysis},
    type = {Research Report},
    year = {1988},
}