multiPDEVS: A Parallel Multicomponent System Specification Formalism
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 compone...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2018-01-01
|
| Series: | Complexity |
| Online Access: | http://dx.doi.org/10.1155/2018/3751917 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832563212702187520 |
|---|---|
| author | Damien Foures Romain Franceschini Paul-Antoine Bisgambiglia Bernard P. Zeigler |
| author_facet | Damien Foures Romain Franceschini Paul-Antoine Bisgambiglia Bernard P. Zeigler |
| author_sort | Damien Foures |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-412b97c7a82a448e916138b028491e94 |
| institution | Kabale University |
| issn | 1076-2787 1099-0526 |
| language | English |
| publishDate | 2018-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | Complexity |
| spelling | doaj-art-412b97c7a82a448e916138b028491e942025-02-03T01:20:42ZengWileyComplexity1076-27871099-05262018-01-01201810.1155/2018/37519173751917multiPDEVS: A Parallel Multicomponent System Specification FormalismDamien Foures0Romain Franceschini1Paul-Antoine Bisgambiglia2Bernard P. Zeigler3CNRS UMR SPE 6134, Université de Corse, 2050 Corte, FranceCNRS UMR SPE 6134, Université de Corse, 2050 Corte, FranceCNRS UMR SPE 6134, Université de Corse, 2050 Corte, FranceRTSync Corp, 12500 Park Potomac Ave., Potomac, MD, USABased 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.http://dx.doi.org/10.1155/2018/3751917 |
| spellingShingle | Damien Foures Romain Franceschini Paul-Antoine Bisgambiglia Bernard P. Zeigler multiPDEVS: A Parallel Multicomponent System Specification Formalism Complexity |
| title | multiPDEVS: A Parallel Multicomponent System Specification Formalism |
| title_full | multiPDEVS: A Parallel Multicomponent System Specification Formalism |
| title_fullStr | multiPDEVS: A Parallel Multicomponent System Specification Formalism |
| title_full_unstemmed | multiPDEVS: A Parallel Multicomponent System Specification Formalism |
| title_short | multiPDEVS: A Parallel Multicomponent System Specification Formalism |
| title_sort | multipdevs a parallel multicomponent system specification formalism |
| url | http://dx.doi.org/10.1155/2018/3751917 |
| work_keys_str_mv | AT damienfoures multipdevsaparallelmulticomponentsystemspecificationformalism AT romainfranceschini multipdevsaparallelmulticomponentsystemspecificationformalism AT paulantoinebisgambiglia multipdevsaparallelmulticomponentsystemspecificationformalism AT bernardpzeigler multipdevsaparallelmulticomponentsystemspecificationformalism |