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