For the most recent entries see the
Petri Nets Newsletter.
Paech, B.
-
Gomm, D.;
Kindler, E.;
Paech, B.;
Walter, R.:
Compositional Liveness Properties of EN-Systems.
1993.
-
Desel, Jörg;
Gomm, Dominik;
Kindler, Ekkart;
Walter, Rolf;
Paech, Barbara:
Bausteine eines kompositionalen Beweiskalküls für netzmodellierte Systeme.
1992.
-
Paech, Barbara:
Concurrency as a Modality.
1991.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography