Interpreted petri nets as a validation tool for telecommunication service protocol synthesis - Blašković, Bruno, inženjer elektrotehnike (Array, 1993)
Conference on Telecommunications ConTEL 93: Trans-European Telecommunications and Croatia, Zagreb, June 10-11, 1993.