Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets

Article type: Research Article

Authors: Winkowski, Józef

Affiliations: Instytut Podstaw Informatyki PAN, ul. Ordona 21, 01-237 Warszawa, Poland. wink@ipipan.waw.pl

Abstract: Structures called concatenable weighted pomsets are introduced which can serve as models of processes of Petri nets, including nets with time features. Operations on such structures are defined which allow to combine them sequentially and in parallel. These operations correspond to natural operations on processes. They make the universe of concatenable weighted pomsets a partial algebra which appears to be a symmetric strict monoidal category. Sets of processes of timed and time Petri nets are characterized as subsets of this algebra.

Keywords: concatenable weighted pomset, symmetry, table, sequential composition, parallel composition, interchange, algebra, timed Petri net, time Petri net, process, potential timed process, actual timed process

DOI: 10.3233/FI-1996-283413

Journal: Fundamenta Informaticae, vol. 28, no. 3-4, pp. 403-421, 1996