Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets. - Pierre Azéma; G. Juandle; E. Sanchis; M. Montbernard (ICSE, 1984)