For the most recent entries see the
Petri Nets Newsletter.
Knottenbelt, W.J.
-
Bradley, Jeremy T.;
Dingle, Nicholas J.;
Harrison, Peter G.;
Knottenbelt, William J.:
Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic.
2003.
-
Dingle, Nicholas J.;
Harrison, Peter G.;
Knottenbelt, William J.:
Response time densities in generalised stochastic petri net models.
2002.
-
Davies, Ian;
Knottenbelt, William J.;
Kritzinger, Pieter S. Kritzinger:
Symbolic Methods for the State Space Exploration of GSPN Models.
2002.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography