Sciweavers

APN
2005
Springer

Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation

13 years 9 months ago
Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation
stract Interpretation Robert Claris´o, Enric Rodr´ıguez-Carbonell, and Jordi Cortadella Universitat Polit`ecnica de Catalunya, Barcelona, Spain Abstract interpretation is a paradigm that has been successfully used in the verification and optimization of programs. This paper presents a new apor the analysis of Petri Nets based on abstract interpretation. The main contribution is the capability of deriving non-structural invariants that can increase the accuracy of structural methods in calculating approximations of the reachability space. This new approach is illustrated with the verification of two examples from the literature.
Robert Clarisó, Enric Rodríguez-Carb
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where APN
Authors Robert Clarisó, Enric Rodríguez-Carbonell, Jordi Cortadella
Comments (0)