هذا هو الأمر ltsview الذي يمكن تشغيله في موفر الاستضافة المجاني OnWorks باستخدام إحدى محطات العمل المجانية المتعددة عبر الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
LTSView - تصور تفاعلي ثلاثي الأبعاد لنظام انتقال مسمى
موجز
LTSView [OPTION] ... [ملف]
الوصف
قم بتشغيل تطبيق LTSView. إذا تم توفير INFILE، فسيتم تحميل LTS الموجود في INFILE إلى
تطبيق.
يتم تحديد تنسيق الإدخال من خلال محتويات INFILE. إذا فشل ذلك، فهي محاولة
تم إجراؤها لفرض تنسيق الإدخال بناءً على امتداد الملف. التنسيقات المدعومة مع
امتدادات الملفات هي:
تنسيق الدبران (CADP؛ *.aut)؛
تنسيق GraphViz (*.dot)؛
تنسيق آلة الحالة المحدودة (*.fsm)؛
تنسيق mCRL SVC (*.svc)؛
تنسيق mCRL2 (*.lts).
OPTIONS
OPTION يمكن أن يكون أيًا مما يلي:
- توقيت[=FILE]
إلحاق قياسات التوقيت بالملف. تتم كتابة القياسات لخطأ معياري إذا
لم يتم توفير FILE
الخيارات القياسية:
-q, --هادئ
لا تعرض رسائل تحذير
-v, - الإسراف
عرض رسائل وسيطة قصيرة
-d, --Debug
عرض رسائل وسيطة مفصلة
--تسجيل مستوى=الدور
عرض رسائل وسيطة تصل إلى المستوى وتشمل
-h, --مساعدة
عرض معلومات المساعدة
--الإصدار
عرض معلومات الإصدار
استخدم ltsview عبر الإنترنت باستخدام خدمات onworks.net
