این دستور lps2pbes است که می تواند در ارائه دهنده هاست رایگان OnWorks با استفاده از یکی از چندین ایستگاه کاری آنلاین رایگان ما مانند Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا شود.
برنامه:
نام
lps2pbes - یک PBES از یک LPS و یک فرمول حالت تولید کنید
خلاصه
lps2pbes [گزینه]... --formula=FILE [INFILE [پر از زاویه]]
شرح
فرمول حالت را در FILE و LPS را در INFILE به یک بولی پارامتری شده تبدیل کنید
سیستم معادله (PBES) و ذخیره آن در OUTFILE. اگر OUTFILE وجود نداشته باشد، از stdout استفاده می شود.
اگر INFILE وجود نداشته باشد، از stdin استفاده می شود.
OPTIONS
گزینه می تواند یکی از موارد زیر باشد:
-fفایل, --فرمول=فایل
از فرمول حالت از FILE استفاده کنید
-oFORMAT, -- خارج=FORMAT
استفاده از فرمت خروجی FORMAT: PBES 'pbes' در قالب داخلی 'pbes_text' PBES در
قالب متنی داخلی "متن" PBES در قالب متنی (mCRL2).
-s, --ساختار یافته
معادلاتی را ایجاد می کند که هیچ ربط و تفکیک مختلطی رخ نمی دهد
-t, -- زمان بندی شده
از نسخه زمان بندی شده الگوریتم استفاده کنید، حتی برای LPS های بدون زمان
-- زمان بندی[=فایل]
اندازه گیری های زمان بندی را به FILE اضافه کنید. اندازه‌گیری‌ها با خطای استاندارد نوشته می‌شوند
هیچ فایلی ارائه نشده است
-u, --بهینه نشده
عبارات بولی را ساده نکنید
گزینه های استاندارد:
-q, --ساکت
پیام های هشدار را نمایش ندهید
-v, -- پرحرف
نمایش پیام های میانی کوتاه
-d, - رفع اشکال
نمایش پیام های میانی دقیق
---log-level=سطح
نمایش پیام های میانی تا سطح و شامل
-h, --کمک
نمایش اطلاعات راهنما
- نسخه
نمایش اطلاعات نسخه
با استفاده از خدمات onworks.net از lps2pbes آنلاین استفاده کنید
