We here consider Elementary Net Systems (ENI-systems) with inhibitor arcs executed according to the 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 de ne the category of ENI-systems ( ), ...