Ahmad, Z., Ahmad, F., & Naseer, M. (2015). TOWARDS Z SPECIFICATION OF PLACE TRANSITION NETS. VFAST Transactions on Software Engineering, 3(1), 13–17. https://doi.org/10.21015/vtse.v6i2.328