For the most recent entries see the
Petri Nets Newsletter.
Ojala, L.
-
Ojala, Leo;
Penttinen, Olli-Matti;
Parviainen, Elina:
Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods.
2004.
-
Ojala, Leo;
Parvianinem, Elina;
Penttinen, Olli-Matti;
Tynjala, Teemu;
Beaver, Harriet:
Modeling Feynman's Serial Quantum Computer Using Stochastic Petri Nets.
2002.
-
Ojala, Leo;
Tynjälä, Teemu;
Beaver, Harriet:
Modeling Serial Quantum Processors using Petri Nets.
2001.
-
Ojala, L.;
Husberg, N.;
Tynjälä, T.:
Modelling and Analysing a Distributed Dynamic Channel Allocation Algorithm for Mobile Computing Using High-Level Net Methods.
2000.
-
Ojala, L.;
Husberg, N.;
Blom, S.:
Modeling a distributed dynamic channel allocation algorithm for mobile computing using predicate/transition nets.
1999.
-
Penttinen, O.-M.;
Pyssysalo, T.;
Ojala, L.:
Performance analysis of adaptive video on demand using stochastic Petri nets.
1997.
-
Ojala, Leo;
Lilius, Johan:
Development of Reachability Analysis Tools at Helsinki University of Technology.
1994.
-
Halkola, Tapio;
Johansson, Kaj;
Ojala, Leo:
Net-Theoretical Methods in Modelling Byzantine Consensus Protocol in Agreement Problems.
1990.
-
Johansson, K.;
Halkola, T.;
Ojala, L.:
Modelling Solutions for Agreement Problems in Fault-Tolerant Distributed Systems Using Predicate/Transition Nets.
1989.
-
Halkola, T.;
Johansson, K.;
Ojala, L.:
Net-Theoretical Methods in Modelling by Byzantine Consensus Protocols in Agreement Problems.
1988.
-
Husberg, N.;
Ojala, L.:
Petri Nets in Algebraic Theories: A Category Theory Approach.
1988.
-
Montonen, Esa;
Ojala, Leo;
Tuuliniemi, Timo:
A PrT-Net Representation of Graph Grammars.
1987.
-
Halkola, Tapio;
Johansson, Kaj;
Ojala, Leo:
Modelling Oral Message Solution Protocols for Agreement Problems in Fault-Tolerant Distributed Systems Using Predicate/Transition Nets.
1987.
-
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.
-
Montonen, E.;
Ojala, L.;
Tuuliniemi, T.:
Net Representation for Take-Grant Protection Model.
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