ACM SIGSOFT Software Engineering Notes 11 (5): 53-56 (1986)

An Application of Petri Nets in Structured Analysis 1

T.H. Tse 2 and L. Pong 3

[author-izer free download from ACM digital library]


We have applied Petri nets in the area of Structured Analysis by using it as a theoretical foundation for data flow diagrams. We have developed a specification language known as Formal Data Flow Diagrams (FDFD). The language preserves the comprehensibility of data flow diagrams and, at the same time, enables systems developers to analyze the consistency and completeness of requirements specifications.

1. The authors are grateful to R.K. Stamper of the London School of Economics, University of London for his invaluable comments and suggestions.
2. Department of Computer Science, The University of Hong Kong, Pokfulam, Hong Kong.
3. Currently with IBM, Canada.


  Cumulative visitor count