For the most recent entries see the Petri Nets Newsletter.

P/T-systems as Abstractions of C/E-systems.

Desel, Jörg; Merceron, Agathe

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography