Validation of Information Systems Using Petri Nets. - Asghar Bokhari; W. F. Skip Poehlman (ICEIS (3), 2006)

Translation of UML Models to Object Coloured Petri Nets with a view to Analysis. - Asghar Bokhari; W. F. Skip Poehlman (SEKE, 2006)