Szczegóły programowe:
Projekt Platforma Niezależny Petri Redaktor netto (PIPE) tworzy i analizy sieci Petriego szybko, sprawnie i skutecznie.
Kluczowym elementem projektu jest podejście modułowe przyjęte do analizy, umożliwiając nowe moduły mają być napisane łatwo i mocno, przy użyciu metod wbudowanych w warstwie danych dla standardowych obliczeń.
Sześć modułów analizy są przewidziane, w tym Inwariant analizy, analizy przestrzeni stanu (zakleszczenia, itp), i symulacji Analiza i klasyfikacja.
PIPE przylega do standardu XML Petri net (PNML). Format pliku do zapisywania i wczytywania sieci Petriego jest rozszerzalny poprzez zastosowanie XSLT, domyślny jest PNML.
1 Komentarze
علی دلیران 23 Nov 15
این برنامه رو از کجا دانلود کنم؟
و قابل نصب در ویندوزهست؟
ممنون
daliran@gmail.com