A Sheaf Semantics for Petri Nets

J. Lilius

    Research output: Working paperProfessional

    Original languageEnglish
    Place of PublicationEspoo
    Publication statusPublished - 1993
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameDigital Systems Laboratory, Series A: Research Reports
    PublisherHelsinki University of Technology
    No.23

    Keywords

    • net theory
    • sheaf theory

    Cite this