Translation of UML Models to Object Coloured Petri Nets with a view to Analysis.

Asghar Bokhari, W. F. Skip Poehlman

Browse the full SEKE paper archive.