For the most recent entries see the Petri Nets Newsletter.

Towards a Formal Foundation for DeMarco Data Flow Diagrams.

Tse, T.H.; Pong, L.

In: Computer Journal, London, Vol. 32, No. 1, pages 1-12. 1989.

Abstract: The paper describes a proposal for formalising data flow diagrams through extended Petri nets. The authors illustrate the usefulness of the approach by describing how it can be used to analyse the consistency of requirements specifications.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography