Z. Ahmad, F. Ahmad, and M. Naseer, “TOWARDS Z SPECIFICATION OF PLACE TRANSITION NETS”, VFAST trans. softw. eng., vol. 3, no. 1, pp. 13–17, May 2015.