par Devillers, Raymond
Référence Lecture Notes in Computer Science, Advances in Petri Nets 1992, The DEMON Project, Springer-Verlag, London, Vol. 609, page (108-151)
Publication Publié, 1992
Partie d'ouvrage collectif
Résumé : The paper shows, in the framework of labelled P/T nets, that strengthening classical bisimulations through a maximality preservation property or through the introduction of ST-configurations leads to equivalent bisimulation notions, that they are preserved by a large class of action refinements, that they may be characterized through specific refinements and that they are the coarsest equivalences preserved by refinements and implying the original bisimulations.