• GreatSPN 1.7

  • Referenced in 41 articles [sw01562]
  • graphical editor and analyzer for timed and stochastic Petri nets. This paper describes the GreatSPN ... evaluation of distributed systems using Generalized Stochastic Petri Nets and their colored extension. The tool ... provides a friendly framework to experiment with timed Petri net based modeling techniques. It implements...
  • TimeNET

  • Referenced in 29 articles [sw00965]
  • evaluation of stochastic Petri nets with non-exponentially distributed firing times. TimeNET has been developed...
  • GreatSPN

  • Referenced in 57 articles [sw00384]
  • Stochastic Well-formed Nets. The tool provides a friendly framework to experiment with timed Petri...
  • ESP

  • Referenced in 16 articles [sw14787]
  • evaluation of stochastic Petri nets with phase-type distributed transition times...
  • Oris

  • Referenced in 2 articles [sw07669]
  • preemptive Time Petri Nets, which enable schedulability analysis of real-time systems running ... under priority preemptive scheduling; and stochastic Time Petri Nets, which enable an integrated approach...
  • DSPNexpress

  • Referenced in 15 articles [sw07931]
  • computer systems with deterministic and stochastic Petri nets (DSPNs).DSPNexpress has a user-friendly graphical ... with four orders of magnitude less CPU time than other packages previously introduced...
  • SPNica

  • Referenced in 3 articles [sw14799]
  • prototype tool. Stochastic Petri Nets (SPNs) with general firing time distributions are considered. Generally timed...
  • pntool

  • Referenced in 2 articles [sw21085]
  • five types of Petri nets (untimed, transition-timed, place-timed, stochastic and generalized stochastic), with ... coverability tree, structural properties (including invariants), time-dependent performance indices, max-plus state-space representations ... instruments to explore the dynamics of Petri net models, as well as animation facilities...
  • WebSPN

  • Referenced in 2 articles [sw14798]
  • Markovian Stochastic Petri Nets (SPN). This tool, called Web-SPN, provides a discrete time approximation...
  • HYPENS

  • Referenced in 4 articles [sw00422]
  • source tool to simulate timed discrete, continuous and hybrid Petri nets. It has been developed ... defined in Matlab, such as optimization routines, stochastic functions, matrices and arrays, etc. The tool...
  • BioSimulator.jl

  • Referenced in 2 articles [sw28296]
  • Stochastic simulation algorithms are useful in generating time-evolution trajectories for these systems because they ... Gillespie algorithm, τ-leaping, and related stochastic simulation algorithms. The objective of this work ... software package implements a suite of stochastic simulation algorithms based on Markov chain theory ... over time, and (c) generate frequency distributions of each species at a specified time. BioSimulator.jl...
  • COSMOS

  • Referenced in 5 articles [sw13329]
  • Deterministic Timed Automata (DTA), to describe relevant execution paths of a Discrete Event Stochastic Process ... DESP), a class of stochastic models which includes, but is not limited to, Markov chains ... described in terms of a Generalized Stochastic Petri Net), an LHA and an expression...
  • ArgoSPE

  • Referenced in 1 article [sw02016]
  • ArgoSPE: Model-based software performance engineering Stochastic Petri nets (SPNs) have been proved useful ... Profile for Schedulability, Performance and Time specification...
  • Delivery

  • Referenced in 1 article [sw34728]
  • information taken from log analysis and layer times initialised from picks. We allow for uncertainty ... captured by the generation of multiple stochastic models from the Bayesian posterior (using Markov Chain ... horizons. Post-inversion analysis of the inverted stochastic models then facilitates the answering of commercially ... uncertainty, and the distribution of net sand. Delivery is written in java, and thus platform...
  • Coq

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

  • Referenced in 2948 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Maple

  • Referenced in 5168 articles [sw00545]
  • The result of over 30 years of cutting...
  • MARCA

  • Referenced in 31 articles [sw00547]
  • MARCA: Markov chain analyzer, a software package for...
  • Mathematica

  • Referenced in 6041 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12477 articles [sw00558]
  • MATLAB® is a high-level language and interactive...