Modular State Spaces and Place Fusion ⋆

Abstract. Modular state spaces [CP00,LP04] turned out to be an effi-cient analysis technique in many cases [Pet05]. However, it is designed for modules communicating through shared transitions. Since several mod-els, e.g. Hierarchical Coloured Petri Nets [Jen94], rather use a place shar-ing mechanism, we investigated the possibility of adapting the modular state space technique to such models. This paper reports the different trials and experiments before drawing conclusions.