For the most recent entries see the Petri Nets Newsletter.

Synthesis of Net Systems.

Bernardinello, L.

In: Ajmone Marsan, M.: Lecture Notes in Computer Science, Vol. 691; Application and Theory of Petri Nets 1993, Proceedings 14th International Conference, Chicago, Illinois, USA, pages 89-105. Springer-Verlag, 1993.

Abstract: Transition Systems are among the most general mathematical structures used to describe the behaviour of systems, both sequential and concurrent. Ehrenfeucht and Rozenberg identified a basic notion for these structures, and called it `region'. They used it to define a construction yielding a Net System whose behaviour can be described by a given Transition System. In this paper, properties of the set of regions of Transition Systems are investigated and an alternative construction is defined.

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

Back to the Petri Nets Bibliography