Optimising Enabling Tests and Unfoldings of Algebraic System Nets. - Marko Mäkelä (ICATPN, 2001)

Maria: Modular Reachability Analyser for Algebraic System Nets. - Marko Mäkelä (ICATPN, 2002)

Survey of Bundle Methods for Nonsmooth Optimization. - Marko Mäkelä (Optim. Methods Softw., 2002)

Model Checking Safety Properties in Modular High-Level Nets. - Marko Mäkelä (ICATPN, 2003)

LTL Model Checking for Modular Petri Nets. - Timo Latvala; Marko Mäkelä (ICATPN, 2004)