| |
| 2004 | ||
|---|---|---|
| 4 | EE | Timo Latvala, Marko Mäkelä: LTL Model Checking for Modular Petri Nets. ICATPN 2004: 298-311 |
| 2003 | ||
| 3 | EE | Marko Mäkelä: Model Checking Safety Properties in Modular High-Level Nets. ICATPN 2003: 201-220 |
| 2002 | ||
| 2 | EE | Marko Mäkelä: Maria: Modular Reachability Analyser for Algebraic System Nets. ICATPN 2002: 434-444 |
| 2001 | ||
| 1 | EE | Marko Mäkelä: Optimising Enabling Tests and Unfoldings of Algebraic System Nets. ICATPN 2001: 283-302 |
| 1 | Timo Latvala | [4] |