In: Zilli, M.V.: Lecture Notes in Computer Science, Vol. 280: Mathematical Models for the Semantics of Parallelism, pages 1-20. Springer-Verlag, 1987.
Abstract: A flexible abstraction mechanism for models of concurrency is proposed. Using three classes of atomic observations (sequences of actions, sequences of multisets of actions and partial orderings of actions) different information on the causal and temporal structure of Event Structures is captured. As a reslult, three different semantic models for concurrent systems are obtained.
Back to the Petri Nets Bibliography