
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...

PROD
 Referenced in 10 articles
[sw03154]
 GreatSPN tool for Generalized stochastic Petri nets (GSPN) and Stochastic wellformed nets (SWN) solution...

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

COSMOS
 Referenced in 5 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...

TimeNET
 Referenced in 29 articles
[sw00965]
 modeling and evaluation of stochastic Petri nets with nonexponentially distributed firing times. TimeNET ... based on recent research results. Both the general structure and the underlying algorithms of TimeNET...

pntool
 Referenced in 2 articles
[sw21085]
 types of Petri nets (untimed, transitiontimed, placetimed, stochastic and generalized stochastic), with finite ... instruments to explore the dynamics of Petri net models, as well as animation facilities...

WebSPN
 Referenced in 2 articles
[sw14798]
 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 ... with prd, prs and pri concurrently enabled generally distributed transitions. An example is used...

Coq
 Referenced in 1835 articles
[sw00161]
 Coq is a formal proof management system. It...

GAP
 Referenced in 2974 articles
[sw00320]
 GAP is a system for computational discrete algebra...

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

Mathematica
 Referenced in 6090 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12640 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 547 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

R
 Referenced in 8836 articles
[sw00771]
 R is a language and environment for statistical...

SageMath
 Referenced in 1743 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

SUNDIALS
 Referenced in 220 articles
[sw00927]
 SUNDIALS was implemented with the goal of providing...

SIMSCRIPT
 Referenced in 30 articles
[sw01081]
 SIMSCRIPT. A simulation programming language. SIMSCRIPT is a...

Meschach
 Referenced in 79 articles
[sw01112]
 Meschach: Matrix computations in C. Meschach is a...