CO-OPN, pour , en français Réseaux de Petri Concurrents Orientés Objet, est un langage de modélisation développé au 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çon modulaire s'inspirant fortement de la programmation orientée objet.
Lien externe
Catégorie:Langage orienté objet Catégorie:Méthode formelle