For the most recent entries see the
Petri Nets Newsletter.
Kujansuu, R.
-
Kujansuu, R.;
Lindqvist, M.;
Ojala, L.;
Tiusanen, M.:
Petri Net Based Analysis Environment Supporting Software Production.
1985.
-
Kujansuu, R.;
Lindqvist, M.;
Ojala, L.;
Tuominen, H.:
Tools for Verifying Specifications.
1985.
-
Kuussaari, J.;
Saukkonen, S.;
Kujansuu, R.;
Lindqvist, M.;
Tiusanen, M.:
A Design Support System for Concurrent Programs.
1985.
-
Antilla, M.;
Eriksson, H.;
Ikonen, J.;
Kujansuu, R.;
Ojala, L.;
Tuominen, H.:
Tools and Studies of Formal Techniques --- Petri Nets and Temporal Logic.
1983.
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