Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets
Józef Winkowski · Fundamenta Informaticae · 1996
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