Jozef Winkowski

A partial order representation of processes of contextual nets

840

Abstract

Generalized Place/Transition Petri nets, called contextual nets, and processes of such nets are considered. Processes of contextual nets are represented as partial orders with some extra structure. Operations of composing processes are defined such that each process of a contextual net can be obtained by combining processes corresponding to places and transitions of this net.

Key words: Contextual net, process, sequential composition, parallel composition, interchange.