Ahmad, Z.; Ahmad, F.; Naseer, M. TOWARDS Z SPECIFICATION OF PLACE TRANSITION NETS. VFAST trans. softw. eng. 2015, 3, 13-17.