multiPDEVS: A Parallel Multicomponent System Specification Formalism
المؤلفون المشاركون
Foures, Damien
Franceschini, Romain
Bisgambiglia, Paul-Antoine
Zeigler, Bernard P.
المصدر
العدد
المجلد 2018، العدد 2018 (31 ديسمبر/كانون الأول 2018)، ص ص. 1-19، 19ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2018-03-27
دولة النشر
مصر
عدد الصفحات
19
التخصصات الرئيسية
الملخص EN
Based on multiDEVS formalism, we introduce multiPDEVS, a parallel and nonmodular formalism for discrete event system specification.
This formalism provides combined advantages of PDEVS and multiDEVS approaches, such as excellent simulation capabilities for simultaneously scheduled events and components able to influence each other using exclusively their state transitions.
We next show the soundness of the formalism by giving a construction showing that any multiPDEVS model is equivalent to a PDEVS atomic model.
We then present the simulation procedure associated, usually called abstract simulator.
As a well-adapted formalism to express cellular automata, we finally propose to compare an implementation of multiPDEVS formalism with a more classical Cell-DEVS implementation through a fire spread application.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Foures, Damien& Franceschini, Romain& Bisgambiglia, Paul-Antoine& Zeigler, Bernard P.. 2018. multiPDEVS: A Parallel Multicomponent System Specification Formalism. Complexity،Vol. 2018, no. 2018, pp.1-19.
https://search.emarefa.net/detail/BIM-1133768
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Foures, Damien…[et al.]. multiPDEVS: A Parallel Multicomponent System Specification Formalism. Complexity No. 2018 (2018), pp.1-19.
https://search.emarefa.net/detail/BIM-1133768
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Foures, Damien& Franceschini, Romain& Bisgambiglia, Paul-Antoine& Zeigler, Bernard P.. multiPDEVS: A Parallel Multicomponent System Specification Formalism. Complexity. 2018. Vol. 2018, no. 2018, pp.1-19.
https://search.emarefa.net/detail/BIM-1133768
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1133768
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر