In: 91; 3rd Workshop on Concurrency and Compositionality, 1991, Goslar, Germany / Best, E.; et al.: GMD-Studien Nr. 191; Hildesheimer Informatik-Berichte 6, pages 143-150. St. Augustin, Germany: Gesellschaft für Mathematik und Datenverarbeitung mbH --- Universität Hildesheim (Germany), Institut für Informatik, May 1991. Extended abstract.
Abstract: The authors discuss a new invariant semantics of concurrent systems which is a generalisation of the causal partial order semantics. The new semantics is consistent with the full operational behaviour of inhibitor and priority nets expressed in terms of step sequences. It employs combined partial orders, or composets, where each composet is a relational structure consisting of a causal partial order and a weak causal partial order. The authors develop a representation of composets using a novel concept of comtrace, which is an equivalent class of step sequences. The approach resembles Mazurkiewicz's trace semantics.
Keywords: invariant semantics (of) net(s) (with) inhibitor arcs; generalized causal partial order semantics; inhibitor net; priority net; step sequence; combined partial orders, composets; causal partial order; trace semantics.