|The Computer Journal 32 (1): 1-12 (1989)|
T.H. Tse 2 and L. Pong 3
[free download from Oxford Journals]
We describe a proposal for formalizing 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.
Keywords: Data flow diagrams, Petri nets, structured analysis, structured design
|EVERY VISITOR COUNTS:|