Ahmad, Zaheer, F Ahmad, and Mudasser Naseer. “TOWARDS Z SPECIFICATION OF PLACE TRANSITION NETS”. VFAST Transactions on Software Engineering 3, no. 1 (May 15, 2015): 13–17. Accessed April 24, 2026. https://vfast.org/journals/index.php/VTSE/article/view/328.