Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol. - Nisse Husberg; Teemu Tynjälä; Kimmo Varpaaniemi (ICATPN, 2000)

Threshold-Based Registration (TBR) in Mobile IPv6. - Linfeng Yang; Jouni Karvo; Teemu Tynjälä; Hannu H. Kari (Mobile and Wireless Communication Networks, 2000)

Modeling Feynman's quantum computer using stochastic high level Petri nets. - Leo Ojala; Elina Parviainen; Olli-Matti Penttinen; Harriett Beaver; Teemu Tynjälä (SMC, 2001)

Modelling and analysing a distributed dynamic channel allocation algorithm for mobile computing using high-level net methods. - Leo Ojala; Nisse Husberg; Teemu Tynjälä (Int. J. Softw. Tools Technol. Transf., 2001)

Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets. - Teemu Tynjälä; Sari Leppänen; Vesa Luukkala (FORTE, 2002)

Modeling Feynman's Serial Quantum Computer Using Stochastic Petri Nets. - Leo Ojala; Elina Parviainen; Olli-Matti Penttinen; Teemu Tynjälä; Harriett Beaver (PDPTA, 2002)

Modeling the SpaceWire Architecture with Lyra. - Jukka Honkola; Sari Leppänen; Teemu Tynjälä (ACSD, 2005)

Supporting Demand Supply Network Optimization with Petri Nets. - Teemu Tynjälä (Int. J. Intell. Inf. Technol., 2007)

Business model transformation as an explanation of dramatic demand-supply change events. - Hannu Tuomisaari; Timo R. Nyberg; Jesse Karjalainen; Matti Makelin; Jin Ou; Hongze Ma; Gang Xiong 001; Teemu Tynjälä (SOLI, 2012)

Validation in Supply Chain Decision Support Systems. - Teemu Tynjälä (Int. J. Inf. Syst. Supply Chain Manag., 2012)