For the most recent entries see the
Petri Nets Newsletter.
Tiusanen, M.
-
Tiusanen, M.:
Symbolic, Symmetry, and Stubborn Set Searches.
1994.
-
Grönberg, Peter;
Tiusanen, Mikko;
Varpaaniemi, Kimmo:
PROD - A Pr/T-Net Reachability Analysis Tool.
1993.
-
Tiusanen, Mikko:
Some Unsolved Problems in Modelling Self-Timed Circuits Using Petri Nets.
1988.
-
Tiusanen, M.:
Some Unsolved Problems in Modelling Self-timed Circuits Using Petri Nets.
1988.
-
Tiusanen, M.:
Specification of a Net Description Language Compiler.
1987.
-
Tiusanen, M.;
Valmari, A.:
Graph Model for Efficient Reachability Analysis of Description Languages.
1986.
-
Kujansuu, R.;
Lindqvist, M.;
Ojala, L.;
Tiusanen, M.:
Petri Net Based Analysis Environment Supporting Software Production.
1985.
-
Kuussaari, J.;
Saukkonen, S.;
Kujansuu, R.;
Lindqvist, M.;
Tiusanen, M.:
A Design Support System for Concurrent Programs.
1985.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The link to the author's homepage is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography