For the most recent entries see the
Petri Nets Newsletter
Keyword: algebraic petri nets
Concurrency Based Transition Refinement for the Verification of Distributed Algorithms.
Towards an object Petri net model for specifying and validating distributed information systems.
Flexibility in Algebraic Nets.
Verification of distributed algorithms with algebraic Petri nets.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography