For the most recent entries see the
Petri Nets Newsletter.
Keyword: transition system
-
Autant, C.;
Belmesk, Z.;
Schnoebelen, Ph.:
Strong Bisimilarity on Nets Revisited.
1991.
-
Rozoy, Brigitte:
Distributed Languages, a Context Dependent Extension of Traces.
1991.
-
Corradini, A.;
Ferrari, G.L.;
Montanari, U.:
Transition Systems with Algebraic Structure as Models of Computations.
1990.
-
Lodaya, Kamal;
Mukund, Madhavan;
Ramanujam, R.;
Thiagarajan, P.S.:
Models and Logics for True Concurrency.
1990.
-
Genrich, Hartmann J.;
Thiagarajan, Pazhamaneri S.;
Voss, Klaus:
First-Order Net Systems.
1990.
-
Goltz, Ursula:
Considering Nets as Distributed Transition Systems.
1985.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography