মারিয়া - ক্লাউডে অনলাইন

কার্যক্রম:

NAME এর

maria - উচ্চ-স্তরের পেট্রি নেটের জন্য মডুলার রিচেবিবিলিটি অ্যানালাইজার

সাইনোপিসিস

মেরি [অপশন] নথি পত্র...

বর্ণনাঃ

এই ম্যানুয়াল পৃষ্ঠা সংক্ষিপ্তভাবে নথি মেরি আদেশ আরো সম্পূর্ণ ডকুমেন্টেশন হয়
GNU তথ্য বিন্যাসে উপলব্ধ; নিচে দেখ.

মেরি একটি প্রোগ্রাম যা সমবর্তী সিস্টেমের মডেল বিশ্লেষণ করে, তার ইনপুটে বর্ণিত
যে ভাষা বীজগণিত সিস্টেম জালের উপর ভিত্তি করে। আনুষ্ঠানিকতা উপস্থাপন করেন এককার্ট
ICATPN'98-এ কিন্ডলার এবং হেগেন ভোলজার, নমনীয়তা in বীজগণিত জাল.
বীজগণিত সিস্টেম নেট একটি কাঠামো যা কোনো ডেটা প্রকার বা বীজগণিতকে সংজ্ঞায়িত করে না
অপারেশন ডেটা টাইপ সিস্টেম এবং মারিয়ার অপারেশনগুলি উচ্চ-স্তরের সাথে ডিজাইন করা হয়েছে
মনে প্রোগ্রামিং এবং স্পেসিফিকেশন ভাষা. তা সত্ত্বেও, প্রতিটি মারিয়া মডেল আছে একটি
সসীম উদ্ঘাটন
নিম্ন-স্তরের পেট্রি নেট সরঞ্জামগুলির সাথে আন্তঃকার্যযোগ্যতা নিশ্চিত করতে, মারিয়া শনাক্তকারীকে অনুবাদ করে
আলফা-সংখ্যাসূচক অক্ষর এবং আন্ডারস্কোরগুলির স্ট্রিংগুলিতে নেট উন্মোচন করা হয়েছে। ফিল্টার
foldname.pl শনাক্তকারীর পঠনযোগ্যতা উন্নত করতে ব্যবহার বা অভিযোজিত করা যেতে পারে।

বিকল্প

মারিয়া সাধারণ জিএনইউ কমান্ড লাইন সিনট্যাক্স অনুসরণ করে, দুটি দিয়ে শুরু হওয়া দীর্ঘ বিকল্পগুলির সাথে
ড্যাশ (`-')। বিকল্পগুলির একটি সারাংশ নীচে অন্তর্ভুক্ত করা হয়েছে। একটি সম্পূর্ণ বিবরণের জন্য, দেখুন
তথ্য ফাইল.

-a সীমা, --অ্যারে-সীমা=সীমা
অ্যারে সূচকের আকার সীমিত করুন সীমা সম্ভাব্য মান। 0 এর একটি সীমা
চেক নিষ্ক্রিয় করে।

-b মডেল, --প্রস্থ-প্রথম-অনুসন্ধান=মডেল
এর পৌঁছানোর গ্রাফ তৈরি করুন মডেল প্রস্থ-প্রথম অনুসন্ধান ব্যবহার করে।

-C ডিরেক্টরি, --কম্পাইল=ডিরেক্টরি
সি কোড তৈরি করুন ডিরেক্টরি অভিব্যক্তি মূল্যায়নের জন্য এবং নিম্ন-স্তরের জন্য
ট্রানজিশন ইনস্ট্যান্স অ্যানালাইসিস অ্যালগরিদমের রুটিন। যখন এই বিকল্পটি ব্যবহার করা হয়,
মূল্যায়ন ত্রুটি সামান্য ভিন্ন উপায়ে রিপোর্ট করা হয়. দোভাষী
একটি রাষ্ট্রে প্রথম ত্রুটির কারণ মূল্যায়ন এবং অভিব্যক্তি প্রদর্শন করে; দ্য
সংকলিত কোড ত্রুটির সংখ্যা প্রদর্শন করে। কর্মক্ষমতা কারণে,
মাল্টি-সেটে আইটেম যোগ করার সময় উৎপন্ন কোড ওভারফ্লো ত্রুটির জন্য পরীক্ষা করে না।

-গ, --নো-কম্পাইল
এর বিপরীত -C. অন্তর্নির্মিত দোভাষীতে সমস্ত অভিব্যক্তি মূল্যায়ন করুন। এই
ডিফল্ট আচরণ।

-D প্রতীক, --সংজ্ঞায়িত করুন=প্রতীক
প্রিপ্রসেসর প্রতীক সংজ্ঞায়িত করুন প্রতীক.

-d মডেল, --গভীর-প্রথম-অনুসন্ধান=মডেল
এর পৌঁছানোর গ্রাফ তৈরি করুন মডেল গভীরতা-প্রথম অনুসন্ধান ব্যবহার করে।

-E অন্তর, -- প্রান্ত =অন্তর
পৌঁছানোর গ্রাফ তৈরি করার সময়, প্রতিটি পরে গ্রাফের আকার রিপোর্ট করুন
অন্তর উৎপন্ন প্রান্ত।

-e স্ট্রিং, --চালনা=স্ট্রিং
এক্সিকিউট স্ট্রিং.

-g গ্রাফ ফাইল, --গ্রাফ=গ্রাফ ফাইল
একটি পূর্বে তৈরি করা পৌঁছানোর গ্রাফ থেকে লোড করুন গ্রাফ ফাইল.rgh.

-H h[,f[,t]], --হ্যাশ=h[,f[,t]]
সম্ভাব্য যাচাইকরণের জন্য পরামিতিগুলি কনফিগার করুন (-P) বরাদ্দ t সার্বজনীন
এর হ্যাশ ফাংশন f উপাদান এবং সংশ্লিষ্ট হ্যাশ টেবিল h প্রতিটি বিট. উভয় h
এবং f পরবর্তী উপযুক্ত মান পর্যন্ত বৃত্তাকার করা হবে।

-?, -হ, --help
মারিয়াতে কমান্ড-লাইন বিকল্পগুলির একটি সারাংশ প্রিন্ট করুন এবং প্রস্থান করুন।

-I ডিরেক্টরি, --include=ডিরেক্টরি
সংযোজন ডিরেক্টরি ফাইলগুলি অন্তর্ভুক্ত করার জন্য অনুসন্ধান করা ডিরেক্টরিগুলির তালিকায়।

-i কলাম, --প্রস্থ=কলাম
আউটপুটের ডান মার্জিন সেট করুন কলাম. ডিফল্ট 80.

-j প্রসেস, --চাকরি=প্রসেস
নিরাপত্তা বৈশিষ্ট্য পরীক্ষা করার সময় (বিকল্প -L, -M এবং -P), এই অনেক কর্মী ব্যবহার করুন
একটি মাল্টিপ্রসেসর কম্পিউটারে বিশ্লেষণের গতি বাড়ানোর প্রক্রিয়া। আরো দেখুন -k এবং
-Z.

-k বন্দর[/নিমন্ত্রণকর্তা], --সংযোগ=বন্দর[/নিমন্ত্রণকর্তা]
নিরাপত্তা মডেল চেকিং বিতরণ (বিকল্প -L, -M এবং -P) একটি TCP/IP নেটওয়ার্কে। জন্য
সার্ভার, শুধুমাত্র বন্দর একটি 16-বিট স্বাক্ষরবিহীন পূর্ণসংখ্যা হিসাবে নির্দিষ্ট করা হয়, সাধারণত এর মধ্যে
1024 এবং 65535. কর্মী প্রক্রিয়ার জন্য, বন্দর/নিমন্ত্রণকর্তা পোর্ট এবং নির্দিষ্ট করে
সার্ভারের ঠিকানা। আরো দেখুন -j.

-L মডেল, --ক্ষতিহীন =মডেল
বোঝা মডেল এবং পৌঁছানো যায় এমন রাজ্যগুলির একটি সেট তৈরি করে এটি বিশ্লেষণের জন্য প্রস্তুত করুন
ডিস্ক ফাইলে। আরো দেখুন -M, -P, -j এবং -k.

-m মডেল, --মডেল=মডেল
বোঝা মডেল এবং এর পৌঁছানোর গ্রাফ সাফ করুন।

-M মডেল, --md5-সংকুচিত=মডেল
বোঝা মডেল এবং এর ওভার-আনুমানিক গঠন করে এটি বিশ্লেষণের জন্য প্রস্তুত করুন
মূল মেমরিতে পৌঁছানো যায় এমন অবস্থার সেট। আরো দেখুন -P, -L, -j এবং -k.

-N cregexp, --নাম=cregexp
প্রসঙ্গে অনুমোদিত নাম উল্লেখ করুন c বর্ধিত রেগুলার এক্সপ্রেশন হিসাবে regexp.
প্রসঙ্গটি প্যারামিটার স্ট্রিং এর প্রথম অক্ষর দ্বারা চিহ্নিত করা হয়; দ্য
পরবর্তী অক্ষরগুলি নিয়মিত অভিব্যক্তি গঠন করে যা অনুমোদিত নামগুলি আবশ্যক৷
ম্যাচ.

-n cregexp, --না-নাম=cregexp
প্রেক্ষাপটে অনুমোদিত নয় এমন নাম উল্লেখ করুন c বর্ধিত রেগুলার এক্সপ্রেশন হিসাবে
regexp.
যদি উভয় -N এবং এবং -n একটি প্রসঙ্গ জন্য নির্দিষ্ট করা হয় c, তারপর অনুমতি মিল লাগে
অগ্রাধিকার উদাহরণস্বরূপ, প্রয়োজন যে সমস্ত ব্যবহারকারী সংজ্ঞায়িত টাইপ নাম হতে হবে
সঙ্গে সমাপ্ত _t, নির্দিষ্ট করুন -nt -Nt'_t$'. পরের প্যারামিটারের উদ্ধৃতিগুলি হল
থেকে বিশেষ অর্থ অপসারণ করতে হবে $ কমান্ড লাইন শেল আপনি
সম্ভবত মারিয়াকে আমন্ত্রণ জানাতে ব্যবহার করছেন।

-P মডেল, --সম্ভাব্য=মডেল
বোঝা মডেল এবং পৌঁছানো যায় এমন রাজ্যগুলির একটি সেট তৈরি করে এটি বিশ্লেষণের জন্য প্রস্তুত করুন
নামক একটি কৌশল ব্যবহার করে প্রধান মেমরিতে বিটস্টেট হ্যাশ.

-p হুকুম, --সম্পত্তি-অনুবাদক=হুকুম
স্বয়ংক্রিয় সম্পত্তি অনুবাদ করার জন্য কমান্ডটি নির্দিষ্ট করুন। আদেশ করা উচিত
স্ট্যান্ডার্ড ইনপুট থেকে একটি সূত্র পড়ুন এবং একটি সংশ্লিষ্ট অটোমেটন লিখুন
স্ট্যান্ডার্ড আউটপুটের বিবরণ। অনুবাদক এলবিটি এই সঙ্গে সামঞ্জস্যপূর্ণ
বিকল্প।

-q সীমা, --পরিমাণ-সীমা=সীমা
এর বেশি থাকা প্রকারের পরিমাণ নির্ধারণ (মাল্টি-সেট যোগফল) প্রতিরোধ করুন সীমা সম্ভব
মান 0 এর সীমা চেকগুলিকে নিষ্ক্রিয় করে।

-U প্রতীক, --undfine=প্রতীক
প্রিপ্রসেসর চিহ্নটি অসংজ্ঞায়িত করুন প্রতীক.

-u [a][f[আউটফাইল]], --উন্মোচন=[a][f[আউটফাইল]]
অ্যালগরিদম ব্যবহার করে নেট উন্মোচন করুন a এবং ফরম্যাটে লিখুন f থেকে আউটফাইল। যদি আউটফাইল
নির্দিষ্ট করা নেই, উন্মোচিত নেটটিকে স্ট্যান্ডার্ড আউটপুটে ডাম্প করুন। সম্ভাব্য ফরম্যাট
হয় m (মারিয়া (মানব-পাঠযোগ্য), ডিফল্ট), l (LoLA), p (পিইপি), এবং r (প্রোডি)। সেখানে
দুটি অ্যালগরিদম হল: প্রথাগত (ডিফল্ট) এবং একটি নির্মাণের মাধ্যমে হ্রাস করা হয়েছে আচ্ছাদনযোগ্য
অবস্থানসূচক (M).

-ভি, --সংস্করণ
মারিয়ার সংস্করণ নম্বর প্রিন্ট করুন এবং প্রস্থান করুন।

-ভি, -- ভারবোস
বিশ্লেষণের বিভিন্ন পর্যায়ে ভার্বোস তথ্য প্রদর্শন করুন।

-ডব্লিউ, -- সতর্কতা
সন্দেহজনক নেট নির্মাণ সম্পর্কে সতর্কতা সক্ষম করুন। এটাই স্বাভাবিক ব্যবহার।

-w, --কোনো-সতর্কতা
এর বিপরীত -W. সমস্ত সতর্কতা অক্ষম করুন।

-x নম্বরবেস, --radix=নম্বরবেস
ডায়াগনস্টিক আউটপুটের জন্য সংখ্যা বেস নির্দিষ্ট করুন। এর জন্য অনুমোদিত মান নম্বরবেস হয়
অক্টোবর, অকট্যাল, 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 পরিষেবা ব্যবহার করে মারিয়া অনলাইন ব্যবহার করুন