Programmes par smv.unige.ch/tiki-index.php?page=IntroCoopn

Le formalisme des petri nets concurrents orientés objet (CO-OPN) est conçu pour soutenir la spécification des systèmes distribués de manière modulaire. Des outils tels que les éditeurs, le contrôle syntaxe, le générateur de t