Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,594,367 papers from all fields of science
Search
Sign In
Create Free Account
Stochastic Petri net
Stochastic Petri nets are a form of Petri net where the transitions fire after a probabilistic delay determined by a random variable.
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Broader (1)
Concurrency (computer science)
Markov property
Petri net
Reachability
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Energy production and distribution Decision-making support for maintenance optimisation of natural gas compressor stations
J. Blondel
,
L. Marle
,
O. Mozar
,
A. A. F. Brissaud
2014
Corpus ID: 232793277
2006
2006
Research on Network Dependability Analysis Methods Based on Stochastic Petri Net
Chuang Lin
,
Yang Yang
2006
Corpus ID: 63899454
With people rely more on computer networks,the study on the dependability of networks is increasingly significant.First the paper…
Expand
2006
2006
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs
Kai Lampka
,
Markus Siegle
ValueTools
2006
Corpus ID: 10296153
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with…
Expand
1997
1997
WebSPN: Non-Markovian Stochastic Petri Net Tool
A. Bobbio
,
A. Puliafito
,
Marco Scarpa
,
M. Telek
1997
Corpus ID: 18806755
This paper describes a new modeling tool for the analysis of non-Markovian stochastic Petri nets (SPN) that relax some of the…
Expand
Review
1997
Review
1997
The Evolution of Stochastic Petri Nets
A. Puliafito
,
M. Telek
,
Kishor S. Trivedi
1997
Corpus ID: 27425795
Analytical modeling is a crucial part in the analysis and design of computer systems. Stochastic Petri Nets represent a powerful…
Expand
Review
1996
Review
1996
SPN2MGM: tool support for matrix-geometric stochastic Petri nets
B. Haverkort
Proceedings of IEEE International Computer…
1996
Corpus ID: 15021492
In this paper we present the tool SPN2MGM that can be used to construct and solve stochastic Petri nets using matrix-geometric…
Expand
1994
1994
Dependability Modeling and Analysis of Distributed Programs
N. Lopez-Benitez
IEEE Trans. Software Eng.
1994
Corpus ID: 42308198
Presents a modeling approach based on stochastic Petri nets to estimate the reliability and availability of programs in a…
Expand
1993
1993
A moment generating function based approach for evaluating extended stochastic Petri Nets
D. Guo
,
F. DiCesare
,
Mengchu Zhou
IEEE Transactions on Automatic Control
1993
Corpus ID: 120963373
A moment-generating-function (MGF)-based approach for performance analysis of extended stochastic Petri nets (ESPNs) is presented…
Expand
1991
1991
Applying generalized stochastic Petri nets to manufacturing systems containing nonexponential transition functions
J. R. Watson
,
A. Desrochers
Proceedings. IEEE International Conference on…
1991
Corpus ID: 23651765
Although generalized stochastic Petri nets (GSPNs) are restricted to only immediate and exponential transitions, they are used…
Expand
Review
1985
Review
1985
The Design of a Unified Package for the Solution of Stochastic Petri Net Models
J. Dugan
,
A. Bobbio
,
G. Ciardo
,
Kishor S. Trivedi
Petri Nets and Performance Models
1985
Corpus ID: 39586994
Abstract : This paper describes the philosophical differences between three current Stochastic Petri Net models in an attempt to…
Expand