For the most recent entries see the
Petri Nets Newsletter
.
Keyword: labelled transition system
Meseguer, José
:
Rewriting as a Unified Model of Concurrency.
1990.
Finkel, A.
;
Johnen, C.
:
The Home State Problem in Transition Systems.
1989.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography