Towards a Formal Foundation for DeMarco Data Flow Diagrams

Open Access
Publisher Website
Google Scholar
Abstract
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.