
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]
 semiMarkov reward models as well stochastic Petri nets. Steadystate, transient and interval measures...

TimeNET
 Referenced in 32 articles
[sw00965]
 modeling and evaluation of stochastic Petri nets with nonexponentially distributed firing times. TimeNET...

ESP
 Referenced in 16 articles
[sw14787]
 package for the evaluation of stochastic Petri nets with phasetype distributed transition times...

DSPNexpress
 Referenced in 15 articles
[sw07931]
 computer systems with deterministic and stochastic Petri nets (DSPNs).DSPNexpress has a userfriendly graphical...

PROD
 Referenced in 10 articles
[sw03154]
 GreatSPN tool for Generalized stochastic Petri nets (GSPN) and Stochastic wellformed 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 PlatformIndependent ... Petri Net Editor 2 (PIPE2 ), an opensource 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 nonMarkovian stochastic Petri net tool. This paper describes a new modeling tool ... anaysis of nonMarkovian Stochastic Petri Nets (SPN). This tool, called WebSPN, 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 discreteevent 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 matrixgeometric stochastic Petri nets. In this paper we present ... used to construct and solve stochastic Petri nets using matrixgeometric 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 realtime ... 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...