• Möbius

  • Referenced in 24 articles [sw04098]
  • availability, and performance of computer and network systems, its use has expanded rapidly ... used for a broad range of discrete-event systems, from biochemical reactions within genes ... effects of malicious attackers on secure computer systems, in addition to the original applications. That ... systems’ size and complexity. Time- and space-efficient discrete-event simulation and numerical solution, based...
  • TCT

  • Referenced in 9 articles [sw13640]
  • synthesis of supervisory controls for untimed discrete-event systems (DES). It can be downloaded from...
  • STCT

  • Referenced in 9 articles [sw02293]
  • approach for the supervisory control of discrete-event systems (DES). Our algorithm, named S(mart...
  • VeriSIMPL

  • Referenced in 4 articles [sw14598]
  • Linear (MPL) systems, a class of discrete-event systems employed to characterize the dynamics...
  • PDETool

  • Referenced in 2 articles [sw00694]
  • Discrete-event systems have gained a lot of interest due to their wide range ... unified description for stochastic discrete-event systems. The aim is to use this description...
  • GIDDES

  • Referenced in 2 articles [sw09527]
  • design, analysis and control of discrete-event systems. Written entirely in Java, GIDDES exists ... graphical front-end for other discrete-event system software tools. These tools can be incorporated...
  • PMaude

  • Referenced in 29 articles [sw08422]
  • language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both ... provide tool support for performing discrete-event simulations of models written in PMaude ... samples that are generated through discrete-event simulation. Because distributed and concurrent communication protocols ... quantified) non-determinism in a probabilistic system is necessary for a form of statistical analysis...
  • MASON

  • Referenced in 20 articles [sw28011]
  • MASON is a fast, easily extensible, discrete-event multi-agent simulation toolkit in Java, designed ... This paper describes the MASON system, its motivation, and its basic architectural design. It then...
  • SMART_

  • Referenced in 33 articles [sw04097]
  • logic and probabilistic analysis of complex systems. Smart can combine different formalisms in the same ... Markov chain. In addition, discrete-event simulation is always applicable regardless of the stochastic nature...
  • MASCOT

  • Referenced in 12 articles [sw02959]
  • prototype for MASCOT, that uses the discrete-event simulation to help analysts to select among ... order to provide the performance constraints of system designs, MASCOT has been annotated...
  • CyPhySim

  • Referenced in 2 articles [sw20140]
  • simulator for cyber-physical systems. This simulator supports discrete-event models, quantized-state simulation ... simulation of continuous dynamics, modal models (hybrid systems), discrete-time (periodic) systems, and algebraic loop...
  • SensorDCSP

  • Referenced in 7 articles [sw30992]
  • arises in the context of networked distributed systems. In order to study the performance ... truly distributed setting, we use a discrete-event network simulator, which allows us to model ... related to various real-life dynamic tracking systems. We perform both analytical and empirical study...
  • SimEvents

  • Referenced in 3 articles [sw32835]
  • discrete-event simulation engine and component library for analyzing event-driven system models and optimizing...
  • HYPERS

  • Referenced in 4 articles [sw06392]
  • systems based on partial differential equations and particle techniques -- the self-adaptive discrete-event simulation...
  • NCSOS

  • Referenced in 1 article [sw03007]
  • Cetric Simulation Object System (NCSOS) is a prototype object-oriented, discrete-event simulation environment that ... Developed primarily for use as a manufacturing system simulation environment, simulation models in NCSOS incorporate...
  • SimLean

  • Referenced in 7 articles [sw06420]
  • implementation of lean in healthcare Discrete-event simulation (DES) and lean are approaches that have ... both approaches in the improvement of healthcare systems. Out of this exploration, the `SimLean’ approach...
  • DESP-C++

  • Referenced in 1 article [sw08126]
  • DESP-C++ is a C++ discrete-event random simulation engine that has been designed ... also illustrated this way, since the modelled systems are very different from each other...
  • JMT

  • Referenced in 2 articles [sw19186]
  • Java tools for performance evaluation of computer systems using queueing models. The suite offers ... state-of-the-art methodologies including discrete-event simulation, mean value analysis of product-form...
  • CQueue

  • Referenced in 0 articles [sw26063]
  • manufacturing systems. The paper discusses the scalability of the applied discrete-event simulation tool...
  • CD++

  • Referenced in 8 articles [sw00112]
  • CD++: a toolkit to develop DEVS models. The...