Technical Report No. 90-05, pages 1-14 pp.. Hamilton, Ontario, Canada: McMaster University, Department of Computer Science and Systems, 1990.
Abstract: The authors introduce a new invariant semantics of concurrent systems which is a generalisation of the causal partial order semantics, and which is consistent with the operational behaviour of inhibitor and priority nets expressed in terms of step sequences. The new semantics employs combined partial orders --- composets (each composet is essentially a pair consisting of a causal partial order and a weak causal partial order). The authors also outline the way in which composets can be generated by 1-safe inhibitor nets.
Keywords: invariant semantics (of) concurrent systems; causal partial order semantics; operational behaviour; priority net; 1-safe inhibitor net.