هذا هو الأمر ltscompare الذي يمكن تشغيله في مزود الاستضافة المجانية OnWorks باستخدام إحدى محطات العمل المجانية المتعددة على الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
ltscompare - قارن بين اثنين من LTSs
موجز
com.ltscompare [OPTION] ... [INFILE1] INFILE2
الوصف
حدد ما إذا كانت أنظمة النقل المسمى (LTSs) في INFILE1 و INFILE2 هي كذلك أم لا
مرتبطة ببعض التكافؤ أو الطلب المسبق. إذا لم يتم توفير INFILE1 ، فسيتم استخدام stdin.
يتم تحديد تنسيقات الإدخال من خلال محتويات INFILE1 و INFILE2. خيارات --in1
و --in2 لفرض تنسيق الإدخال INFILE1 و INFILE2 ، على التوالي. ال
التنسيقات المدعومة هي:
"تلقائي" لتنسيق Aldebaran (CADP) ،
"نقطة" لتنسيق GraphViz (لم يعد مدعومًا كتنسيق إدخال) ،
"fsm" لتنسيق آلة الحالة المحدودة ، أو
"lts" للتنسيق mCRL2 LTS
OPTIONS
OPTION يمكن أن يكون أيًا مما يلي:
-c, --مكافحة المثال
إنشاء تتبعات مثال العداد إذا لم تكن قيم الإدخال غير متكافئة
-eاسم), - التكافؤ=اسم)
استخدام المعادلة NAME (غير مسموح به مع -p / - preorder): "لا شيء"
معادلة الهوية (افتراضي) ثنائية التشابه القوية "ثنائية ثنائية الأبعاد"
المتفرعة ثنائية التشابه 'dpbranching-bisim' divergence الحفاظ على المتفرعة
ثنائية التشابه `` ضعيفة-بيسيم '' ثنائية التشابه الضعيفة `` dpweak-bisim 'divergence الحفاظ على الاختلاف
ضعيف ثنائي التشابه "sim" قوي محاكاة التكافؤ "تتبع" أثر قوي
التكافؤ ضعيف تتبع التكافؤ
-iFORMAT, --في 1=FORMAT
استخدم FORMAT كتنسيق INFILE1 (أو stdin)
-jFORMAT, --في 2=FORMAT
استخدم FORMAT كتنسيق لـ INFILE2
-pاسم, --النظام السابق=اسم
استخدام الطلب المسبق NAME (غير مسموح به مع معادلة -e / -): "غير معروف"
طلب مسبق غير معروف (افتراضي) "sim" محاكاة قوية للطلب المسبق "تتبع" تتبع قوي
الطلب المسبق للطلب الضعيف "التتبع الضعيف"
- تاو=أسماء الأفعال
اعتبر الإجراءات التي تحمل اسمًا في القائمة المفصولة بفواصل ACTNAMES داخلية
(تاو) بالإضافة إلى تلك المحددة على هذا النحو من خلال المدخلات
- توقيت[=FILE]
إلحاق قياسات التوقيت بالملف. تتم كتابة القياسات لخطأ معياري إذا
لم يتم توفير FILE
الخيارات القياسية:
-q, --هادئ
لا تعرض رسائل تحذير
-v, - الإسراف
عرض رسائل وسيطة قصيرة
-d, --Debug
عرض رسائل وسيطة مفصلة
--تسجيل مستوى=الدور
عرض رسائل وسيطة تصل إلى المستوى وتشمل
-h, --مساعدة
عرض معلومات المساعدة
--الإصدار
عرض معلومات الإصدار
استخدم ltscompare عبر الإنترنت باستخدام خدمات onworks.net
