Net model composition and modification by net operations: a pragmatic approach

Different tools often implement a single Petri net refinement or composition concept in different ways. This situation is undesirable from an engineering point of view. Here, we present a set of operations on nets based on the concepts of net instances and fusion sets, supporting the specification of net structure's abstractions and net model transformations in an integrated and generic way. The operations are illustrated by composing a net model for a medium-sized control system. The same operations are then used to specify modifications to the initial model