For the most recent entries see the
Petri Nets Newsletter.
Bell, A.
-
Bell, Alexander;
Haverkort, Boudewijn R.:
Distributed disk-based algorithms for model checking very large Markov chains.
2006.
-
Bell, Alexander;
Haverkort, Boudewijn R.:
Sequential and distributed model checking of Petri nets.
2005.
-
Bell, Alexander;
Haverkort, Boudewijn R.:
Serial and Parallel Out-of-Core Solution of Linear Systems Arising from Generalised Stochastic Petri Nets.
2001.
-
Haverkort, B.R.;
Bell, A.;
Bohnenkamp, H.C.:
On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets.
1999.
-
Haverkort, Boudewijn R.;
Bohnenkamp, Henrik;
Bell, Alexander:
Effiency Improvements in the Evaluation of Large Stochastic Petri Nets.
1998.
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