For the most recent entries see the
Petri Nets Newsletter
.
Keyword: algorithm verification
Kindler, E.
;
Reisig, W.
:
Verification of distributed algorithms with algebraic Petri nets.
1997.
Okawa, Y.
;
Yoneda, T.
:
Verification of schedulability of real-time systems with extended time Petri nets.
1995.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography