זוהי הפקודה ltsconvert שניתן להריץ בספק האירוח החינמי של OnWorks באמצעות אחת מתחנות העבודה המקוונות המרובות שלנו, כגון Ubuntu Online, Fedora Online, אמולטור מקוון של Windows או אמולטור מקוון של MAC OS
תָכְנִית:
שֵׁם
ltsconvert - המר ובאופן אופציונלי למזער LTS
תַקצִיר
זה ממיר [אוֹפְּצִיָה]... [בקובץ [קובץ חוץ]]
תיאור
המר את מערכת המעבר המסומנת (LTS) מ-INFILE ל-OUTFILE במבוקש
פורמט לאחר החלת שיטת המזעור שנבחרה (ברירת המחדל היא ללא). אם OUTFILE הוא
לא מסופק, נעשה שימוש ב-stdout. אם INFILE אינו מסופק, נעשה שימוש ב-stdin.
פורמט הפלט נקבע על ידי ההרחבה של OUTFILE, ואילו פורמט הקלט נקבע
נקבע על פי התוכן של INFILE. ניתן להשתמש באפשרויות --in ו --out כדי לאלץ את הקלט
ותבניות פלט. הפורמטים הנתמכים הם:
'aut' עבור פורמט Aldebaran (CADP),
'נקודה' עבור פורמט GraphViz (לא נתמך עוד כפורמט קלט),
'fsm' עבור פורמט Finite State Machine, או
'lts' עבור פורמט mCRL2 LTS (ברירת מחדל)
אפשרויות
אוֹפְּצִיָה יכול להיות כל אחד מהבאים:
-D, -- לקבוע
לקבוע LTS
-eשֵׁם, --שְׁקִילוּת=שֵׁם
ליצור LTS שווה ערך, תוך שמירה על שקילות NAME: זהות 'ללא'
שוויון (ברירת מחדל) 'ביסים' בי-דמיון חזקה 'ביסים-סיג' בי-דמיון חזקה
באמצעות חידוד החתימה 'מסעפים-ביסים' דומות מסועפת 'הסתעפות-
bisim-sig'-bisimilarity מסתעפת באמצעות חידוד חתימה 'dpbranching-bisim'
סטייה שמירה על דו-דמיון מסועף 'dpbranching-bisim-sig' divergence
שימור דו-דמיון מסועף באמצעות חידוד חתימה 'חלש-ביסים' חלש
bisimilarity 'weak-bisim-sig' בי-דמיון חלש באמצעות חידוד חתימה 'dpweak-
התבדלות ביסים משמרת חוסר דמיון חלש סטיית 'dpweak-bisim-sig'
שמירה על דו-דמיון חלש באמצעות סימולציה חזקה של חידוד 'sim'
שקילות 'עקבות' עקבות חזקות שקילות 'עקבות חלשות' שקילות עקבות חלשה
'טאו-כוכב' הפחתת כוכבי טאו
-iפורמט, --ב=פורמט
השתמש ב-FORMAT כפורמט הקלט
-lקובץ, --לפס=קובץ
השתמש ב-FILE בתור ה-LPS שממנו נוצר הקלט LTS; ייתכן שיהיה צורך בכך
אחסן את שמות הפרמטרים הנכונים של מצבים בעת שמירה בפורמט fsm ו-to
המרת LTS שאינם mCRL2 ל-mCRL2 LTS
--אין הגעה
אל תבצע בדיקת נגישות בקלט LTS
-n, --אין מדינה
השאר את פרטי המדינה בעת שמירה בפורמט נקודה
-oפורמט, --הַחוּצָה=פורמט
השתמש ב-FORMAT כפורמט הפלט
--טאו=ACTNAMES
שקול פעולות עם שם ברשימה המופרדת בפסיק ACTNAMES כפנימיות
(tau) פעולות בנוסף לאלו המוגדרות ככאלה על ידי הקלט
--תזמונים[=קובץ]
הוסף מדידות תזמון ל-FILE. המדידות נכתבות לפי שגיאת תקן אם
לא מסופק FILE
אפשרויות סטנדרטיות:
-q, --שֶׁקֶט
אל תציג הודעות אזהרה
-v, --מִלוּלִי
להציג הודעות ביניים קצרות
-d, --לנפות
להציג הודעות ביניים מפורטות
--רמת יומן=רמה
להציג הודעות ביניים עד וכולל רמה
-h, - עזרה
להציג מידע עזרה
--גִרְסָה
להציג מידע על הגרסה
השתמש ב-ltsconvert באינטרנט באמצעות שירותי onworks.net
