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 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.

[1]  Rodrigo Castro,et al.  STDEVS. A NOVEL FORMALISM FOR MODELING AND SIMULATION OF STOCHASTIC DISCRETE EVENT SYSTEMS , 2006 .

[2]  Adelinde M. Uhrmacher,et al.  Dynamic structures in modeling and simulation: a reflective approach , 2001, TOMC.

[3]  B.P. Zeigler,et al.  Abstract simulator for the parallel DEVS formalism , 1994, Fifth Annual Conference on AI, and Planning in High Autonomy Systems.

[4]  Bernard P. Zeigler,et al.  Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems , 2000 .

[5]  Jean François Santucci,et al.  Active-DEVS: a computational model for the simulation of forest fire propagation , 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

[6]  Jean François Santucci,et al.  Optimization of cell spaces simulation for the modeling of fire spreading , 2003, 36th Annual Simulation Symposium, 2003..

[7]  R. Weber,et al.  Modelling fire spread through fuel beds , 1991 .

[8]  Bin Chen,et al.  Symbolic flattening of DEVS models , 2010, SummerSim.

[9]  Bernard P. Zeigler,et al.  Reachability Graph of Finite and Deterministic DEVS Networks , 2009, IEEE Transactions on Automation Science and Engineering.

[10]  Gabriel A. Wainer,et al.  Application of the Cell-DEVS Paradigm for Cell Spaces Modelling and Simulation , 2001, Simul..

[11]  Jean François Santucci,et al.  Modelling and simulation of ecological propagation processes: application to fire spread , 2005, Environ. Model. Softw..

[12]  Bernard P. Zeigler,et al.  Guide to Modeling and Simulation of Systems of Systems , 2012, SpringerBriefs in Computer Science.

[13]  Bernard P. Zeigler,et al.  A new cell space DEVS specification: Reviewing the parallel DEVS formalism seeking fast cell space simulations , 2011, Simul. Model. Pract. Theory.

[14]  Gabriel A. Wainer,et al.  Modeling pedestrian behavior with Cell-DEVS: theory and applications , 2016, Simul..

[15]  F. Barros.  Dynamic structure discrete event system specification: a new formalism for dynamic structure modeling and simulation , 1995, Winter Simulation Conference Proceedings, 1995..

[16]  Hans Vangheluwe,et al.  Foundations of Modelling and Simulation of Complex Systems , 2008, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[17]  J. Balbi,et al.  Dynamic modelling of fire spread across a fuel bed , 1999 .

[18]  Gabriel A. Wainer,et al.  Flattened Conservative Parallel Simulator for DEVS and CELL-DEVS , 2009, 2009 International Conference on Computational Science and Engineering.

[19]  Al-HabashnaAla'a,et al.  Modeling pedestrian behavior with Cell-DEVS , 2016 .

[20]  Sang Won Bae,et al.  Efficient Flattening Algorithm for Hierarchical and Dynamic Structure Discrete Event Models , 2016, ACM Trans. Model. Comput. Simul..

[21]  Bernard P. Zeigler,et al.  Parallel DEVS: a parallel, hierarchical, modular modeling formalism , 1994, Proceedings of Winter Simulation Conference.

[22]  Gabriel A. Wainer,et al.  Sequential PDEVS architecture , 2015, SpringSim.

[23]  David R. C. Hill,et al.  DEVS-ruby: a domain specific language for DEVS modeling and simulation (WIP) , 2014, SpringSim.

[24]  Fernando J. Barros.  Dynamic structure multiparadigm modeling and simulation , 2003, TOMC.

[25]  Adelinde M. Uhrmacher,et al.  SEQUENTIAL PROCESSING OF PDEVS MODELS , 2006 .

[26]  Gabriel A. Wainer,et al.  A Survey on the Application of the Cell-DEVS Formalism , 2010, J. Cell. Autom..

[27]  Norbert Giambiasi,et al.  A Generalized Discrete Event System (G-DEVS) Flattened Simulation Structure: Application to High-Level Architecture (HLA) Compliant Simulation of Workflow , 2010, Simul..