• UMDES

  • Referenced in 346 articles [sw09523]
  • routines written for the study of discrete event systems modeled by finite-state automata ... Michigan for failure diagnosis of discrete event systems. The book ”Introduction to Discrete Event Systems ... introduction to modeling of discrete event systems by FSA’s, manipulation of FSA models ... theory of supervisory control of discrete event systems...
  • MoDeST

  • Referenced in 30 articles [sw01544]
  • MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs...
  • 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...
  • Supremica

  • Referenced in 12 articles [sw18546]
  • verification, synthesis and simulation of discrete event systems. An integrated environment, Supremica, for verification, synthesis ... simulation of discrete event systems is presented. The basic model in Supremica is finite automata...
  • Ymer

  • Referenced in 15 articles [sw09468]
  • verifying probabilistic transient properties of stochastic discrete event systems. Ymer implements both statistical and numerical...
  • libFAUDES

  • Referenced in 8 articles [sw16433]
  • libFAUDES: Software library for discrete event systems. The discrete event systems library libFAUDES implements data ... methods for the control of discrete event systems, and (b) effective advertisement of such methods...
  • STCT

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

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

  • Referenced in 4 articles [sw01223]
  • tool for education and control of discrete event systems The authors report on a software ... first tools (jointly named Desco, for Discrete Event Systems COntroller), consisting...
  • TC-HAT

  • Referenced in 20 articles [sw13068]
  • interrupted by discrete-in-time events, often referred to as hybrid dynamical systems. Boundary-value...
  • VeriSIMPL

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

  • Referenced in 24 articles [sw32274]
  • systems involving both continuous and discrete phenomena. A general ization of the definition of ”event ... next-event fashion while permit ting a step-wise evaluation of system state variables described ... handle the details of state and event control (including state- variable integration when necessary), information ... retrieval, collection and analysis of data on system performance, and generation of reports and plots...
  • SimJava

  • Referenced in 11 articles [sw07982]
  • Simjava: a discrete event simulation package for Java. simjava is a toolkit for building working ... models of complex systems. It is based around a discrete event simulation kernel and includes...
  • ERS

  • Referenced in 2 articles [sw12048]
  • tool set for performance evaluation of discrete event systems. ERS contains tools for: creating graphical ... representations of some discrete event systems: Petri Nets (snapshot), Task Graphs, Heaps of Pieces (snapshot...
  • SECUSIM

  • Referenced in 3 articles [sw01404]
  • Entity Structure / Model Base) framework, DEVS (Discrete Event System Specification) formalism, and experimental frame. SECUSIM...
  • 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...
  • pntool

  • Referenced in 2 articles [sw21085]
  • Petri net toolbox -- teaching discrete event systems under MATLAB. A MATLAB toolbox has been developed ... handle the basic problems of discrete event dynamical systems that are modeled by Petri nets...
  • SMACS

  • Referenced in 2 articles [sw06144]
  • Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation. We propose ... with partial observation of infinite state discrete event systems modelled by Symbolic Transition Systems...
  • StochKit2

  • Referenced in 9 articles [sw14081]
  • StochKit2: software for discrete stochastic simulation of biochemical systems with events. Summary: StochKit2...