K.-S. Cheung and P. K.-O. Chow, “A Petri-Net Approach to Refining Object Behavioural Specifications”, Informatica, vol. 33, no. 2, Accessed: Aug. 22, 2026. [Online]. Available: https://www.informatica.si/index.php/informatica/article/view/240