Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Theory of Modeling and Simulation
Theory of Modeling and Simulation
SS '00 Proceedings of the 33rd Annual Simulation Symposium
DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications
ANSS '07 Proceedings of the 40th Annual Simulation Symposium
The Petri net markup language: concepts, technology, and tools
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Hi-index | 0.00 |
PDEVS (Parallel DEVS) is a well-known formalism for the specification of complex concurrent systems organized as an interconnection of atomic and coupled interacting components. The abstract simulator of a PDEVS model is normally founded on the assumption of maximal parallelism: multiple components are allowed to undertake at the same time an independent state transition. This paper argues that the hypothesis of maximal parallelism does not allow PDEVS to adequately model and simulate systems where simultaneous state transitions are conflicting to one another. As an example, an original PDEVS model of Merlin and Farber Time Petri Nets is proposed. The realization owes to ActorDEVS, a lean and efficient PDEVS M&S framework in Java, which enables the simulation control structure to be customized. The accomplished experience suggests that some points in the formal definition of PDEVS should possibly be adapted in order to widen the applicability of the language.