Skip to Main content Skip to Navigation
Conference papers

Optimized Colored Nets Unfolding

Fabrice Kordon 1 Alban Linard 1 Emmanuel Paviot-Adet 1
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : As some structural properties, like generative families of positive P-invariants, can only be computed in P/T nets, unfolding of Colored Petri Nets is of interest. However, it may generate huge nets that cannot be stored concretely in memory. In some cases, removing the dead parts of the unfolded net can dramatically reduce its size, but this operation requires the unfolded net to be represented anyway. This paper presents a symbolic representation of unfolded nets using Data Decision Diagrams. This technique allows to store very large models and manipulate them for optimization purpose.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01351825
Contributor : Lip6 Publications Connect in order to contact the contributor
Submitted on : Thursday, August 4, 2016 - 5:11:52 PM
Last modification on : Friday, January 8, 2021 - 5:38:07 PM

Links full text

Identifiers

Citation

Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet. Optimized Colored Nets Unfolding. International Conference on Formal Methods for Networked and Distributed Systems (FORTE '06), Sep 2006, Paris, France. pp.339-355, ⟨10.1007/11888116_25⟩. ⟨hal-01351825⟩

Share

Metrics

Record views

124