(untitled) (Informatica)
A Petri-Net Approach to Refining Object Behavioural Specifications