For the most recent entries see the Petri Nets Newsletter.

On the Synchronic Structure of Transition Systems.

Bernardinello, Luca; De Michelis, Giorgio; Petruni, Katia; Vigna, Sebastiano

In: Desel, J.: Structures in Concurrency Theory, Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11-13 May 1995, pages 69-84. 1995.

Abstract: Net Theory was introduced in the early sixties by Carl Adam Petri as a form of general system theory based on the notion of concurrency. Net Theory has been widely developed during these years, becoming very popular as a framework the the analysis and specification of concurrent systems. Among the basic notions of the theory, stands the synchronic structure of a system. It characterizes dependencies between sets of its events in terms of a distance measuring their degree of snchronization. In this paper we show that a natural generalization of regions introduced by Ehrenfeucht and Rozenberg exactly corresponds to synchronic distances and that this notion of region can be used to axiomatise a class of transition systems corresponding to bounded place/transition nets without loops.

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

Back to the Petri Nets Bibliography