यह कमांड lts2lps है जिसे हमारे कई मुफ्त ऑनलाइन वर्कस्टेशन जैसे कि उबंटू ऑनलाइन, फेडोरा ऑनलाइन, विंडोज ऑनलाइन एमुलेटर या मैक ओएस ऑनलाइन एमुलेटर का उपयोग करके ऑनवर्क्स फ्री होस्टिंग प्रदाता में चलाया जा सकता है।
कार्यक्रम:
नाम
lts2lps - LTS को LPS में परिवर्तित करता है
SYNOPSIS
lts2lps [विकल्प]...[फाइल मैं [बाहरी]]
वर्णन
INFILE में LTS का अनुवाद करता है और परिणामी LPS को OUTFILE में लिखता है। यदि आउटफ़ाइल नहीं है
वर्तमान में, मानक आउटपुट का उपयोग किया जाता है। यदि INFILE मौजूद नहीं है, तो मानक इनपुट का उपयोग किया जाता है।
विकल्प
विकल्प निम्नलिखित में से कोई भी हो सकता है:
-Dफ़ाइल, --आंकड़े=फ़ाइल
डेटा और क्रिया विनिर्देश के रूप में FILE का उपयोग करें। फ़ाइल एक .mcrl2 फ़ाइल होनी चाहिए
इसमें init क्लॉज नहीं है।
-lफ़ाइल, --एलपीएस=फ़ाइल
डेटा और क्रिया विनिर्देश के लिए FILE का उपयोग करें। फ़ाइल एक .lps फ़ाइल होनी चाहिए.
-mफ़ाइल, --mcrl2=फ़ाइल
LTS के लिए डेटा और क्रिया विनिर्देशन के रूप में FILE का उपयोग करें। फ़ाइल एक .mcrl2 होनी चाहिए
फ़ाइल.
--समय[=फ़ाइल]
FILE में समय मापन जोड़ें। माप मानक त्रुटि के लिए लिखे जाते हैं यदि
कोई फ़ाइल प्रदान नहीं की गई है
मानक विकल्प:
-q, --शांत
चेतावनी संदेश प्रदर्शित न करें
-v, --शब्दशः
लघु मध्यवर्ती संदेश प्रदर्शित करें
-d, - दाढ़
विस्तृत मध्यवर्ती संदेश प्रदर्शित करें
--छांटने का स्तर=LEVEL
स्तर तक और सहित मध्यवर्ती संदेश प्रदर्शित करें
-h, --मदद
सहायता जानकारी प्रदर्शित करें
--संस्करण
संस्करण जानकारी प्रदर्शित करें
onworks.net सेवाओं का उपयोग करके lts2lps का ऑनलाइन उपयोग करें
