DEVS
ডিইভিএস সংক্ষেপে ডিসক্রিট ইভেন্ট সিস্টেম স্পেসিফিকেশন হল সাধারণ সিস্টেমগুলির মডেলিং এবং বিশ্লেষণের জন্য একটি মডুলার এবং হায়ারার্কিক্যাল ফর্মালিজম যা ডিসক্রিট ইভেন্ট সিস্টেম হতে পারে যা স্টেট ট্রানজিশন টেবিল দ্বারা বর্ণনা করা যেতে পারে, এবং কন্টিনিউয়াস স্টেট সিস্টেম যা ডিফারেনশিয়াল সমীকরণ দ্বারা বর্ণনা করা যেতে পারে, এবং হাইব্রিড কন্টিনিউয়াস স্টেট এবং ডিসক্রিট ইভেন্ট সিস্টেম। ডিইভিএস একটি সময়োপযোগী ইভেন্ট সিস্টেম। ইতিহাস ডিইভিএস হল বিচ্ছিন্ন ইভেন্ট সিস্টেমের (ডিইএস) মডেলিং এবং বিশ্লেষণের জন্য একটি আনুষ্ঠানিকতা। ডিইভিএস আনুষ্ঠানিকতা আবিষ্কার করেছিলেন বার্নার্ড পি জেইগলার, যিনি অ্যারিজোনা বিশ্ববিদ্যালয়ের এমেরিটাস অধ্যাপক। 1976 সালে জেইগলারের প্রথম বই, থিওরি অফ মডেলিং অ্যান্ড সিমুলেশন-এ ডিইভিএস জনসাধারণের কাছে পরিচিত হয়, যখন জেইগলার মিশিগান বিশ্ববিদ্যালয়ের সহযোগী অধ্যাপক ছিলেন। ডিইভিএসকে মুর মেশিন ফর্মালিজমের একটি সম্প্রসারণ হিসাবে দেখা যেতে পারে, যা একটি সীমাবদ্ধ অবস্থা অটোমেটন যেখানে আউটপুটগুলি কেবল বর্তমান অবস্থা দ্বারা নির্ধারিত হয় (এবং সরাসরি ইনপুটের উপর নির্ভর করে না)। প্রতিটি রাজ্যের [জেইগলার76] সাথে একটি জীবনকাল সংযুক্ত করে সম্প্রসারণ করা হয়েছিল, যা একটি অপারেশনের সাথে একটি শ্রেণিবদ্ধ ধারণা প্রদান করে, যাকে কাপলিং [জেইগলার84] বলা হয়। যেহেতু প্রতিটি অবস্থার জীবনকাল একটি বাস্তব সংখ্যা (আরও সুনির্দিষ্টভাবে, অ-ঋণাত্মক বাস্তব) বা অনন্ত, তাই এটি বিচ্ছিন্ন সময় ব্যবস্থা, ক্রমিক মেশিন এবং মুর মেশিন থেকে আলাদা, যেখানে সময়টি অ-ঋণাত্মক পূর্ণসংখ্যা দ্বারা গুণিত একটি টিক সময় দ্বারা নির্ধারিত হয়। উপরন্তু, জীবনকাল একটি এলোমেলো পরিবর্তনশীল হতে পারে; উদাহরণস্বরূপ একটি প্রদত্ত অবস্থার জীবনকাল সূচকীয়ভাবে বা অভিন্নভাবে বিতরণ করা যেতে পারে। ডি. ই. ভি. এস-এর স্টেট ট্রানজিশন এবং আউটপুট ফাংশনগুলিও অপ্রচলিত হতে পারে। জেইগলার 1984 সালে ডিইভিএস মডেল সিমুলেশনের জন্য একটি শ্রেণিবদ্ধ অ্যালগরিদম প্রস্তাব করেছিলেন যা 1987 সালে সিমুলেশন জার্নালে প্রকাশিত হয়েছিল। তারপর থেকে, ডিইভিএস থেকে অনেক বর্ধিত আনুষ্ঠানিকতা তাদের নিজস্ব উদ্দেশ্যে চালু করা হয়েছেঃ সম্মিলিত অবিচ্ছিন্ন এবং বিচ্ছিন্ন ইভেন্ট সিস্টেমের জন্য ডিইএসএস/ডিইভিএস, সমান্তরাল ডিইএস-এর জন্য পি-ডিইভিএস, ডিইএস-এর পিসওয়াইস কন্টিনিউয়াস স্টেট ট্র্যাজেক্টোরি মডেলিংয়ের জন্য জি-ডিইভিএস, রিয়েলটাইম ডিইএস-এর জন্য আরটি-ডিইভিএস, সেলুলার ডিইএস-এর জন্য সেল-ডিইভিএস, ফাজি ডিইএস-এর জন্য ফাজি-ডিইভিএস, ডিইএস-এর জন্য ডায়নামিক স্ট্রাকচারিং ডিইভিএস গতিশীলভাবে তাদের কাপলিং স্ট্রাকচার পরিবর্তন করে ইত্যাদি। এর সম্প্রসারণ ছাড়াও, কিছু উপশ্রেণী যেমন এস. পি-ডি. ই. ভি. এস এবং এফ. ডি-ডি. ই. ভি. এস রয়েছে যা সিস্টেমের বৈশিষ্ট্যগুলির নির্ণয়যোগ্যতা অর্জনের জন্য গবেষণা করা হয়েছে। মডুলার এবং শ্রেণিবদ্ধ মডেলিং দৃষ্টিভঙ্গির পাশাপাশি এর অনুকরণ-ভিত্তিক বিশ্লেষণ ক্ষমতার কারণে, ডিইভিএস আনুষ্ঠানিকতা এবং এর বৈচিত্র্যগুলি প্রকৌশলের অনেক প্রয়োগে (যেমন হার্ডওয়্যার ডিজাইন, হার্ডওয়্যার/সফ্টওয়্যার কোডসাইন, যোগাযোগ ব্যবস্থা, উত্পাদন ব্যবস্থা) এবং বিজ্ঞান (যেমন জীববিজ্ঞান এবং সমাজবিজ্ঞান) ব্যবহার করা হয়েছে। ডিইভিএস আনুষ্ঠানিকতায় সিস্টেমের আচরণ ইনপুট এবং আউটপুট ইভেন্টের পাশাপাশি অবস্থা ব্যবহার করে বর্ণনা করা হয়। উদাহরণস্বরূপ, ফিগের পিং-পং খেলোয়াড়ের জন্য। 1, ইনপুট ইভেন্ট হল 'রিসিভ', এবং আউটপুট ইভেন্ট হল '! সেন্ড'। প্রতিটি খেলোয়াড়, এ, বি-এর নিজস্ব অবস্থা রয়েছেঃ পাঠান এবং অপেক্ষা করুন। সেন্ড স্টেট বলটি ফেরত পাঠাতে 0.1 সেকেন্ড সময় নেয় যা আউটপুট ইভেন্ট! সেন্ড, যেখানে ওয়েট স্টেট ততক্ষণ অবধি থাকে যতক্ষণ না খেলোয়াড় বলটি গ্রহণ করে যা ইনপুট ইভেন্ট? রিসিভ। পিং-পং খেলার কাঠামো হল দুইজন খেলোয়াড়কে সংযুক্ত করাঃ প্লেয়ার এ আউটপুট ইভেন্ট! সেন্ড প্লেয়ার বি ইনপুট ইভেন্টে প্রেরণ করা হয়? রিসিভ, এবং তদ্বিপরীত। ক্লাসিক ডিইভিএস আনুষ্ঠানিকতায়, পারমাণবিক ডিইভিএস সিস্টেমের আচরণ ধারণ করে, অন্যদিকে কাপল্ড ডিইভিএস সিস্টেমের কাঠামো বর্ণনা করে। নিম্নলিখিত আনুষ্ঠানিক সংজ্ঞাটি ক্লাসিক ডিইভিএস [জেডকেপি00]-এর জন্য। এই নিবন্ধে, আমরা সময় ভিত্তি ব্যবহার করব, যা অ-ঋণাত্মক বাস্তব সংখ্যার সেট; বর্ধিত সময় ভিত্তি, যা অ-ঋণাত্মক বাস্তব সংখ্যা যোগ অনন্তের সেট। পারমাণবিক ডিইভিএস একটি পারমাণবিক ডিইভিএস মডেলকে 7-টুপল হিসাবে সংজ্ঞায়িত করা হয় যেখানে ইনপুট ইভেন্টগুলির সেট; আউটপুট ইভেন্টগুলির সেট; ক্রমিক অবস্থার সেট (বা আংশিক অবস্থার সেটও বলা হয়); প্রাথমিক অবস্থা; সময় অগ্রিম ফাংশন যা একটি অবস্থার জীবনকাল নির্ধারণ করতে ব্যবহৃত হয়; বাহ্যিক ট্রানজিশন ফাংশন যা একটি ইনপুট ইভেন্ট কীভাবে সিস্টেমের একটি অবস্থা পরিবর্তন করে তা সংজ্ঞায়িত করে, যেখানে মোট অবস্থার সেট এবং শেষ ইভেন্টের পর থেকে অতিবাহিত সময়; অভ্যন্তরীণ ট্রানজিশন ফাংশন যা সিস্টেমের একটি অবস্থা কীভাবে অভ্যন্তরীণভাবে পরিবর্তিত হয় তা সংজ্ঞায়িত করে (যখন অতিবাহিত সময়টি অবস্থার জীবদ্দশায় পৌঁছায়); আউটপুট ফাংশন যেখানে একটি নীরব ঘটনা বা একটি অবলোকন এই ফাংশনটি সংজ্ঞায়িত করে যে সিস্টেমের একটি অবস্থা কীভাবে একটি আউটপুট ইভেন্ট তৈরি করে (যখন অতিবাহিত সময়টি রাজ্যের জীবদ্দশায় পৌঁছায়); পিং-পং খেলোয়াড়দের জন্য পারমাণবিক ডিইভিএস মডেল চিত্রের এ খেলোয়াড়ের জন্য পারমাণবিক ডিইভিএস মডেল। 1 দেওয়া হয়েছে প্লেয়ার = এমন যে প্লেয়ার এ এবং প্লেয়ার বি উভয়ই পারমাণবিক ডিইভিএস মডেল। পারমাণবিক ডিইভিএস-এর আচরণ সহজ কথায় বলতে গেলে, দুটি ক্ষেত্রে একটি পারমাণবিক ডিইভিএস মডেল তার অবস্থা পরিবর্তন করতে পারেঃ (1) যখন কোনও বাহ্যিক ইনপুট সিস্টেমে আসে; (2) যখন অতিবাহিত সময়টি জীবনকালে পৌঁছায় যার দ্বারা সংজ্ঞায়িত করা হয়। (একই সময়ে (2), একটি আউটপুট তৈরি করে যা দ্বারা সংজ্ঞায়িত করা হয়।) । প্রদত্ত পারমাণবিক ডি. ই. ভি. এস মডেলের আনুষ্ঠানিক আচরণ বিবরণের জন্য, ডি. ই. ভি. এস-এর আচরণ পাতাটি দেখুন। একটি প্রদত্ত পারমাণবিক ডি. ই. ভি. এস মডেলের আচরণ বাস্তবায়নের জন্য কম্পিউটার অ্যালগরিদমগুলি পারমাণবিক ডি. ই. ভি. এস-এর সিমুলেশন অ্যালগরিদমগুলিতে পাওয়া যায়। কাপল্ড ডিইভিএস কাপল্ড ডিইভিএস সংজ্ঞায়িত করে যে কোন উপ-উপাদানগুলি এর অন্তর্গত এবং কীভাবে তারা একে অপরের সাথে সংযুক্ত। একটি কাপল্ড ডিইভিএস মডেলকে একটি 8-টুপল হিসাবে সংজ্ঞায়িত করা হয় যেখানে ইনপুট ইভেন্টগুলির সেট; আউটপুট ইভেন্টগুলির সেট; উপ-উপাদানগুলির নাম সেট; উপ-উপাদানগুলির সেট যেখানে প্রত্যেকটির জন্য একটি পারমাণবিক ডিইভিএস মডেল বা একটি কাপল্ড ডিইভিএস মডেল হতে পারে। এটি বাহ্যিক ইনপুট কাপলিংয়ের সেট; অভ্যন্তরীণ কাপলিংয়ের সেট; বাহ্যিক আউটপুট কাপলিং ফাংশন; টাই-ব্রেকিং ফাংশন যা একযোগে ইভেন্টের সেট থেকে ইভেন্টটি কীভাবে নির্বাচন করতে হয় তা সংজ্ঞায়িত করে; পিং-পং গেমের জন্য কাপল্ড ডিইভিএস মডেল ফিগারের পিং-পং গেম। 1 কে একটি কাপল্ড ডিইভিএস মডেল হিসাবে মডেল করা যেতে পারে যেখানে;;; উপরে বর্ণিত হয়েছে;;; এবং। যুগ্ম ডি. ই. ভি. এস-এর আচরণ সহজভাবে বলতে গেলে, পারমাণবিক ডি. ই. ভি. এস শ্রেণীর আচরণের মতো, একটি যুগ্ম ডি. ই. ভি. এস মডেল তার উপাদানগুলির অবস্থা পরিবর্তন করে (1) যখন কোনও বাহ্যিক ঘটনা ঘটে; (2) যখন উপাদানগুলির মধ্যে একটি তার অভ্যন্তরীণ অবস্থা রূপান্তর কার্যকর করে এবং তার আউটপুট তৈরি করে। উভয় ক্ষেত্রেই (1) এবং (2), একটি ট্রিগার ইভেন্ট সমস্ত প্রভাবগুলিতে প্রেরণ করা হয় যা কাপলিং সেট এবং দ্বারা সংজ্ঞায়িত করা হয়। কাপল্ড ডিইভিএস-এর আচরণের আনুষ্ঠানিক সংজ্ঞার জন্য, আপনি কাপল্ড ডিইভিএস-এর আচরণ উল্লেখ করতে পারেন। প্রদত্ত কাপল্ড ডিইভিএস মোডের আচরণ বাস্তবায়নের জন্য কম্পিউটার অ্যালগরিদমগুলি কাপল্ড ডিইভিএস-এর জন্য সিমুলেশন অ্যালগরিদমগুলিতে উপলব্ধ। বিশ্লেষণ পদ্ধতি ডিসক্রিট ইভেন্ট সিস্টেমের জন্য সিমুলেশন ডিইভিএস মডেলের সিমুলেশন অ্যালগরিদম দুটি বিষয় বিবেচনা করেঃ সময় সমন্বয় এবং বার্তা প্রচার। ডি. ই. ভি. এস-এর সময় সমন্বয় হল সমস্ত মডেলকে নিয়ন্ত্রণ করা যাতে বর্তমান সময় একই থাকে। যাইহোক, একটি দক্ষ সম্পাদনের জন্য, অ্যালগরিদম বর্তমান সময়কে সবচেয়ে জরুরি সময়ে নিয়ে যায় যখন কোনও ইভেন্ট তার অভ্যন্তরীণ অবস্থা পরিবর্তনের পাশাপাশি তার আউটপুট জেনারেশন কার্যকর করার জন্য নির্ধারিত হয়। বার্তা প্রচার হ 'ল একটি ট্রিগার বার্তা প্রেরণ করা যা একটি সংযুক্ত ডিইভিএস মডেলে সংজ্ঞায়িত সম্পর্কিত কাপলিং সহ একটি ইনপুট বা আউটপুট ইভেন্ট হতে পারে। আরও বিস্তারিত তথ্যের জন্য, পাঠক পারমাণবিক ডিইভিএস-এর জন্য সিমুলেশন অ্যালগরিদম এবং কাপল্ড ডিইভিএস-এর জন্য সিমুলেশন অ্যালগরিদম উল্লেখ করতে পারেন। কন্টিনিউয়াস স্টেট সিস্টেমের জন্য সিমুলেশন একটি কোয়ান্টাইজেশন পদ্ধতি প্রবর্তন করে যা একটি অবিচ্ছিন্ন অংশকে পিসওয়াইজ কনস্ট সেগমেন্ট হিসাবে বিমূর্ত করে, ডিইভিএস অবিচ্ছিন্ন অবস্থা সিস্টেমের আচরণগুলি অনুকরণ করতে পারে যা ডিফারেনশিয়াল বীজগাণিতিক সমীকরণের নেটওয়ার্ক দ্বারা বর্ণিত হয়। 1990-এর দশকে জেইগলার এই গবেষণা শুরু করেন এবং 2000-এর দশকে অধ্যাপক কফম্যান ও ড. নুটারো এর অনেক বৈশিষ্ট্য ব্যাখ্যা করেছেন। 2006 সালে, অধ্যাপক সেলিয়ার যিনি কন্টিনিউয়াস সিস্টেম মডেলিং [সেলিয়ার91]-এর লেখক, এবং অধ্যাপক কফম্যান কন্টিনিউয়াস সিস্টেম সিমুলেশন [সিকে06] নামে একটি পাঠ্যপুস্তক লিখেছিলেন, যেখানে 11 এবং 12 অধ্যায়ে ডিইভিএস কীভাবে কন্টিনিউয়াস স্টেট সিস্টেম অনুকরণ করে তা তুলে ধরা হয়েছে। ডাঃ নুটারোর বই [নুটারো 10], অবিচ্ছিন্ন রাষ্ট্র ব্যবস্থার বিচ্ছিন্ন ঘটনা অনুকরণকেও অন্তর্ভুক্ত করে। পৃথক ইভেন্ট সিস্টেমের জন্য যাচাইকরণ নমুনা-ভিত্তিক সিমুলেশন পদ্ধতির বিরুদ্ধে একটি বিকল্প বিশ্লেষণ পদ্ধতি হিসাবে, ডিইভিএস মডেলগুলির বিশ্লেষণের জন্য একটি সম্পূর্ণ উৎপাদনশীল আচরণ পদ্ধতি, সাধারণত যাচাইকরণ বলা হয়। এটি প্রমাণিত হয় যে প্রদত্ত ডিইভিএস মডেলের অসীম অবস্থাগুলি (বিশেষত একটি সংযুক্ত ডিইভিএস মডেল) আচরণগতভাবে আইসোমরফিক সীমাবদ্ধ কাঠামো দ্বারা বিমূর্ত করা যেতে পারে, যাকে পৌঁছনোযোগ্যতা গ্রাফ বলা হয় যখন প্রদত্ত ডিইভিএস মডেলটি ডিইভিএসের একটি উপ-শ্রেণী যেমন সময়সূচী-সংরক্ষণকারী ডিইভিএস (এসপি-ডিইভিএস), সীমাবদ্ধ ও নির্ধারিত ডিইভিএস (এফডি-ডিইভিএস) [এইচজেড09], এবং সীমাবদ্ধ ও রিয়েল-টাইম ডিইভিএস (এফআরটি-ডিইভিএস) [হোয়াং12]। ফলস্বরূপ, পুনর্বিন্যাসযোগ্যতার গ্রাফের উপর ভিত্তি করে, (1) গুণগত বৈশিষ্ট্য হিসাবে ডেড-লক এবং লাইভ-লক স্বাধীনতা এস. পি-ডি. ই. ভি. এস [হুয়াং05], এফ. ডি-ডি. ই. ভি. এস [এইচ. জেড06], এবং এফ. আর. টি-ডি. ই. ভি. এস [হুয়াং12]-এর সাথে নির্ণায়ক এবং (2) পরিমাণগত বৈশিষ্ট্য হিসাবে ন্যূনতম/সর্বোচ্চ প্রক্রিয়াকরণ সময়সীমা এস. পি-ডি. ই. ভি. এস-এর সাথে 2012 সালের মধ্যে নির্ণায়ক। ডিইভিএস এক্সটেনশনের বৈচিত্র্য (সুপারক্লাসিং) গত কয়েক দশকে ক্লাসিক ডিইভিএস আনুষ্ঠানিকতার অসংখ্য এক্সটেনশন তৈরি করা হয়েছে। এগুলির মধ্যে আনুষ্ঠানিকতা যা অনুকরণের সময় বিকশিত হওয়ার সময় মডেল কাঠামো পরিবর্তন করার অনুমতি দেয়। জি-ডিইভিএস [জিয়ামবিয়াসি01] [জ্যাকারেউইজ08], সমান্তরাল ডিইভিএস, ডায়নামিক স্ট্রাকচারিং ডিইভিএস, সেল-ডিইভিএস [ওয়েনার09], ডায়ানডিইভিএস, ফাজি-ডিইভিএস, জিকে-ডিইভিএস, এমএল-ডিইভিএস, প্রতীকী ডিইভিএস, রিয়েল-টাইম ডিইভিএস, রো-ডিইভিএস বিধিনিষেধ (সাবক্লাসিং) হিসাবে পরিচিত কিছু উপ-শ্রেণী রয়েছে যা সময়সূচী-সংরক্ষণ ডিইভিএস (এসপি-ডিইভিএস) এবং সীমাবদ্ধ এবং নির্ধারিত ডিইভিএস (এফডি-ডিইভিএস) হিসাবে পরিচিত যা যাচাইকরণ বিশ্লেষণকে সমর্থন করার জন্য মনোনীত করা হয়েছিল। এস. পি-ডি. ই. ভি. এস এবং এফ. ডি-ডি. ই. ভি. এস যার অভিব্যক্তি হল ই (এস. পি-ডি. ই. ভি. এস) ই (এফ. ডি-ডি. ই. ভি. এস) ই (ডি. ই. ভি. এস) যেখানে ই (আনুষ্ঠানিকতা) আনুষ্ঠানিকতার অভিব্যক্তি বোঝায়। আরও দেখুন ডিইভিএস সম্পর্কিত নিবন্ধ ইভেন্ট সেগমেন্ট টাইমড ইভেন্ট সিস্টেম ডিইভিএস-এর যাচাইযোগ্য উপ-শ্রেণীগুলিঃ এসপি-ডিইভিএস, এফডি-ডিইভিএস পারমাণবিক ডিইভিএস-এর আচরণ কাপল্ড ডিইভিএস-এর আচরণ সিমুলেশন অ্যালগরিদম পারমাণবিক ডিইভিএস-এর জন্য সিমুলেশন অ্যালগরিদম কাপল্ড ডিইভিএস-এর জন্য সিমুলেশন অ্যালগরিদম কাপল্ড ডিইভিএস অন্যান্য ফর্মালিজম অটোমাটা তত্ত্বঃ স্টেট ট্রানজিশন সিস্টেমের জন্য একটি আনুষ্ঠানিক পদ্ধতি ফাইনাইট স্টেট মেশিনঃ ইভেন্টগুলির সীমাবদ্ধ সেট এবং স্টেট সহ একটি স্টেট ট্রানজিশন মেশিন পেট্রি নেটঃ রাষ্ট্র এবং ট্রানজিশন সম্পর্কের একটি গ্রাফিকাল উপস্থাপনা মার্কভ চেইনঃ একটি স্টোকাস্টিক প্রক্রিয়া যেখানে ভবিষ্যত বর্তমান অবস্থা নির্দিষ্টকরণ এবং বর্ণনা ভাষা দ্বারা নির্ধারিত হবেঃ এসডিএল, একটি আনুষ্ঠানিক সম্পূর্ণ এবং দ্ব্যর্থহীন পাদটীকা রেফারেন্স [সেলিয়ার91] [সিকে06] [জিয়ামবিয়াসি01] জিয়ামবিয়াসি এন., এসকিউড বি. ঘোষ এস. "জেনারেলাইজড ডিসক্রিট ইভেন্ট সিমুলেশন অফ ডায়নামিক সিস্টেমস", এসসিএস লেনদেনের 4 নম্বর সংখ্যাঃ ডিইভিএস পদ্ধতিতে সাম্প্রতিক অগ্রগতি-দ্বিতীয় অংশ, খণ্ড। 18, পৃ. 216-229, ডিসেম্বর 2001 [হোয়াং05] এম. এইচ. হোয়াং, "টিউটোরিয়ালঃ সময়সূচী-সংরক্ষিত ডিইভিএস-এর উপর ভিত্তি করে রিয়েল-টাইম সিস্টেমের যাচাইকরণ", 2005 ডিইভিএস সিম্পোজিয়ামের কার্যধারা, সান দিয়েগো, এপ্রিল। 2-8,2005, [এইচজেড06] এমএইচ। হোয়াং এবং বি. পি. জেইগলার, "এ মডুলার ভেরিফিকেশন ফ্রেমওয়ার্ক ইউজিং ফাইনাইট অ্যান্ড ডিটারমিনিস্টিক ডিইভিএস", প্রোসিডিংস অফ 2006 ডিইভিএস সিম্পোজিয়াম, পিপি 57-65, হান্টসভিল, আলাবামা, ইউএসএ, [এইচজেড09] এমএইচ। হোয়াং এবং বি. পি. জেইগলার, "রিচেবিলিটি গ্রাফ অফ ফাইনাইট অ্যান্ড ডিটারমিনিস্টিক ডিইভিএস নেটওয়ার্কস", আই. ই. ই. লেনদেনস অন অটোমেশন সায়েন্স অ্যান্ড ইঞ্জিনিয়ারিং, খণ্ড 6, সংখ্যা 3,2009, পৃ. 454-467, [হোয়াং12] এম. এইচ। হোয়াং, "সীমাবদ্ধ এবং রিয়েল-টাইম ডিইভিএস নেটওয়ার্কগুলির গুণগত যাচাইকরণ", মডেলিং এবং সিমুলেশন তত্ত্বের উপর 2012 সিম্পোজিয়ামের কার্যধারা-ডিইভিএস ইন্টিগ্রেটিভ এম অ্যান্ড এস সিম্পোজিয়াম, অনুচ্ছেদ নং। 43, [মিত্তাল13] [নুটারো10] [সারজৌঘিয়ান09] [ওয়েইনার09] [ওয়েইনার10] [জ্যাকারেউইজ08] গ্রেগরি জ্যাকারেউইজ, ক্লডিয়া ফ্রাইডম্যান, এবং নরবার্ট গিয়ামবিয়াসি (2008) জি-ডিইভিএস/এইচএলএ এনভায়রনমেন্ট ফর ডিস্ট্রিবিউটেড সিমুলেশন অফ ওয়ার্কফ্লো, সিমুলেশন মে 2008 84:197-213,। [জেইগার68] [জেইগলার76] [জেইগলার84] [জেইগলার87] [জেডকেপি00] অটোমাটা (গণনা) আনুষ্ঠানিক নির্দিষ্টকরণ ভাষা