For the most recent entries see the
Petri Nets Newsletter.
Tuominen, H.
-
Tuominen, Heikki:
Proving Properties of Place/Transition-Nets with a Resolution Theorem Prover.
1991.
-
Tuominen, Heikki:
Elementary Net Systems and Dynamic Logic.
1990.
-
Tuominen, H.:
Logic in Petri Net Analysis.
1988.
-
Kujansuu, R.;
Lindqvist, M.;
Ojala, L.;
Tuominen, H.:
Tools for Verifying Specifications.
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.
The author's address is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography