[图书][B] Discrete-event modeling and simulation: a practitioner's approach
GA Wainer - 2017 - taylorfrancis.com
Complex artificial dynamic systems require advanced modeling techniques that can
accommodate their asynchronous, concurrent, and highly non-linear nature. Discrete Event …
accommodate their asynchronous, concurrent, and highly non-linear nature. Discrete Event …
Simulation modeling methodology: principles and etiology of decision support
EH Page - 1994 - vtechworks.lib.vt.edu
Investigation in discrete event simulation modeling methodology has persisted for over thirty
years. Fundamental is the recognition that the overriding objectives for simulation must …
years. Fundamental is the recognition that the overriding objectives for simulation must …
Principles of discrete event system specification model verification
Real-time systems modeling and verification is a complex task. In many cases, formal
methods have been employed to deal with the complexity of these systems, but checking …
methods have been employed to deal with the complexity of these systems, but checking …
Iterchanging Discrete Event Simulationprocess Interaction Modelsusing The Web Ontology Language-Owl
L Lacy - 2006 - stars.library.ucf.edu
Discrete event simulation development requires significant investments in time and
resources. Descriptions of discrete event simulation models are associated with world views …
resources. Descriptions of discrete event simulation models are associated with world views …
Tools for graphical specification and visualization of DEVS models
We introduce advanced graphical modeling and visualization facilities for Discrete Event
System Specification (DEVS) modeling and simulation (M&S) in the CD++ environment. The …
System Specification (DEVS) modeling and simulation (M&S) in the CD++ environment. The …
Concepts and architecture of a simulation framework based on the JavaBeans component model
H Praehofer, J Sametinger, A Stritzinger - Future Generation Computer …, 2001 - Elsevier
We report on a combination of system theoretic simulation modeling methodology with the
JavaBeans component model as a basis for a component-based simulation framework …
JavaBeans component model as a basis for a component-based simulation framework …
[PDF][PDF] Transforming statecharts to DEVS
S Borland, H Vangheluwe - Summer Computer Simulation …, 2003 - academia.edu
TRANSFORMING STATECHARTS TO DEVS Spencer Borland and Hans Vangheluwe
Modelling, Simulation and Design Lab School of Computer Sci Page 1 TRANSFORMING …
Modelling, Simulation and Design Lab School of Computer Sci Page 1 TRANSFORMING …
Modeling and simulation-driven development of embedded real-time systems
M Moallemi, G Wainer - Simulation Modelling Practice and Theory, 2013 - Elsevier
The design and development of embedded hard real-time (RT) systems is one of the
complex development practices, because of the requirements of criticality and timeliness of …
complex development practices, because of the requirements of criticality and timeliness of …
Enriching uml statecharts through a metamodel: A model driven approach for the graphical definition of devs atomic models
The Discrete Event System Specification (DEVS) formalism provides a set of mathematical
elements for modeling time-varying systems. However, when DEVS models are …
elements for modeling time-varying systems. However, when DEVS models are …
[PDF][PDF] Generation of DEVS modelling and simulation environments
E Posse, JS Bolduc, H Vangheluwe - Proceedings of the 2003 …, 2003 - researchgate.net
Abstract DEVS ([7]) is a well known formalism for modelling discrete-event, continuous-time
systems, suitable for the definition of efficient simulators of those systems. A tool is presented …
systems, suitable for the definition of efficient simulators of those systems. A tool is presented …