Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
50 Summers of Computer Simulation Kapitel lesen Erstes Kapitel lesen

2019 | OriginalPaper | Buchkapitel

7. Converting High Level Models into DEVS Modeling and Simulation Applications

verfasst von : Gabriel A. Wainer

Erschienen in: Summer of Simulation

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We discuss a number of methods for converting high level modeling formalisms and languages into lower level discrete-event systems specifications using the DEVS formalism. We present the implementation of such methods in the CD++ open source toolkit, and discuss different case studies. We focus on a variety of methods, ranging from Petri Nets and Finite State Machines up to Modelica and advanced Traffic modeling languages, showing the generality of DEVS based solutions, and the definition of user libraries in different domains.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Cloud-Based Simulation
Nächstes Kapitel A Profiling Study of the Summer Computer Simulation Conference
Literatur
Bowman, H., & Gomez, R. (2006). Concurrency theory: Calculi and automata for modelling untimed and timed concurrent systems. London: Springer.MATH
Castro, R., Kofman, E., & Wainer, G. (2010). A formal framework for stochastic DEVS modeling and simulation. SIMULATION: Transactions of the Society for Modeling and Simulation International, 86(10), 587–611.CrossRef
Chechiu, L., & Wainer. G. (2005). Experimental results on the use of modelica/CD++. In Proceedings of the 2005 SCS Summer Computer Simulation Conference. Philadelphia, PA.
Chopard, B., Queloz, P. A., & Luthi, P. (1996). Cellular automata model of car traffic in two-dimensional street networks. J. Phys., A.vol.29, 2325–2336.MathSciNetMATH
D’Abreu, M., & Wainer, G. (2006) A Bond-Graph mapping mechanism for M/CD++. In Proceedings of the 2006 SCS Summer Computer Simulation Conference. Calgary, AB, Canada.
Davidson, A., & Wainer, G. (2006). ATLAS: A specification language for traffic modelling and simulation. Simulation, Practice and Experience. Elsevier. 14(3), 317–337.
Fritzson, P. (2004). Principles of object-oriented modelling and simulation with Madelia 2.1. Wiley-IEEE Press.
Hopcroft, J., & Ullman, J. (1979). Introduction to automata theory, languages, and computation. Reading/MA: Addison-Wesley.MATH
Jacques, C., & Wainer, G. (2002). Using the CD++ DEVS toolkit to develop Petri Nets. In Proceedings of the 2002 Summer Computer Simulation Conference, San Diego, CA. USA.
Karnopp, D., Margolis, D., & Rosenberg, R. (1990). System Dynamics: A unified approach. Wiley.
Kofman, E., & Junco, S. (2001). Quantized state systems. A DEVS Approach for Continuous System simulation Transactions of the SCS, 18(3), 123–132.
Liu, F., & Zhang, H. (2018). A class of extended time Petri nets for modelling and simulation of discrete event systems. SIMULATION, 94(8), 753–762.CrossRef
Lo Tártaro, M., Torres, C., & Wainer, G. (2001). TSC: A compiler for the ATLAS language. In Proceedings of 2001 Winter Simulation Conference. Arlington, VA. U.S.A. IEEE Press.
Mehta, S., & Wainer, G. (2005). DEVS for mixed-signal Modeling based on VHDL. In Proceedings of 2005 DEVS Integrative M&S Symposium, Spring Simulation Conference. San Diego, CA.
Peterson, J. L. (1977). Petri nets. ACM Computing Surveys, 3(5), 221–252.MATH
Saadawi, H., & Wainer, G. (2010). Rational time-advance DEVS (RTA-DEVS). In Proceedings of DEVS Symposium 2010, Orlando, FL., April 11–15.
Villa-Villaseñor, N., & Rico-Melgoza, J. J. (2018). Complementarity framework formulation from bond graphs to model a class of nonlinear systems and hybrid systems with fixed causality. SIMULATION, 94(9), 783–795.CrossRef
Wainer, G. A. (2009). Discrete-event modeling and simulation: A practitioner’s approach. Boca Raton, FL, USA: CRC Press.
Zeigler, B. P., Kim, T., & Praehofer, H. (2000). Theory of modeling and simulation. San Diego, CA: Academic Press.MATH
Zheng, T., & Wainer, G. (2003). Implementing finite state machines using the CD++ toolkit. In Proceedings of the 2003 Summer Computer Simulation Conference. Montreal, QC. Canada.
Metadaten
Titel
Converting High Level Models into DEVS Modeling and Simulation Applications
verfasst von
Gabriel A. Wainer
Copyright-Jahr
2019
Buch
Summer of Simulation

Print ISBN: 978-3-030-17163-6

Electronic ISBN: 978-3-030-17164-3

Copyright-Jahr: 2019

DOI
https://doi.org/10.1007/978-3-030-17164-3_7

Premium Partner

    Bildnachweise