CPN-AMI - CPN-AMI

CPN-AMI est un environnement de génie logiciel assisté par ordinateur basé sur les spécifications Petri Net . Il permet de spécifier le comportement d'un système distribué et d'évaluer des propriétés telles que les invariants (préservation des ressources), l'absence de blocages , la vivacité ou les propriétés de logique temporelle (relations entre les événements du système).

CPN-AMI repose sur les AMI-Nets, qui sont des réseaux de Petri bien formés avec des fonctionnalités syntaxiques. Des réseaux de Petri bien formés ont été élaborés conjointement par l' Université de Paris 6 (Université P. & M. Curie) et l' Université de Turin au début des années 1990. Cette classe de réseau Petri prend en charge les techniques symboliques pour la vérification de modèle , et fournit ainsi un moyen très compressé de stocker tous les états d'un système.

Depuis 2016, CPN-AMI est répertorié par les propriétaires comme «toujours disponible mais plus entretenu» ( Logiciel Lib6 / MoVe sur la Wayback Machine (archivé le 5 mai 2016)).

Voir également

Liens externes