In: IEEE Transactions on Software Engineering Vol. 14, No. 11, pages 1610-1620. 1988.
Abstract: Many specification techniques for information systems are based on a hierarchy of information flow diagrams. A method is proposed that preserves the benefits of these techniques and adds the precision of the Petri net formalism. Information flow diagram hierarchies are formalized by notions of the new theory, with the bottom-level nets of a hierarchy treated as Petri nets.