Marouane Kessentini Arbi Bouchoucha Houari A. Sahraoui Mounir Boukadoum Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search. 156-172 2010 ECMFA http://dx.doi.org/10.1007/978-3-642-13595-8_14 conf/ecmdafa/2010 db/conf/ecmdafa/ecmfa2010.html#KessentiniBSB10