On the Relations between Petri Nets and Transition Systems: Composition and Synchronization

N. Husberg

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Original languageEnglish
    Title of host publicationThe 4th Nordic Workshop on Program Correctness, Bergen, Norway, 2.-4.11.1992
    Place of PublicationBergen, Norway
    PublisherUniversity of Bergen
    Publication statusPublished - 1993
    MoE publication typeA4 Article in a conference publication


    • category theory
    • heterogenous algebraic theories
    • net theory

    Cite this