צילום מסך תוכנה:
פרטי תוכנה:
פרויקט הפלטפורמה עצמאי פטרי נקי עורך (PIPE) יוצר ומנתח פטרי נטס במהירות, ביעילות, וביעילות.
תכונת עיצוב מפתח היא הגישה מודולרית אימצה לניתוח, המאפשרת מודולים חדשים להיכתב בקלות ובעוצמה, תוך שימוש בשיטות שכבת נתונים מובנים לחישובים סטנדרטיים.
שישה מודולים ניתוח ניתנים, כוללים Invariant ניתוח, מדינה-חלל ניתוח (מבוי סתום, וכו '), וסימולציה ניתוח וסיווג.
PIPE שומר על תקן XML פטרי הנקי (PNML). פורמט הקובץ לשמירה וטעינת נטס פטרי הוא להרחבה באמצעות XSLT, ברירת המחדל להיות PNML.
1 תגובות
علی دلیران 23 Nov 15
این برنامه رو از کجا دانلود کنم؟
و قابل نصب در ویندوزهست؟
ممنون
daliran@gmail.com