• SPNP

  • Referenced in 49 articles [sw07933]
  • SPNP: Stochastic Petri Nets. The Stochastic Petri Net Package (SPNP) [2] is a versatile modeling ... tool for solution of Stochastic Petri Net (SPN) models. The SPN models are described...
  • GreatSPN

  • Referenced in 57 articles [sw00384]
  • evaluation of distributed systems using Generalized Stochastic Petri Nets and their colored extension: Stochastic Well...
  • GreatSPN 1.7

  • Referenced in 41 articles [sw01562]
  • 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...
  • SHARPE

  • Referenced in 43 articles [sw03100]
  • semi-Markov reward models as well stochastic Petri nets. Steady-state, transient and interval measures...
  • TimeNET

  • Referenced in 32 articles [sw00965]
  • modeling and evaluation of stochastic Petri nets with non-exponentially distributed firing times. TimeNET...
  • ESP

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

  • Referenced in 15 articles [sw07931]
  • computer systems with deterministic and stochastic Petri nets (DSPNs).DSPNexpress has a user-friendly graphical...
  • PROD

  • Referenced in 10 articles [sw03154]
  • GreatSPN tool for Generalized stochastic Petri nets (GSPN) and Stochastic well-formed nets (SWN) solution ... GSPN and SWN nets in GreatSPN format into high level Petri nets that...
  • MARCIE

  • Referenced in 8 articles [sw12882]
  • tool for the analysis of generalized stochastic Petri nets which can be augmented by rewards...
  • PIPE2

  • Referenced in 5 articles [sw22707]
  • performance evaluation of generalised stochastic Petri Nets. This paper presents an overview of Platform-Independent ... Petri Net Editor 2 (PIPE2 ), an open-source tool that supports ... design and analysis of Generalised Stochastic Petri Net (GSPN) models. PIPE2 ’s extensible design enables...
  • PetriNets

  • Referenced in 9 articles [sw04380]
  • graphical and mathematical modeling tool. Petri nets are a promising tool for describing and studying ... being concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic...
  • COSMOS

  • Referenced in 6 articles [sw13329]
  • described in terms of a Generalized Stochastic Petri Net), an LHA and an expression...
  • SPNica

  • Referenced in 3 articles [sw14799]
  • Markov regenerative stochastic Petri nets with general execution policies: Supplementary variable analysis and a prototype ... tool. Stochastic Petri Nets (SPNs) with general firing time distributions are considered. Generally timed transitions...
  • WebSPN

  • Referenced in 2 articles [sw14798]
  • based non-Markovian stochastic Petri net tool. This paper describes a new modeling tool ... anaysis of non-Markovian Stochastic Petri Nets (SPN). This tool, called Web-SPN, provides ... discrete time approximation of the stochastic behavior of the marking process which results...
  • PDETool

  • Referenced in 2 articles [sw00694]
  • applications. SDES is a unified description for stochastic discrete-event systems ... extensions of Petri nets, such as stochastic Petri nets (SPNs), stochastic reward nets (SRNs...
  • sbioPN

  • Referenced in 6 articles [sw11725]
  • deterministic and stochastic spatial biochemical reaction networks using Petri Nets. sbioPN is a package suited ... perform simulation of deterministic and stochastic systems of biochemical reaction networks with spatial effects. Models ... defined using a subset of Petri Nets, in a way that is close ... Kutta Dormand Prince 45 explicit algorithm. For stochastic solutions, sbioPN offers two variants of Gillespie...
  • SPN2MGM

  • Referenced in 1 article [sw30207]
  • SPN2MGM: tool support for matrix-geometric stochastic Petri nets. In this paper we present ... used to construct and solve stochastic Petri nets using matrix-geometric techniques. The tool automatically ... Markov chain underlying the stochastic Petri net, and solves the Markov chain with these well ... informally characterize the class of stochastic Petri nets of interest (a formal definition has been...
  • OpenMADS

  • Referenced in 2 articles [sw21644]
  • automatically translated into deterministic and stochastic Petri nets. The integrated use of analytic models...
  • Oris

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

  • Referenced in 1 article [sw18432]
  • systems modelled by Petri nets. RDPS computes the invariants of the net, generates the reachability ... performance or dependability parameters using stochastic Petri net theory...