For the most recent entries see the
Petri Nets Newsletter.
Keyword: distributed algorithms
-
Bell, Alexander;
Haverkort, Boudewijn R.:
Distributed disk-based algorithms for model checking very large Markov chains.
2006.
-
Peuker, Sibylle:
Concurrency Based Transition Refinement for the Verification of Distributed Algorithms.
2003.
-
Boel, Rene;
Jiroveanu, George:
Modular Reachability Analysis for Time Petri Nets with Guarded Transitions.
2003.
-
Ciardo, Gianfranco;
Gluckman, Joshua;
Nicol, David:
Distributed state-space generation of discrete-state stochastic models.
1998.
-
Völzer, H.:
Verifying fault tolerance of distributed algorithms formally - an example.
1998.
-
Desel, J.:
How distributed algorithms play the token game.
1997.
-
Kindler, E.;
Reisig, W.:
Verification of distributed algorithms with algebraic Petri nets.
1997.
-
Nicol, David;
Ciardo, Gianfranco:
Automated parallelization of discrete state-space generation.
1997.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography