In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 424; Advances in Petri Nets 1989, pages 105-127. Berlin, Germany: Springer-Verlag, 1990.
Abstract: A formal relation between Condition/Event-systems and Place/Transition-systems is presented. Concepts of net topology are used to construct and interconnect functional units of a C/E-system, synchronic distances are used to abstract from these functional units and get a P/T-system. A result on relations between a C/E-system and its functioanl units regarding synchronic distances is proved. It is shown that a concurrent behaviour of a C/E-system induces a concurrent behaviour of its P/T-system abstraction(s). A look at the reverse question is taken: at least for a special class of P/T-systems these systems can be viewed as a shorthand for a system specification by means of synchronic distances.
Keywords: predicate/transition system (as abstractions); condition/event system; net topology; synchronic distance.
Back to the Petri Nets Bibliography