Ahmad, Zaheer, et al. “TOWARDS Z SPECIFICATION OF PLACE TRANSITION NETS”. VFAST Transactions on Software Engineering, vol. 3, no. 1, May 2015, pp. 13-17, doi:10.21015/vtse.v6i2.328.