In: Computer Journal, London, Vol. 32, No. 1, pages 1-12. 1989.
Abstract: The paper describes a proposal for formalising data flow diagrams through extended Petri nets. The authors illustrate the usefulness of the approach by describing how it can be used to analyse the consistency of requirements specifications.