maria - מקוון בענן

תָכְנִית:

שֵׁם

maria - מנתח נגישות מודולרי לרשתות פטרי ברמה גבוהה

תַקצִיר

maria [אפשרויות] קבצים...

תיאור

דף מדריך זה מתעד בקצרה את maria פקודה. תיעוד מלא יותר הוא
זמין בפורמט GNU Info; ראה למטה.

maria היא תוכנית המנתחת מודלים של מערכות במקביל, המתוארות בקלט שלה
שפה המבוססת על רשתות מערכת אלגברית. הפורמליזם הוצג על ידי Ekkart
קינדלר והאגן וולצר ב-ICATPN'98, גמישות in אַלגֶבּרִי נטס.
Algebraic System Nets היא מסגרת שאינה מגדירה כל סוגי נתונים או אלגבריים
פעולות. מערכת סוגי הנתונים והפעולות במריה מתוכננות ברמה גבוהה
שפות תכנות ומפרטים בחשבון. למרות זאת, לכל דגם של מריה יש א
התפתחות סופית.
כדי להבטיח יכולת פעולה הדדית עם כלי Petri net ברמה נמוכה, מריה מתרגמת מזהים ל
רשתות פרושות למחרוזות של תווים אלפא-נומריים וקווים תחתונים. המסנן
foldname.pl ניתן להשתמש או להתאים לשיפור הקריאות של המזהים.

אפשרויות

מריה עוקבת אחר תחביר שורת הפקודה הרגיל של GNU, עם אפשרויות ארוכות שמתחילות בשניים
מקפים (`-'). סיכום האפשרויות כלול להלן. לתיאור מלא, ראה
קבצי המידע.

-a להגביל, --array-limit=להגביל
הגבל את הגודל של סוגי אינדקס מערך ל להגביל ערכים אפשריים. מגבלה של 0
משבית את הצ'קים.

-b מודל, --breadth-first-search=מודל
צור את גרף הנגישות של מודל באמצעות חיפוש רוחב ראשון.

-C בספרייה, --compile=בספרייה
צור קוד C ב בספרייה להערכת ביטויים ולרמה הנמוכה
שגרות של אלגוריתם ניתוח מופעי המעבר. כאשר משתמשים באפשרות זו,
טעויות הערכה מדווחות בצורה מעט שונה. המתורגמן
מציג את הערכת השווי והביטוי שגרמו לשגיאה הראשונה במצב; ה
קוד הידור מציג את מספר השגיאות. מסיבות ביצועים, ה
הקוד שנוצר אינו בודק שגיאות הצפה בעת הוספת פריטים לקבוצות מרובות.

-ג, --ללא קומפילציה
ההפך מ -C. הערך את כל הביטויים במתורגמן המובנה. זה
התנהגות ברירת המחדל.

-D סמל, --הגדיר=סמל
הגדר את סמל הפרה-מעבד סמל.

-d מודל, --depth-first-search=מודל
צור את גרף הנגישות של מודל באמצעות חיפוש עומק ראשון.

-E הפסקה, --קצוות=הפסקה
בעת יצירת גרף הנגישות, דווח על גודל הגרף לאחר כל אחת
הפסקה קצוות שנוצרו.

-e מחרוזת, --execute=מחרוזת
לבצע מחרוזת.

-g קובץ גרף, --graph=קובץ גרף
טען גרף נגישות שנוצר בעבר מ קובץ גרף.rgh.

-H h[,f[,t]], --hashes=h[,f[,t]]
הגדר את הפרמטרים לאימות הסתברותי (-P). לְהַקְצוֹת t אוניברסלי
פונקציות hash של f אלמנטים וטבלאות גיבוב מתאימות של h ביטים כל אחד. שניהם h
ו f יעוגל כלפי מעלה לערכים המתאימים הבאים.

-?, -ח, - עזרה
הדפס סיכום של אפשרויות שורת הפקודה למריה וצא.

-I בספרייה, --include=בספרייה
צרף בספרייה לרשימת הספריות שחיפשו קבצי include.

-i עמודות, --רוחב=עמודות
הגדר את השוליים הימניים של הפלט ל עמודות. ברירת המחדל היא 80.

-j תהליכים, --משרות=תהליכים
בעת בדיקת מאפייני בטיחות (אפשרויות -L, -M ו -P), השתמש בעובדים רבים כל כך
תהליכים להאצת הניתוח במחשב מרובה מעבדים. ראה גם -k ו
-Z.

-k נמל[/המארח], --התחבר=נמל[/המארח]
הפצת בדיקת מודל בטיחות (אפשרויות -L, -M ו -P) ברשת TCP/IP. ל
השרת, בלבד נמל מצוין כמספר שלם ללא סימן של 16 סיביות, בדרך כלל בין
1024 ו-65535. לתהליכי העובד, נמל/המארח מציין את היציאה ואת ה
כתובת השרת. ראה גם -j.

-L מודל, --ללא הפסד=מודל
לִטעוֹן מודל ולהתכונן לניתוחו על ידי בניית קבוצה של מצבים שניתן להגיע אליהם
בקבצי דיסק. ראה גם -M, -P, -j ו -k.

-m מודל, --מודל=מודל
לִטעוֹן מודל ולנקות את גרף הנגישות שלו.

-M מודל, --md5-compacted=מודל
לִטעוֹן מודל ולהתכונן לניתוחו על ידי בניית קירוב יתר של
סט של מצבים שניתן להגיע אליהם בזיכרון הראשי. ראה גם -P, -L, -j ו -k.

-N cregexp, --name=cregexp
ציין את השמות המותרים בהקשר c כביטוי הרגולרי המורחב regexp.
ההקשר מזוהה על ידי התו הראשון של מחרוזת הפרמטר; ה
התווים הבאים מהווים את הביטוי הרגולרי שמותר לשמות חייבים
להתאים.

-n cregexp, --אין-שם=cregexp
ציין את השמות שאינם מותרים בהקשר c כביטוי הרגולרי המורחב
regexp.
אם שניהם -N ו ו -n מצוינים עבור הקשר c, ואז ההתאמה המאפשרת לוקחת
עֲדִיפוּת. לדוגמה, לדרוש שכל שמות הסוגים המוגדרים על ידי המשתמש יהיו
הסתיים עם _t, לפרט -nt -Nt'_t$'. המרכאות בפרמטר האחרון הן
נדרש להסיר את המשמעות המיוחדת מ $ במעטפת שורת הפקודה אתה
כנראה משתמש כדי לעורר את מריה.

-P מודל, --הסתברותי=מודל
לִטעוֹן מודל ולהתכונן לניתוחו על ידי בניית קבוצה של מצבים שניתן להגיע אליהם
בזיכרון הראשי באמצעות טכניקה הנקראת bitstate has has.

-p הפקודה, --property-translator=הפקודה
ציין את הפקודה לשימוש עבור תרגום אוטומטי של מאפיינים. הפקודה צריכה
קרא נוסחה מהקלט הסטנדרטי וכתוב אוטומט מתאים
תיאור לפלט הסטנדרטי. המתרגם לבט תואם לזה
אוֹפְּצִיָה.

-q להגביל, ---quantification-limit=להגביל
מנע כימות (סכום מרובה קבוצות) של סוגים שיש להם יותר מ להגביל אפשרי
ערכים. מגבלה של 0 מבטלת את הצ'קים.

-U סמל, --undefine=סמל
בטל את ההגדרה של סמל המעבד סמל.

-u [a][f[אוסף]], --נפתח=[a][f[אוסף]]
פתח את הרשת באמצעות אלגוריתם a וכתוב את זה בפורמט f ל אוסף. אם אוסף
לא צוין, זרוק את הרשת הפרוש לפלט הסטנדרטי. פורמטים אפשריים
יש לו m (מריה (ניתן לקריאה לאדם), ברירת מחדל), l (LoLA), p (PEP), ו r (לְדַרבֵּן). שם
הם שני אלגוריתמים: מסורתי (ברירת מחדל) ומופחת על ידי בניית a ניתן לכיסוי
סימון (M).

-V, --גִרְסָה
הדפס את מספר הגרסה של מריה וצא.

-ב, --מִלוּלִי
הצג מידע מפורט על שלבים שונים של הניתוח.

-W, --אזהרות
אפשר אזהרות לגבי מבני רשת חשודים. זוהי התנהגות ברירת המחדל.

-וו, --ללא אזהרות
ההפך מ -W. השבת את כל האזהרות.

-x בסיס מספרים, --radix=בסיס מספרים
ציין את בסיס המספרים עבור פלט אבחון. ערכים מותרים עבור בסיס מספרים יש לו
אוקטובר, אוקטלי, 8, hex, הקסדצימלי, 16, דצמבר, עֶשׂרוֹנִי ו 10. ברירת המחדל היא להשתמש
מספרים עשרוניים.

-י, --compress-hidden
צמצם את קבוצת המצבים שניתן להגיע אליהם על ידי אי אחסון המצבים העוקבים של
מקרי מעבר שעבורם א להסתיר המצב מתקיים. היורשים הנסתרים הם
מאוחסן בסט מצב נפרד. אפשרות זו עשויה לחסוך זיכרון (-L or -m) או להפחית
ההסתברות שמצבים מושמטים (-M or -P), וזה עשוי לשפר את
יעילות של ניתוח מקביל (-j or -k), אך היא גם עשויה לעלות במידה ניכרת
דרישת זמן המעבד. האפשרות עובדת גם עם מודל החיים
בודקים, אך אין ערובה לכך שערכי האמת של החיים מאפיינים
נשאר ללא שינוי. אפשרות זו ניתן לשלב עם -Z.

-י, --לא-דחיסה-מוסתר
ההפך מ -Y. זוהי התנהגות ברירת המחדל.

-ז, --compress-paths
צמצם את קבוצת המצבים שניתן להגיע אליהם על ידי אי אחסון מצבי ביניים שיש להם ב
רוב יורש אחד. אפשרות זו עשויה לחסוך זיכרון (-L or -m) או להפחית את
הסתברות שמצבים מושמטים (-M or -P), וזה עשוי לשפר את היעילות
של ניתוח מקביל (-j or -k), אבל זה עשוי גם להגדיל במידה ניכרת את
דרישת זמן המעבד. האפשרות פועלת גם עם בדיקת מודל חיוניות,
אבל אין ערובה שערכי האמת של נכסי החיים נשארים
ללא שינוי. אפשרות זו ניתן לשלב עם -Y.

-ז, --ללא-דחיסה-נתיבים
ההפך מ -Z. זוהי התנהגות ברירת המחדל.

השתמש במריה באינטרנט באמצעות שירותי onworks.net