Morphisms for Inhibitor Nets and Related Transition Systems (1997)

Author(s): Pietkiewicz-Koutny M

    Abstract: We here consider Elementary Net Systems (ENI-systems) with inhibitor arcs executed according to the a-priori semantics, and transition systems generated by them (TSENI). The relationship between nets and their transition systems is established via the notion of a region. We introduce morphisms both for the ENI-systems, and for the TSENI transition systems. We then define the category of ENI-systems (${cal CAT}_{ENI}$), and the category of TSENI transition systems (${cal CAT}_{TSENI}$), as well as functors between them. Finally, we prove that the functors between categories ${cal CAT}_{ENI}$ and ${cal CAT}_{TSENI}$ form an adjunction.

      • Date: October 1997
      • Series Title: Department of Computing Science Technical Report Series
      • Pages: 27
      • Institution: Department of Computing Science, University of Newcastle upon Tyne
      • Publication type: Report
      • Bibliographic status: Published

      Keywords: category theory, concurrency, petri nets, regions, transition systems


      Dr Marta Koutny
      Senior Lecturer