ltsconvert - آنلاین در ابر

برنامه:

نام

ltsconvert - یک LTS را تبدیل و به صورت اختیاری کمینه کنید

خلاصه

ltsconvert [گزینه]... [INFILE [پر از زاویه]]

شرح

تبدیل سیستم انتقال برچسب (LTS) از INFILE به OUTFILE در درخواست شده
پس از اعمال روش کمینه سازی انتخاب شده (پیش فرض هیچکدام) فرمت کنید. اگر OUTFILE است
عرضه نشده است، از stdout استفاده شده است. اگر INFILE ارائه نشده باشد، از stdin استفاده می شود.

فرمت خروجی با پسوند OUTFILE تعیین می شود، در حالی که فرمت ورودی تعیین می شود
توسط محتوای INFILE تعیین می شود. از گزینه های --in و --out می توان برای اجبار ورودی استفاده کرد
و فرمت های خروجی فرمت های پشتیبانی شده عبارتند از:
"au" برای قالب Aldebaran (CADP)،
"نقطه" برای قالب GraphViz (دیگر به عنوان فرمت ورودی پشتیبانی نمی شود)،
'fsm' برای قالب ماشین حالت محدود، یا
'lts' برای قالب mCRL2 LTS (پیش‌فرض)

OPTIONS

گزینه می تواند یکی از موارد زیر باشد:

-D, --تعیین کردن
LTS را تعیین کنید

-eنام, --معادل=نام
ایجاد یک LTS معادل، حفظ معادل NAME: هویت 'هیچ'
هم ارزی (پیش فرض) 'bisim' دوتشابه قوی 'bisim-sig' دو شباهت قوی
با استفاده از پالایش امضا 'branching-bisim' شعبه دو شباهت 'branching-
دو شباهت انشعاب bisim-sig با استفاده از پالایش امضای 'dpbranching-bisim'
واگرایی حفظ انشعاب دو شباهت 'dpbranching-bisim-sig' واگرایی
حفظ شباهت انشعاب با استفاده از پالایش امضای 'ضعیف-bisim' ضعیف
دو شباهت 'weak-bisim-sig' دو شباهت ضعیف با استفاده از پالایش امضا 'dpweak-
واگرایی bisim حفظ شباهت ضعیف واگرایی 'dpweak-bisim-sig'
حفظ دو شباهت ضعیف با استفاده از شبیه‌سازی قوی «sim» پالایش امضا
معادل "ردیابی" معادل ردیابی قوی "ردپای ضعیف" معادل ردپای ضعیف
کاهش ستاره تاو

-iFORMAT, --که در=FORMAT
از FORMAT به عنوان فرمت ورودی استفاده کنید

-lفایل, --lps=فایل
استفاده از FILE به عنوان LPS که ورودی LTS از آن تولید شده است. این ممکن است مورد نیاز باشد
هنگام ذخیره در فرمت fsm و به، نام پارامترهای صحیح وضعیت ها را ذخیره کنید
LTS های غیر mCRL2 را به mCRL2 LTS تبدیل کنید

-- بدون دسترسی
بررسی دسترس پذیری را در ورودی LTS انجام ندهید

-n, -- بدون حالت
هنگام ذخیره در قالب نقطه، اطلاعات وضعیت را کنار بگذارید

-oFORMAT, -- خارج=FORMAT
از FORMAT به عنوان فرمت خروجی استفاده کنید

-- تاو=ACTNAMES
اقدامات دارای نام در لیست جدا شده با کاما ACTNAMES را داخلی در نظر بگیرید
(tau) اقداماتی علاوه بر اقداماتی که توسط ورودی به این صورت تعریف شده است

-- زمان بندی[=فایل]
اندازه گیری های زمان بندی را به FILE اضافه کنید. اندازه‌گیری‌ها با خطای استاندارد نوشته می‌شوند
هیچ فایلی ارائه نشده است

گزینه های استاندارد:

-q, --ساکت
پیام های هشدار را نمایش ندهید

-v, -- پرحرف
نمایش پیام های میانی کوتاه

-d, - رفع اشکال
نمایش پیام های میانی دقیق

---log-level=سطح
نمایش پیام های میانی تا سطح و شامل

-h, --کمک
نمایش اطلاعات راهنما

- نسخه
نمایش اطلاعات نسخه

با استفاده از خدمات onworks.net از ltsconvert آنلاین استفاده کنید