Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets

@inproceedings{Azema-al:ICSE84,
  author    = {Pierre Az{\'{e}}ma and
               G. Juandle and
               E. Sanchis and
               M. Montbernard},
  title     = {Specification and Verification of Distributed Systems Using {PROLOG} Interpreded Petri Nets},
  booktitle = {ICSE},
  pages     = {510--519},
  publisher = {{IEEE} Computer Society},
  year      = {1984},
}