For the most recent entries see the
Petri Nets Newsletter.
Keyword: unix
-
Bordegoni, M.;
Cugini, U.;
Motta, M.;
Rizzi, C.:
An Environment for User Interface Development Based on the ATN and Petri Nets Notations.
1991.
-
Couvillion, Joseph A.;
Freire, Roberto;
Johnson, Ron;
Obal, W. Douglas;
Qureshi, M. Akber;
Rai, Manish;
Sanders, William H.;
Tvedt, Janet E.:
Performability Modeling with UltraSAN.
1991.
-
Eggert, H.;
Korczynski, W.:
A Formal Protocol Specification with Predicate/Transition Nets.
1990.
-
Ahrens, K.;
Fischer, J.;
Holtz, E.;
Schieferdecker, I.:
Eine SDL-Maschine für Entwurf und Analyse von Spezifikationen verteilter Systeme.
1990.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography