Modelling of visualised data-flow diagrams using Petri net model. - Poh-Tin Lee; K.-P. Tan (Softw. Eng. J., 1992)