Ahmad Z, Ahmad F, Naseer M. TOWARDS Z SPECIFICATION OF PLACE TRANSITION NETS. VFAST trans. softw. eng. [Internet]. 2015 May 15 [cited 2026 Apr. 24];3(1):13-7. Available from: https://vfast.org/journals/index.php/VTSE/article/view/328