CPN-AMI - CPN-AMI

Bu maqola emas keltirish har qanday manbalar. Iltimos yordam bering ushbu maqolani yaxshilang tomonidan ishonchli manbalarga iqtiboslarni qo'shish. Manbaga ega bo'lmagan materialga qarshi chiqish mumkin va olib tashlandi. Manbalarni toping: "CPN-AMI"  – Yangiliklar  · gazetalar  · kitoblar  · olim  · JSTOR (2012 yil aprel) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling)

CPN-AMI a kompyuter yordamida dasturiy ta'minot muhandisligi atrof-muhitga asoslangan Petri Net texnik xususiyatlar. Bu xatti-harakatlarini belgilash qobiliyatini ta'minlaydi tarqatilgan tizim - va invariantlar (resurslarni saqlash), yo'qligi kabi xususiyatlarni baholash qulflar, tiriklik yoki vaqtinchalik mantiq xususiyatlari (tizimdagi hodisalar o'rtasidagi munosabatlar).

CPN-AMI yaxshi shakllangan AMI-Nets-ga tayanadi Petri to'rlari sintaktik imkoniyatlar bilan. Yaxshi shakllangan Petri to'rlari birgalikda ishlab chiqilgan Parij universiteti 6 (Université P. & M. Curie) va Torino universiteti 1990-yillarning boshlarida. Ushbu Petri net klassi ramziy metodlarni qo'llab-quvvatlaydi modelni tekshirish, va shu bilan tizimning barcha holatlarini saqlash uchun juda siqilgan usulni taqdim etadi.

2016 yildan buyon CPN-AMI egalari tomonidan "hali ham mavjud, ammo endi saqlanib qolinmagan" (Lib6 / MoVe dasturi da Orqaga qaytish mashinasi (2016 yil 5-may kuni arxivlangan)).

Shuningdek qarang

• Yaxshi shakllangan Petri to'ri
• Petriskript

Tashqi havolalar

• CPN-AMI haqida ko'proq ma'lumot.
• AMI-Net BNF

Bu dasturlash vositasi bilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.