HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 metadata

Cited literature [4 references]  Display  Hide  Download

Contributor : Frédéric Davesne Connect in order to contact the contributor
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


Files produced by the author(s)


  • HAL Id : hal-00785569, version 1



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⟩



Record views


Files downloads