zbMATH — the first resource for mathematics

multiPDEVS: a parallel multicomponent system specification formalism. (English) Zbl 1398.93215
Summary: 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.
93C65 Discrete event control/observation systems
93A30 Mathematical modelling of systems (MSC2010)
Full Text: DOI
[1] Vangheluwe, H., Foundations of Modelling and Simulation of Complex Systems, Electronic Communications of the EASST, 10, 148-162, (July 2008)
[2] Zeigler, B. P.; Praehofer. H.; Kim, T. G., Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems, (2000), Academic press
[3] Hwang, M. H.; Zeigler, B. P., Reachability graph of finite and deterministic DEVS networks, IEEE Transactions on Automation Science and Engineering, 6, 3, 468-478, (2009)
[4] Wainer, G. A.; Giambiasi, N., Application of the Cell-DEVS Paradigm for Cell Spaces Modelling and Simulation, Simulation, 76, 1, 22-39, (2001) · Zbl 0980.68133
[5] Cho, S. M.; Kim, T. G., Real-time devs simulation: Concurrent, time-selective execution of combined rt-devs model and interactive environment, (1998), Koasas
[6] Kofman, E.; Castro, R. D., Stdevs, a novel formalism for modeling and simulation of stochastic discrete event systems, In Proceedings of AADECA
[7] Chow, A. C.-H.; Zeigler, B. P., Parallel DEVS: a parallel, hierarchical, modular modeling formalism, Proceedings of the 1994 Winter Simulation Conference, Society for Computer Simulation International
[8] Balbi, J. H.; Santoni, P. A.; Dupuy, J. L., Dynamic Modelling of Fire Spread Across a Fuel Bed, International Journal of Wildland Fire, 9, 4, 275-284, (1999)
[9] Wainer, G.; Castro, R., A survey on the application of the cell-{DEVS} formalism, Journal of Cellular Automata, 5, 6, 509-524, (2010) · Zbl 1205.68237
[10] Al-Habashna, A.; Wainer, G., Modeling pedestrian behavior with Cell-DEVS: Theory and applications, Simulation, 92, 2, 117-139, (2016)
[11] Innocenti, E.; Muzy, A.; Aïello, A.; Santucci, J.-F.; Hill, D. R. C., Active-DEVS: A computational model for the simulation of forest fire propagation, Proceedings of the 2004 IEEE International Conference on Systems, Man and Cybernetics, SMC 2004, IEEE
[12] Muzy, A.; Innocenti, E.; Santucci, J.-F.; Hill, D. R. C., Optimization of cell spaces simulation for the modeling of fire spreading, Proceedings of the 36th Annual Simulation Symposium, ANSS 2003, IEEE
[13] Bae, J. W.; Bae, S. W.; Moon, I.-C.; Kim, T. G., Efficient Flattening Algorithm for Hierarchical and Dynamic Structure Discrete Event Models, ACM Transactions on Modeling and Computer Simulation (TOMACS), 26, 4, article no. 25, (2016) · Zbl 1368.68312
[14] Jafer, S.; Wainer, G., Flattened conservative parallel simulator for DEVS and cell-DEVS, Proceedings of the 2009 International Conference on Computational Science and Engineering, CSE ’09, IEEE
[15] Zacharewicz, G.; Hamri, M. E.-A.; Frydman, C.; Giambiasi, N., A Generalized Discrete Event System (G-DEVS) Flattened Simulation Structure: Application to High-Level Architecture (HLA) Compliant Simulation of Workflow, Simulation, 86, 3, 181-197, (2010)
[16] Chen, B.; Vangheluwe, H., Symbolic Flattening of DEVS models, Proceedings of the Summer Computer Simulation Conference, SCSC 2010, Part of the 2010 Summer Simulation Multiconference, SummerSim 2010, Society for Computer Simulation International
[17] Shiginah, F. A.; Zeigler, B. P., A new cell space DEVS specification: Reviewing the parallel DEVS formalism seeking fast cell space simulations, Simulation Modelling Practice and Theory, 19, 5, 1267-1279, (2011)
[18] Shiginah, F. A., Multi-Layer Cellular DEVS Formalism for Faster Model Development and Simulation Efficiency [Ph.D. thesis], (2006), The University of Arizona
[19] Zeigler, B. P.; Sarjoughian, H. S., Guide to Modeling and Simulation of Systems of Systems. Simulation Foundations, Methods and Applications. Simulation Foundations, Methods and Applications, (2013), London, Uk: Springer, London, Uk
[20] Chow, A. C.-H.; Zeigler, B.; Kim, D. H., Abstract simulator for the parallel DEVS formalism, Proceedings of the Fifth Annual Conference on AI, and Planning in High Autonomy Systems, IEEE
[21] Weber, R. O., Modelling fire spread through fuel beds, Progress in Energy and Combustion Science, 17, 1, 67-82, (1991)
[22] Muzy, A.; Innocenti, E.; Aïello, A.; Santucci, J.-F.; Santoni, P.-A.; Hill, D. R. C., Modelling and simulation of ecological propagation processes: Application to fire spread, Environmental Modeling and Software, 20, 7, 827-842, (2005)
[23] Muzy, A.; Nutaro, J., Algorithms for efficient implementations of the DEVS and DSDEVS abstract simulators, In proceddings of the 2008 12th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT, IEEE
[24] Himmelspach, J.; Uhrmacher, A. M., Sequential processing of PDEVS models, Proceedings of the International Mediterranean Modelling Multiconference, I3M 2006
[25] Franceschini, R.; Bisgambiglia, P.-A.; Bisgambglia, P.; Hill, D. R. C., DEVS-Ruby: A domain specific language for DEVS modeling and simulation (WIP), Proceedings of the 2014 Symposium on Theory of Modeling and Simulation - DEVS Integrative M and S Symposium, DEVS 2014; 2014 Spring Simulation Multi-Conference, SpringSim 2014, SCS International
[26] Barros, F. J., Dynamic structure discrete event system specification: a new formalism for dynamic structure modeling and simulation, Proceedings of the 1995 Winter Simulation Conference, WSC’95
[27] Vicino, D.; Niyonkuru, D.; Wainer, G. A.; Dalle, O., Sequential PDEVS Architecture, Proceedings of the DEVS 15: Proceedings of the Symposium on Theory of Modeling Simulation-DEVS Integrative
[28] Barros, F. J., Dynamic Structure Multiparadigm Modeling and Simulation, ACM Transactions on Modeling and Computer Simulation (TOMACS), 13, 3, 259-275, (2003)
[29] Uhrmacher, A. M., Dynamic Structures in Modeling and Simulation: A Reflective Approach, ACM Transactions on Modeling and Computer Simulation (TOMACS), 11, 2, 206-232, (2001) · Zbl 1390.68746
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.