For the most recent entries see the
Petri Nets Newsletter.
Arendt, F.
-
Arendt, F.;
Kluehe, B.:
Modelling and verification of real-time software using interpreted Petri nets.
1990.
-
Arendt, F.;
Kluehe, B.:
Zur Verifikation paralleler Softwaresysteme.
1990.
-
Arendt, F.;
Heltzig, H.F.;
Kluehe, B.:
Modelling and Verification of Real-time Software Using Petri Nets.
1987.
-
Klühe, A.;
Arendt, F.;
Heltzig, H.F.:
Ergebnisse der Verifikation der Mikrorechner-Kommunikations-Software (MKS) mit Petri Netzen.
1987.
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