Anne Rozinat R. S. Mans Minseok Song Wil M. P. van der Aalst Discovering colored Petri nets from event logs. 57-74 2008 10 STTT 1 http://dx.doi.org/10.1007/s10009-007-0051-0 db/journals/sttt/sttt10.html#RozinatMSA08