Ahmad, Zaheer, F Ahmad, and Mudasser Naseer. 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.