For the most recent entries see the
Petri Nets Newsletter
.
Keyword: algebraic petri nets
Peuker, Sibylle
:
Concurrency Based Transition Refinement for the Verification of Distributed Algorithms.
2003.
Aoumeur, N.
;
Saake, G.
:
Towards an object Petri net model for specifying and validating distributed information systems.
1999.
Kindler, E.
;
Völzer, H.
:
Flexibility in Algebraic Nets.
1998.
Kindler, E.
;
Reisig, W.
:
Verification of distributed algorithms with algebraic Petri nets.
1997.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography