In: Proc. of the 21st Annual Hawai Int. Conf. on System Sciences, Vol. II: Software Track, pages 630-638. Washington: IEEE Computer Society Press, 1988.
Abstract: The author discusses PFG (parallel flow graphs), a system modeling language and support environment based on a concurrent, place-timed deterministic Petri net formalism termed the HG (hierarchical graph) model of time-dependent concurrent systems. The HG model serves as the formal semantics of computation for the PFG language, which has a graphical syntax and serves as a composition vehicle for Petri nets.