CPN-AMI
CPN-AMI to wspomagane komputerowo środowisko inżynierii oprogramowania oparte na specyfikacjach sieci Petri . Zapewnia możliwość określenia zachowania systemu rozproszonego — i oceny właściwości, takich jak niezmienniki (zachowanie zasobów), brak zakleszczeń , żywotność lub właściwości logiki czasowej (relacje między zdarzeniami w systemie).
CPN-AMI opiera się na sieciach AMI, które są dobrze uformowanymi sieciami Petriego z udogodnieniami syntaktycznymi. Dobrze uformowane sieci Petriego zostały opracowane wspólnie przez Uniwersytet Paryski 6 (Université P. & M. Curie) i Uniwersytet Turyński na początku lat 90. Ta klasa sieci Petriego obsługuje symboliczne techniki sprawdzania modeli , a tym samym zapewnia bardzo skompresowany sposób przechowywania wszystkich stanów systemu.
Od 2016 roku CPN-AMI jest wymieniany przez właścicieli jako „nadal dostępny, ale już nieobsługiwany” ( Lib6 / MoVe Software at the Wayback Machine (archiwum 5 maja 2016)).