For the most recent entries see the
Petri Nets Newsletter
.
Keyword: structured transition system
Finkel, Alain
:
Reduction and Covering of Infinite Reachability Trees.
1990.
Montanari, Ugo
;
Yankelevich, Daniel N.
:
An Algebraic View of Interleaving and Distributed Operational Semantics.
1989.
Finkel, A.
:
Reduction and Covering of Infinite Reachability Trees.
1989.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography