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.