CO-OPN
(Redirigé depuis Concurrent Object-Oriented Petri Nets)
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Cet article manque de repères chronologiques ou de dates ().
Vous pouvez ajouter les données manquantes avec leurs sources.
CO-OPN, pour Concurrent Object-Oriented Petri Nets, en français Réseaux de Petri Concurrents Orientés Objet, est un langage de modélisation développé [Quand ?] 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çon modulaire s'inspirant fortement de la programmation orientée objet.
Lien externe[modifier | modifier le code]
- (en) Site officiel
