Towards a Formal Foundation for DeMarco Data Flow Diagrams
T.H. Tse · The Computer Journal · 1989
In this paper, we describe a proposal for formalising data flow diagrams through extended Petri nets. We illustrate the usefulness of the approach by describing how it can be used to analyse the consistency of requirements specifications.