CPN-AMI
CPN-AMI är en datorstödd mjukvarumiljö baserad på Petri Net- specifikationer. Det ger möjlighet att specificera beteendet hos ett distribuerat system – och att utvärdera egenskaper som invarianter (bevarande av resurser), frånvaro av dödlägen , livlighet eller tidsmässiga logiska egenskaper (samband mellan händelser i systemet).
CPN-AMI förlitar sig på AMI-nät, som är välformade petrinät med syntaktiska faciliteter. Välformade Petri-nät utvecklades gemensamt mellan University of Paris 6 (Université P. & M. Curie) och University of Torino i början av 1990-talet. Denna Petri net-klass stöder symboliska tekniker för modellkontroll och ger därför ett mycket komprimerat sätt att lagra alla tillstånd i ett system.
Sedan 2016 har CPN-AMI listats av ägarna som "fortfarande tillgänglig men inte underhållen längre" ( Lib6/MoVe Software at the Wayback Machine (arkiverad 5 maj 2016)).