For the most recent entries see the
Petri Nets Newsletter
Keyword: reachability graphs
On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets.
Compositional verification of concurrent systems using Petri net based condensation rules.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography