For the most recent entries see the
Petri Nets Newsletter
.
Keyword: reachability graphs
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.
Juan, E.Y.T.
;
Tsai, J.J.P.
;
Murata, Tadao
:
Compositional verification of concurrent systems using Petri net based condensation rules.
1998.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography