2005
DOI: 10.1007/11494744_12
|View full text |Cite
|
Sign up to set email alerts
|

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

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
6
0

Year Published

2007
2007
2019
2019

Publication Types

Select...
2
2
1

Relationship

0
5

Authors

Journals

citations
Cited by 5 publications
(6 citation statements)
references
References 15 publications
0
6
0
Order By: Relevance
“…This matrix measures the amount of correlation between variables t i and t j : when |A(i, j)| ⋍ 1 then both variables are highly correlated. Finally, iii) the number of groups is decided by finding the eigenvalues and eigenvectors of A: the eigenvalues are sorted according to their value (the highest eigenvalue explains the highest correlation and so on), and only the most important (those that explain the important amount of correlation) are taken 6 . For each selected eigenvalue λ i , we can select the leader of the group for λ i by looking at the corresponding eigenvector α 1 · x 1 + .…”
Section: Identification Of Groups Of Tightly Coupled Eventsmentioning
confidence: 99%
See 1 more Smart Citation
“…This matrix measures the amount of correlation between variables t i and t j : when |A(i, j)| ⋍ 1 then both variables are highly correlated. Finally, iii) the number of groups is decided by finding the eigenvalues and eigenvectors of A: the eigenvalues are sorted according to their value (the highest eigenvalue explains the highest correlation and so on), and only the most important (those that explain the important amount of correlation) are taken 6 . For each selected eigenvalue λ i , we can select the leader of the group for λ i by looking at the corresponding eigenvector α 1 · x 1 + .…”
Section: Identification Of Groups Of Tightly Coupled Eventsmentioning
confidence: 99%
“…For example, some analysis based on abstract interpretation can discover numeric invariants among the variables of a program. Also, it has been applied to extract invariants from a PN [6]. Several abstract domains can be used to describe the invariants: intervals [7], octagons [13], convex polyhedra [9], among others.…”
Section: Introductionmentioning
confidence: 99%
“…Whereas Colón's method can only consider equality tests, our method can handle both equality and disequality tests. This difference can be crucial in certain applications, like the analysis of Petri nets [5,27] and cache coherence protocols [15], as can be seen with the examples in Section 8.…”
Section: Related Workmentioning
confidence: 99%
“…The linear invariants produced by the linear invariant generator StInG[33], obtained by abstract interpretation with convex polyhedra and also by applying constraint-based invariant generation, do not suffice to prove the safety properties of the system either 5. These examples are available at www.lsi.upc.edu/~erodri .…”
mentioning
confidence: 99%
“…In order to converge, this technique introduces a widening operator which result in weak invariant. In [2], R. Clarisó presented an approach to generate linear inequalities and polynomial equalities as invariant by using abstract interpretation.…”
Section: Introductionmentioning
confidence: 99%