Compositional analysis of modular Petri nets using hierarchical state space abstraction. - Université d'Évry Access content directly
Conference Papers Year : 2012

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.
Fichier principal
Vignette du fichier
componet4.pdf (250.68 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-00785569 , version 1 (29-11-2013)

Identifiers

  • HAL Id : hal-00785569 , version 1

Cite

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⟩
146 View
53 Download

Share

Gmail Mastodon Facebook X LinkedIn More