Technical Report UNIMACS-TR-86-19, CS-TR-1712. Maryland: University of Maryland, September 1986.
Abstract: PFG (parallel Flow Graphs) is a hardware/sofware system modelling language and support environment based on a concurrent, place-timed, deterministic Petri net formalismn, termed the HG (hierarchical Graph) model. This report describes the mathematical, Petri net basis for the environment, the current working components of it, and the future plans.