CO-OPN

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é 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.

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.