Detection of Illegal Behaviours Based on Unfoldings

Jean-Michel Couvreur Denis Poitrenaud 1
1 SRC - Systèmes répartis et coopératifs
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : We show how the branching process approach can be used for the detection of illegal behaviors. Our study is based on the specification of properties in terms of testers that cover safety as well as liveness properties. We demonstrate that the unfolding method can be used in this context and propose an extension of it, called unfolding graphs, for the computation of failure equivalent graphs.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01574429
Contributor : Lip6 Publications <>
Submitted on : Monday, August 14, 2017 - 2:47:16 PM
Last modification on : Thursday, March 21, 2019 - 1:01:10 PM

Links full text

Identifiers

Citation

Jean-Michel Couvreur, Denis Poitrenaud. Detection of Illegal Behaviours Based on Unfoldings. 20th International Conference on Application and Theory of Petri Nets, Jun 1999, Williamsburg, Virginia, United States. pp.364-383, ⟨10.1007/3-540-48745-X_22⟩. ⟨hal-01574429⟩

Share

Metrics

Record views

100