CPN-AMI - CPN-AMI

tento článek ne uvést žádný Zdroje. Prosím pomozte vylepšit tento článek podle přidávání citací ke spolehlivým zdrojům. Zdroj bez zdroje může být napaden a odstraněn. Najít zdroje: „CPN-AMI“  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Duben 2012) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

CPN-AMI je počítačově podporované softwarové inženýrství prostředí založené na Petriho síť Specifikace. Poskytuje schopnost určit chování a distribuovaný systém —A vyhodnotit vlastnosti, jako jsou invarianty (zachování zdrojů), absence zablokování, živý, nebo časová logika vlastnosti (vztahy mezi událostmi v systému).

CPN-AMI spoléhá na AMI-Nets, které jsou dobře formované Petriho sítě se syntaktickými zařízeními. Dobře formované Petriho sítě byly společně zpracovány mezi University of Paris 6 (Université P. & M. Curie) a Univerzita v Turíně na počátku 90. let. Tato třída Petriho sítí podporuje symbolické techniky pro kontrola modelu, a poskytuje tak velmi komprimovaný způsob ukládání všech stavů systému.

Od roku 2016 je CPN-AMI majiteli uveden jako „stále k dispozici, ale již není udržován“ (Software Lib6 / MoVe na Wayback Machine (archivováno 5. května 2016)).

Viz také

• Dobře tvarovaná Petriho síť
• Petriscript

externí odkazy

• Více informací o CPN-AMI.
• BNF sítě AMI-Net

Tento programovací nástroj související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.