K.-S. Cheung and P. K.-O. Chow, “A Petri-Net Approach to Refining Object Behavioural Specifications”, IJCAI, vol. 33, no. 2.