• SECUSIM

  • Referenced in 3 articles [sw01404]
  • Structure / Model Base) framework, DEVS (Discrete Event System Specification) formalism, and experimental frame. SECUSIM...
  • PMaude

  • Referenced in 31 articles [sw08422]
  • rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based ... 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 ... writing specifications in a probabilistic actor formalism. This allows us to easily write specifications that...
  • MoDeST

  • Referenced in 32 articles [sw01544]
  • MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs ... exception handling - with means to describe complex systems in a compositional manner. In addition, MoDeST ... influenced by popular and user-friendly specification languages such as Promela, and deals with compositionality...
  • multiPDEVS

  • Referenced in 1 article [sw30698]
  • multiPDEVS: a parallel multicomponent system specification formalism. Based on multiDEVS formalism, we introduce multiPDEVS ... parallel and nonmodular formalism for discrete event system specification. This formalism provides combined advantages...
  • DEVS-Ruby

  • Referenced in 1 article [sw30697]
  • This paper introduces a new Discrete EVent system Specification (DEVS) modeling and simulation library implemented...
  • PythonDEVS

  • Referenced in 1 article [sw14982]
  • classical hierarchical DEVS. DEVS, the Discrete EVent System Specification. PythonDEVS was developed as a lightweight...
  • STCT

  • Referenced in 9 articles [sw02293]
  • approach for the supervisory control of discrete-event systems (DES). Our algorithm, named S(mart ... modular composition of the plant and specification in DES, and its embodiment in integer decision...
  • Gadara

  • Referenced in 1 article [sw09940]
  • from supervisory control of discrete event systems, where the specification captures the avoidance of certain...
  • ARENA

  • Referenced in 9 articles [sw08788]
  • Arena is a discrete event simulation and automation software developed by Systems Modeling and acquired ... flow of entities. While modules have specific actions relative to entities, flow, and timing...
  • MultiVeStA

  • Referenced in 6 articles [sw08424]
  • Discrete Event Simulators. The modeling, analysis and performance evaluation of large-scale systems are difficult ... considered systems, an approach typically followed by engineers consists in performing simulations of systems models ... languages (typically logics) are used to express systems properties of interest. Such properties can then ... easily integrated with existing discrete event simulators, enriching them with efficient distributed statistical analysis...
  • pntool

  • Referenced in 2 articles [sw21085]
  • handle the basic problems of discrete event dynamical systems that are modeled by Petri nets ... accompanied or not by animation) and running specific functions that cover the key topics...
  • VeriSIMPL

  • Referenced in 4 articles [sw14598]
  • Linear (MPL) systems, a class of discrete-event systems employed to characterize the dynamics ... events. Abstractions of MPL systems are derived as finite-state transition systems. A transition system ... transition system to each partitioning region. Relations among the states of the transition system ... system. The approach enables the study of general properties of the original MPL system formalized...
  • SpiSeMe

  • Referenced in 1 article [sw35810]
  • Among the complex data produced by nonlinear systems, spike trains are a class of sequences ... developed for continuous signals. Although algorithms to specifically generate surrogate spike trains exist, the availability ... generally out of any sequence of discrete events. The purpose of the package...
  • ACL2

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • CD++

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

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAUSS

  • Referenced in 119 articles [sw00322]
  • The GAUSS Mathematical and Statistical System is a...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LANCELOT

  • Referenced in 306 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...