
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 nonexponentially distributed firing times. TimeNET has been developed...

GreatSPN
 Referenced in 57 articles
[sw00384]
 Stochastic Wellformed Nets. The tool provides a friendly framework to experiment with timed Petri...

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

Oris
 Referenced in 2 articles
[sw07669]
 preemptive Time Petri Nets, which enable schedulability analysis of realtime 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 userfriendly 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, transitiontimed, placetimed, stochastic and generalized stochastic), with ... coverability tree, structural properties (including invariants), timedependent performance indices, maxplus statespace 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 WebSPN, 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 timeevolution 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: Modelbased 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. Postinversion 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 highlevel language and interactive...