Petri nets are monoids (Q922720)

A new definition of place/transition Petri nets as graphs with the operation of parallel and sequential composition on the transitions is given. New morphisms, relating system description at different level of abstractions, and new constructions, like function space for Petri nets, are defined. Categories equipped with products and coproducts are introduced for Petri nets. A tensor product is also defined on nets, and net category is proved to be symmetric monoidal closed.