For the most recent entries see the
Petri Nets Newsletter
.
Keyword: occurrence graphs
Jorgensen, J.B.
;
Kristensen, L.M.
:
Computer aided verification of Lamport's fast mutual exclusion algorithm using colored Petri nets and occurrence graphs with symmetries.
1999.
Nigro, Libero
;
Pupo, Francesco
:
Using Design/CPN for the Schedulability Analysis of Actor Systems with Timing Constraints.
1998.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography