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.
Cite
CITATION STYLE
APA
Devillers, R. (1993). Construction of s-invariants and s-components for refined petri boxes. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 691 LNCS, pp. 242–261). Springer Verlag. https://doi.org/10.1007/3-540-56863-8_50
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free