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.

• Type: Conference
• Year: 2005
• Where: APN
• Authors: Robert Clarisó, Enric Rodríguez-Carbonell, Jordi Cortadella
• Keywords: Abstract Interpretation, APN 2005, Artificial Intelligence, Spain Abstract Interpretation, Stract Interpretation Robert