अंग्रेज़ीफ्रेंचस्पेनिश

Ad


ऑनवर्क्स फ़ेविकॉन

मारिया - क्लाउड में ऑनलाइन

उबंटू ऑनलाइन, फेडोरा ऑनलाइन, विंडोज ऑनलाइन एमुलेटर या मैक ओएस ऑनलाइन एमुलेटर पर ऑनवर्क्स मुफ्त होस्टिंग प्रदाता में मारिया चलाएं

यह कमांड मारिया है जिसे हमारे कई मुफ्त ऑनलाइन वर्कस्टेशन जैसे उबंटू ऑनलाइन, फेडोरा ऑनलाइन, विंडोज ऑनलाइन एमुलेटर या मैक ओएस ऑनलाइन एमुलेटर में से एक का उपयोग करके ऑनवर्क्स फ्री होस्टिंग प्रदाता में चलाया जा सकता है।

कार्यक्रम:

नाम


मारिया - उच्च स्तरीय पेट्री नेट के लिए मॉड्यूलर रीचैबिलिटी विश्लेषक

SYNOPSIS


मारिया [विकल्पों] फ़ाइलों...

वर्णन


यह मैनुअल पेज संक्षेप में दस्तावेज करता है मारिया आदेश। अधिक संपूर्ण दस्तावेज़ीकरण है
जीएनयू सूचना प्रारूप में उपलब्ध; निचे देखो।

मारिया एक प्रोग्राम है जो इसके इनपुट में वर्णित समवर्ती प्रणालियों के मॉडल का विश्लेषण करता है
भाषा जो बीजगणितीय प्रणाली जाल पर आधारित है। औपचारिकता एककार्टो द्वारा प्रस्तुत की गई थी
ICATPN'98 में किंडलर और हेगन वोल्ज़र, लचीलापन in बीजगणितीय जाल.
बीजीय प्रणाली जाल एक ढांचा है जो किसी भी डेटा प्रकार या बीजीय को परिभाषित नहीं करता है
संचालन। मारिया में डेटा प्रकार प्रणाली और संचालन उच्च स्तर के साथ डिजाइन किए गए हैं
प्रोग्रामिंग और विनिर्देश भाषाओं को ध्यान में रखें। इसके बावजूद, प्रत्येक मारिया मॉडल के पास एक है
परिमित प्रकटन।
निम्न-स्तरीय पेट्री नेट टूल के साथ इंटरऑपरेबिलिटी सुनिश्चित करने के लिए, मारिया पहचानकर्ताओं का अनुवाद करती है
अल्फा-न्यूमेरिकल कैरेक्टर और अंडरस्कोर के स्ट्रिंग्स के लिए खुला जाल। फिल्टर
तह नाम.pl पहचानकर्ताओं की पठनीयता में सुधार के लिए उपयोग या अनुकूलित किया जा सकता है।

विकल्प


मारिया सामान्य GNU कमांड लाइन सिंटैक्स का अनुसरण करती है, जिसमें लंबे विकल्प दो से शुरू होते हैं
डैश (`-')। विकल्पों का सारांश नीचे दिया गया है। संपूर्ण विवरण के लिए देखें
जानकारी फ़ाइलें।

-a सीमा, --सरणी-सीमा=सीमा
सरणी अनुक्रमणिका प्रकारों के आकार को सीमित करें सीमा संभावित मान। 0 . की सीमा
चेक अक्षम करता है।

-b आदर्श, --चौड़ाई-पहली-खोज=आदर्श
का रीचैबिलिटी ग्राफ जेनरेट करें आदर्श चौड़ाई-प्रथम खोज का उपयोग करना।

-C डायरेक्टरी, --संकलन=डायरेक्टरी
C कोड जनरेट करें डायरेक्टरी भावों के मूल्यांकन के लिए और निम्न स्तर के लिए
संक्रमण उदाहरण विश्लेषण एल्गोरिथ्म की दिनचर्या। जब इस विकल्प का उपयोग किया जाता है,
मूल्यांकन त्रुटियों को थोड़े अलग तरीके से रिपोर्ट किया जाता है। दुभाषी
मूल्यांकन और अभिव्यक्ति प्रदर्शित करता है जिसके कारण राज्य में पहली त्रुटि हुई; NS
संकलित कोड त्रुटियों की संख्या प्रदर्शित करता है। प्रदर्शन कारणों से,
बहु-सेट में आइटम जोड़ते समय जेनरेट कोड अतिप्रवाह त्रुटियों की जांच नहीं करता है।

-सी, --नहीं-संकलन
इसके वीरूद्ध -C. अंतर्निर्मित दुभाषिया में सभी भावों का मूल्यांकन करें। यह है
डिफ़ॉल्ट व्यवहार।

-D प्रतीक, -- परिभाषित =प्रतीक
प्रीप्रोसेसर प्रतीक को परिभाषित करें प्रतीक.

-d आदर्श, --गहराई-पहली-खोज=आदर्श
का रीचैबिलिटी ग्राफ जेनरेट करें आदर्श गहराई-पहली खोज का उपयोग करना।

-E अंतराल, --किनारे=अंतराल
रीचैबिलिटी ग्राफ़ बनाते समय, प्रत्येक के बाद ग्राफ़ के आकार की रिपोर्ट करें
अंतराल उत्पन्न किनारों।

-e स्ट्रिंग, --निष्पादन =स्ट्रिंग
निष्पादित करना स्ट्रिंग.

-g ग्राफफाइल, --ग्राफ=ग्राफफाइल
पहले से जनरेट किया गया रीचैबिलिटी ग्राफ़ यहां से लोड करें ग्राफफाइल.rgh.

-H h[,f[,t]], --हैश=h[,f[,t]]
संभाव्य सत्यापन के लिए पैरामीटर कॉन्फ़िगर करें (-P) का आवंटन t सार्वभौम
के हैश कार्य f तत्वों और संबंधित हैश टेबल h प्रत्येक बिट। दोनों h
और f अगले उपयुक्त मानों तक पूर्णांकित किया जाएगा।

-?, -एच, --मदद
मारिया और बाहर निकलने के लिए कमांड-लाइन विकल्पों का सारांश प्रिंट करें।

-I डायरेक्टरी, --शामिल =डायरेक्टरी
जोड़ना डायरेक्टरी फ़ाइलों को शामिल करने के लिए खोजी गई निर्देशिकाओं की सूची में।

-i कॉलम, --चौड़ाई=कॉलम
आउटपुट का दायां मार्जिन इस पर सेट करें कॉलम. डिफ़ॉल्ट 80 है।

-j प्रक्रियाओं, --नौकरियां=प्रक्रियाओं
सुरक्षा गुणों की जाँच करते समय (विकल्प -L, -M और -P), इस कई कार्यकर्ता का उपयोग करें
एक मल्टीप्रोसेसर कंप्यूटर पर विश्लेषण को गति देने के लिए प्रक्रियाएं। यह सभी देखें -k और
-Z.

-k बंदरगाह[/मेजबान], --कनेक्ट=बंदरगाह[/मेजबान]
सुरक्षा मॉडल जाँच वितरित करें (विकल्प -L, -M और -P) टीसीपी/आईपी नेटवर्क में। के लिये
सर्वर, केवल बंदरगाह 16-बिट अहस्ताक्षरित पूर्णांक के रूप में निर्दिष्ट किया जाता है, आमतौर पर . के बीच
1024 और 65535। कार्यकर्ता प्रक्रियाओं के लिए, बंदरगाह/मेजबान पोर्ट निर्दिष्ट करता है और
सर्वर का पता। यह सभी देखें -j.

-L आदर्श, --दोषरहित=आदर्श
भार आदर्श और पहुंच योग्य राज्यों का एक सेट बनाकर इसका विश्लेषण करने की तैयारी करें
डिस्क फ़ाइलों में। यह सभी देखें -M, -P, -j और -k.

-m आदर्श, --मॉडल=आदर्श
भार आदर्श और इसके रीचैबिलिटी ग्राफ को साफ करें।

-M आदर्श, --md5-संकुचित=आदर्श
भार आदर्श और के अधिक सन्निकटन का निर्माण करके इसका विश्लेषण करने की तैयारी करें
मुख्य मेमोरी में पहुंच योग्य अवस्थाओं का सेट। यह सभी देखें -P, -L, -j और -k.

-N क्रेगएक्सप, --नाम=क्रेगएक्सप
संदर्भ में अनुमत नाम निर्दिष्ट करें c विस्तारित नियमित अभिव्यक्ति के रूप में regexp.
संदर्भ को पैरामीटर स्ट्रिंग के पहले वर्ण द्वारा पहचाना जाता है; NS
सफल वर्ण नियमित अभिव्यक्ति का गठन करते हैं जो नामों की अनुमति देता है
मैच.

-n क्रेगएक्सप, --नो-नाम=क्रेगएक्सप
संदर्भ में उन नामों को निर्दिष्ट करें जिनकी अनुमति नहीं है c विस्तारित नियमित अभिव्यक्ति के रूप में
regexp.
अगर दोनों -N और और -n एक संदर्भ के लिए निर्दिष्ट हैं c, तो अनुमति मैच लेता है
वरीयता उदाहरण के लिए, यह आवश्यक है कि सभी उपयोगकर्ता परिभाषित प्रकार के नाम हों
के साथ समाप्त _t, उल्लिखित करना -एनटीई -एनटी'_टी$'. बाद के पैरामीटर में उद्धरण हैं
से विशेष अर्थ निकालने की आवश्यकता है $ कमांड लाइन शेल में आप हैं
शायद मारिया का आह्वान करने के लिए उपयोग कर रहे हैं।

-P आदर्श, --संभाव्य =आदर्श
भार आदर्श और पहुंच योग्य राज्यों का एक सेट बनाकर इसका विश्लेषण करने की तैयारी करें
मुख्य स्मृति में नामक तकनीक का उपयोग करके बिटस्टेट हैशिंग.

-p आदेश, --प्रॉपर्टी-अनुवादक=आदेश
गुण ऑटोमेटा का अनुवाद करने के लिए उपयोग करने के लिए आदेश निर्दिष्ट करें। आदेश चाहिए
मानक इनपुट से एक सूत्र पढ़ें और संबंधित ऑटोमेटन लिखें
मानक आउटपुट का विवरण। अनुवादक एलबीटी इसके साथ संगत है
विकल्प.

-q सीमा, --मात्रा-सीमा =सीमा
से अधिक वाले प्रकारों के परिमाणीकरण (बहु-सेट योग) को रोकें सीमा संभव
मूल्य। 0 की सीमा चेक को निष्क्रिय कर देती है।

-U प्रतीक, --अपरिभाषित=प्रतीक
प्रीप्रोसेसर प्रतीक को अपरिभाषित करें प्रतीक.

-u [a][f[आउटफाइल]], --अनफोल्ड=[a][f[आउटफाइल]]
एल्गोरिथम का उपयोग करके नेट को अनफोल्ड करें a और इसे प्रारूप में लिखें f सेवा मेरे आउटफाइल. अगर आउटफाइल
निर्दिष्ट नहीं है, अनफोल्डेड नेट को मानक आउटपुट पर डंप करें। संभावित प्रारूप
रहे m (मारिया (मानव-पठनीय), डिफ़ॉल्ट), l (लोला), p (पीईपी), और r (प्रोड)। वहां
दो एल्गोरिदम हैं: पारंपरिक (डिफ़ॉल्ट) और a . का निर्माण करके कम किया गया कवर करने योग्य
अंकन (M).

-वी, --संस्करण
मारिया का वर्जन नंबर प्रिंट करें और बाहर निकलें।

-में, --शब्दशः
विश्लेषण के विभिन्न चरणों पर वर्बोज़ जानकारी प्रदर्शित करें।

-डब्ल्यू, --चेतावनी
संदिग्ध नेट निर्माण के बारे में चेतावनियां सक्षम करें। यह पहले गलत व्यवहार है।

-डब्ल्यू, --नो-चेतावनी
इसके वीरूद्ध -W. सभी चेतावनियों को अक्षम करें।

-x नंबरबेस, -- मूलांक =नंबरबेस
डायग्नोस्टिक आउटपुट के लिए संख्या आधार निर्दिष्ट करें। के लिए अनुमत मान नंबरबेस रहे
अक्टूबर, अष्टभुजाकार, 8, हेक्स, हेक्साडेसिमल, 16, दिसम्बर, दशमलव और 10. डिफ़ॉल्ट का उपयोग करना है
दशमलव संख्याएं।

-वाई, --संपीड़ित-छिपा हुआ
के उत्तराधिकारी राज्यों को संग्रहीत न करके पहुंच योग्य राज्यों के सेट को कम करें
संक्रमण के उदाहरण जिसके लिए a छिपाना शर्त रखती है। छिपे हुए उत्तराधिकारी हैं
एक अलग राज्य सेट में संग्रहीत। यह विकल्प स्मृति को बचा सकता है (-L or -m) या कम करें
संभावना है कि राज्यों को छोड़ दिया जाता है (-M or -P), और यह सुधार कर सकता है
समानांतर विश्लेषण की दक्षता (-j or -k), लेकिन यह भी काफी बढ़ सकता है
प्रोसेसर समय की आवश्यकता। विकल्प लाइवनेस मॉडल के साथ भी काम करता है
जाँच कर रहा है, लेकिन इस बात की कोई गारंटी नहीं है कि जीवंत गुणों के सत्य मूल्य
कोई बदलाव नहीं। इस विकल्प के साथ जोड़ा जा सकता है -Z.

-वाई, --नहीं-संपीड़ित-छिपा हुआ
इसके वीरूद्ध -Y. यह पहले गलत व्यवहार है।

-जेड, --संपीड़ित-पथ
इंटरमीडिएट राज्यों को संग्रहीत न करके पहुंच योग्य राज्यों के सेट को कम करें
सबसे एक उत्तराधिकारी। यह विकल्प स्मृति को बचा सकता है (-L or -m) या कम करें
संभावना है कि राज्यों को छोड़ दिया जाता है (-M or -P), और यह दक्षता में सुधार कर सकता है
समानांतर विश्लेषण (-j or -k), लेकिन यह भी काफी बढ़ सकता है
प्रोसेसर समय की आवश्यकता। विकल्प जीवंतता मॉडल जाँच के साथ भी काम करता है,
लेकिन इस बात की कोई गारंटी नहीं है कि जीवंत गुणों के सत्य मूल्य बने रहें
अपरिवर्तित। इस विकल्प के साथ जोड़ा जा सकता है -Y.

-में, --नहीं-संपीड़ित-पथ
इसके वीरूद्ध -Z. यह पहले गलत व्यवहार है।

onworks.net सेवाओं का उपयोग करके मारिया ऑनलाइन का उपयोग करें


फ्री सर्वर और वर्कस्टेशन

विंडोज और लाइनेक्स एप डाउनलोड करें

  • 1
    एस्ट्रोऑर्जप्लेयर
    एस्ट्रोऑर्जप्लेयर
    एस्ट्रोर्ज़ प्लेयर एक मुफ़्त मीडिया प्लेयर है
    सॉफ्टवेयर, भाग WMP और VLC पर आधारित है।
    खिलाड़ी न्यूनतम शैली में है, साथ में
    दस से अधिक विषय रंग, और भी कर सकते हैं
    ख ...
    एस्ट्रोऑर्जप्लेयर डाउनलोड करें
  • 2
    चलचित्र
    चलचित्र
    कोडी मूविस्टार+ टीवी एक्सबीएमसी के लिए एक ऐडऑन है/
    कोडी कुए परमिट डिस्पोनर डे अन
    डिकोडिफ़ाडोर डे लॉस सर्विसिस आईपीटीवी डे
    Movistar एकीकरण एन यूनो डी लॉस
    मीडियासेंटर मा...
    मोविस्टार्टव डाउनलोड करें
  • 3
    कोड :: ब्लाकों
    कोड :: ब्लाकों
    कोड :: ब्लॉक एक मुक्त, खुला-स्रोत है,
    क्रॉस-प्लेटफ़ॉर्म सी, सी ++ और फोरट्रान आईडीई
    सबसे अधिक मांग वाली जरूरतों को पूरा करने के लिए बनाया गया है
    इसके उपयोगकर्ताओं की। यह बहुत होने के लिए डिज़ाइन किया गया है
    विस्तार...
    डाउनलोड कोड :: ब्लॉक
  • 4
    बीच में
    बीच में
    बीच में या उन्नत Minecraft इंटरफ़ेस
    और डेटा/संरचना ट्रैकिंग एक उपकरण है
    एक Minecraft का अवलोकन प्रदर्शित करें
    दुनिया, वास्तव में इसे बनाए बिना। यह
    कर सकते हैं ...
    बीच में डाउनलोड करें
  • 5
    एमएसवाईएस2
    एमएसवाईएस2
    MSYS2 उपकरणों का एक संग्रह है और
    आपको प्रदान करने वाले पुस्तकालय
    निर्माण के लिए उपयोग में आसान वातावरण,
    देशी विंडोज को स्थापित करना और चलाना
    सॉफ़्टवेयर। यह...
    एमएसवाईएस2 डाउनलोड करें
  • 6
    libjpeg-टर्बो
    libjpeg-टर्बो
    libjpeg-टर्बो एक JPEG छवि कोडेक है
    जो SIMD निर्देशों (MMX, SSE2,) का उपयोग करता है
    बेसलाइन में तेजी लाने के लिए NEON, AltiVec)।
    JPEG संपीड़न और विसंपीड़न चालू
    x86, x8...
    लिबजपेग-टर्बो डाउनलोड करें
  • अधिक "

लिनक्स कमांड

Ad