A Sheaf Semantics for Petri Nets

Reference:

Johan Lilius. A sheaf semantics for Petri nets. Research Report A23, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, June 1993.

Abstract:

The semantics of Petri Nets are discussed within the "Objects are sheaves" paradigm. Transitions and places are represented as sheaves and nets are represented as diagrams of sheaves. Both an interleaving semantics, and a non-interleaving semantics are shown to arise as the limit of the sheaf diagram representing the net.

Suggested BibTeX entry:

@techreport{HUT-TCS-A23,
    address = {Espoo, Finland},
    author = {Johan Lilius},
    institution = {Helsinki University of Technology, Digital Systems Laboratory},
    month = {June},
    number = {A23},
    pages = {13},
    title = {A Sheaf Semantics for {P}etri Nets},
    type = {Research Report},
    year = {1993},
}