Transformation from live sequence charts to colored Petri nets. - Binsan Khadka; Boleslaw Mikolajczak (SCSC, 2007)

Incorporating Object-Orientedness in Transformations from Live Sequence Charts to Colored Petri Nets. - Binsan Khadka; Boleslaw Mikolajczak (ITNG, 2008)