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