For the most recent entries see the
Petri Nets Newsletter.
Keyword: stochastic process algebras
-
Tarasyuk, Igor V.:
Stochastic Petri box calculus with discrete time.
2007.
-
Buchholz, Peter;
Tarasyuk, Igor Valerievich:
Equivalences for stochastic Petri nets and stochastic process algebras.
2006.
-
Tarasyuk, Igor V.:
Iteration in discrete time stochastic Petri box calculus.
2006.
-
Tarasyuk, Igor Valerievich:
Discrete time stochastic Petri box calculus.
2005.
-
Buchholz, Peter;
Tarasyuk, Igor V.:
Net and algebraic approaches to probabilistic modeling.
2001.
-
Hermanns, H.;
Katoen, J.-P.;
Meyer-Kayser, J.;
Siegle, M.:
Towards model checking stochastic process algebra.
2000.
-
Mitton, P.;
Holton, R.:
PEPA performability modeling using UML statecharts.
2000.
-
Franceschinis, G.;
Ribaudo, M.:
Efficient Performance Analysis Techniques for Stochastic Well-formed Nets and Stochastic Process Algebras.
1998.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography