Skip to Main content Skip to Navigation
Conference papers

Compositional analysis of modular Petri nets using hierarchical state space abstraction.

Abstract : We propose an approach to perform efficient model-checking of µ-calculus formulae on modular Petri nets. Given a formula ϕ, each module can be analysed separately, possibly yielding a conclusion about the truth value of ϕ on the global system. When no conclusion can be drawn locally, a minimal state space preserving ϕ is computed for the module and can be incrementally composed with others, thus enabling for hierarchical analysis of a modular Petri net in a bottom-up fashion.
Complete list of metadatas

Cited literature [4 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00785569
Contributor : Frédéric Davesne <>
Submitted on : Friday, November 29, 2013 - 4:19:14 PM
Last modification on : Tuesday, June 30, 2020 - 11:56:08 AM
Long-term archiving on: : Monday, March 3, 2014 - 1:52:32 PM

File

componet4.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00785569, version 1

Collections

Citation

Yves-Stan Le Cornec. Compositional analysis of modular Petri nets using hierarchical state space abstraction.. Joint 5th International Workshop on Logics, Agents, and Mobility, LAM 2012, the 1st International Workshop on Petri Net-Based Security, WooPS 2012 and the 2nd International Workshop on Petri Nets Compositions, CompoNet 2012, Jun 2012, Hamburg, Germany. pp.119--133. ⟨hal-00785569⟩

Share

Metrics

Record views

187

Files downloads

110