George M. Wyner Jintae Lee Applying Specialization to Petri Nets: Implications for Workflow Design. 432-443 2005 conf/bpm/2005w Business Process Management Workshops http://dx.doi.org/10.1007/11678564_40 db/conf/bpm/bpmw2005.html#WynerL05