For the most recent entries see the
Petri Nets Newsletter
Computer aided verification of Lamport's fast mutual exclusion algorithm using colored Petri nets and occurrence graphs with symmetries.
Finding symmetries of algebraic system nets.
Condensed State Spaces for Symmetrical Coloured Petri Nets.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography