. A Petri-Net Approach to Refining Object Behavioural Specifications. Informatica. 33, 2 ().