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