For the most recent entries see the Petri Nets Newsletter.

Construction of S-invariants and S-components for Refined Petri Boxes.

Devillers, R.

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 242-261. Springer-Verlag, 1993.

Abstract: The paper shows how to synthesize S-invariants and S-components for a refined Petri Box, from the characteristics of its constituents. The construction is based on the tree structure of the interface places gluing the refining fragments to the remaining part of the Box to be refined.


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

Back to the Petri Nets Bibliography