CO-OPN, pour , en français Réseaux de Petri Concurrents Orientés Objet, est un langage de modélisation développé au Software Modeling and Verification Group de l`Université de Genève qui permet de décrire des ensembles de réseaux de Petri algébriques concurrents communicants d`une fa?...