For the most recent entries see the
Petri Nets Newsletter.
Tynjälä, T.
-
Tynjälä, Teemu;
Leppänen, Sari;
Luukkala, Vesa:
Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets.
2002.
-
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.
-
Husberg, Nisse;
Tynjälä, Teemu;
Varpaaniemi, Kimmo:
Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol.
2000.
-
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.
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