Hilbert Composition of Multilabelled Events

Elvio G. Amparore, Susanna Donatelli, Lea Terracini

Abstract: Any language for modelling concurrent and distributed systems features some sorts of composition and synchronization. This is usually beneficial in the design and verification of complex models. The focus of the paper is on events, like events in Discrete Events Dynamic Systems, or transitions in Petri nets, in which events are labelled with multisets of (conjugated) symbols.