For the most recent entries see the
Petri Nets Newsletter.
Keyword: distributed algorithms
Haverkort, Boudewijn R.:
Distributed disk-based algorithms for model checking very large Markov chains.
Concurrency Based Transition Refinement for the Verification of Distributed Algorithms.
Modular Reachability Analysis for Time Petri Nets with Guarded Transitions.
Distributed state-space generation of discrete-state stochastic models.
Verifying fault tolerance of distributed algorithms formally - an example.
How distributed algorithms play the token game.
Verification of distributed algorithms with algebraic Petri nets.
Automated parallelization of discrete state-space generation.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography