The Semantics of Data Flow DiagramsP

In this article we provide insight as to how semantics can be attached to Data Flow diagrams. We rst present a method for transforming a Data Flow Diagram(DFD) to a Petri-Net (PT-net) which speciies the synchronization aspects of a DFD. Secondly, we sketch how a Data Flow diagram may be transformed to expressions whose semantics are described in terms of nite automata.