Marc Solé Josep Carmona Process Mining from a Basis of State Regions. 226-245 2010 Petri Nets http://dx.doi.org/10.1007/978-3-642-13675-7_14 conf/apn/2010 db/conf/apn/pn2010.html#SoleC10