• Citer

Construction of S-invariants and S-components for Refined Petri Boxes: in Proceedings of the 14th International Conference on Application and Theory of Petri Nets 1993

par Devillers, Raymond
Référence Lecture notes in computer science, 691, page (242-261)
Publication Publié, 1993-06

Article révisé par les pairs

• Détails
• Contenu

Résumé :

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.