skip to main content
10.5555/1357910.1357966acmotherconferencesArticle/Chapter ViewAbstractPublication PagesscscConference Proceedingsconference-collections
research-article

Conflict management in PDEVS: an experience in modelling and simulation of time petri nets

Published: 16 July 2007 Publication History

Abstract

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.

References

[1]
Agha, G. (1986). Actors: A model for concurrent computation in distributed systems, Cambridge, MIT Press.
[2]
Berthomieu B. and M. Diaz (1991). Modelling and verification of time dependent systems using time Petri nets. IEEE Trans. Software Eng., 17(3):259--273.
[3]
Billington J., S. Christensen, K. van Hee, E. Kindler, O. Kummer, L. Petrucci, R. Post, C. Stehno, and M. Weber (2003). The Petri net markup language: concepts, technology, and tools. In Proc. of the 24th Int. Conf. on Application and Theory of Petri Nets, LNCS 2679, pages 483--505. Springer.
[4]
Cicirelli F., A. Furfaro and L. Nigro (2006). A DEVS M&S framework based on Java and actors. In Proc. of 2nd European Modelling and Simulation Symposium (EMSS 2006), pp. 337--342.
[5]
Cicirelli F., A. Furfaro, A. Giordano and L. Nigro (2007a). An agent infrastructure for distributed simulations over HLA and a case study using unmanned aerial vehicles. In Proc. of 40th Annual Simulation Symposium, IEEE Computer Society Press, pp. 231--238, March, Norfolk (VA).
[6]
Cicirelli F., A. Furfaro, L. Nigro and F. Pupo (2007b). A component-based architecture for modelling and simulation of adaptive complex systems. 21st European Conference on Modelling and Simulation (ECMS'07), 4--6 June, Prague.
[7]
Hu X., B. P. Zeigler and S. Mittal (2005). Variable structure in DEVS component-based modelling and simulation. Simulation, 81(2):91--102.
[8]
Gamma E., R. Helm, R. Johnson, and J. Vlissides (1995). Design Patterns. Addison-Wesley.
[9]
Glinsky E. and G. Wainer (2005). Devstone: a benchmarking technique for studying performance of devs modelling and simulation environments. In 9th IEEE Int. Symposium on Parallel and Distributed Simulation and Real-Time Applications, pp. 265--272.
[10]
Himmelspach J. and A. M. Uhrmacher (2006). Sequential processing of PDVES models. In Proc. of 2nd European Modelling and Simulation Symposium (EMSS 2006), pp. 239--244.
[11]
Kim K., W. Kang, B. Sagong and H. Seo (2000). Efficient distributed simulation of hierarchical DEVS models: transforming model structure into a non-hierarchical one. In Proc. of the 33rd Annual Simulation Symposium (ANSS'00), IEEE Computer Society, pp. 227--233.
[12]
Merlin P. and D. Farber (1976). Recoverability of communication protocols - implications of a theoretical study. IEEE Transactions on Communications, 24(9):1036--1043.
[13]
Murata T. (1989). Petri nets: properties, analysis and applications. Proc. of the IEEE, 77(4), pp. 541--580.
[14]
Shaw M. and D. Garlan (1996). Software architecture: perspective on an emerging discipline. Prentice-Hall.
[15]
Vangheluwe H. L. (2000). DEVS as a common denominator for multi-formalism hybrid systems modelling. In Andras Varga, ed., IEEE Int. Symposium on Computer-Aided Control System Design, pp. 129--134, IEEE Computer Society Press, September, Anchorage, Alaska.
[16]
Zeigler B. P. and H. S. Sarjoughian (2003). Introduction to DEVS modelling and simulation with Java: developing component-based simulation models. http://www.acims.arizona.edu.
[17]
Zeigler B. P., H. Praehofer, and T. G. Kim (2000). Theory of modeling and simulation. 2nd Edition, New York, NY, Academic Press.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
SCSC '07: Proceedings of the 2007 Summer Computer Simulation Conference
July 2007
1363 pages
ISBN:1565553160

Sponsors

  • SCS: Society for Modeling and Simulation International

In-Cooperation

Publisher

Society for Computer Simulation International

San Diego, CA, United States

Publication History

Published: 16 July 2007

Check for updates

Author Tags

  1. PDEVS
  2. conflict management
  3. java
  4. modelling and simulation
  5. time petri nets

Qualifiers

  • Research-article

Conference

SCSC07
Sponsor:
  • SCS
SCSC07: 2007 Summer Computer Simulation Conference
July 16 - 19, 2007
California, San Diego

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 152
    Total Downloads
  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 22 Feb 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media