AWK simulation of Petri nets for signalling protocol validation - Blašković, Bruno, inženjer elektrotehnike (Array, 1994)