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