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] |