By Topic

The PEG environment: parallel programming with Petri net semantics

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
P. D. Stotts ; Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA

The author discusses PFG (parallel flow graphs), a hardware/software 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 that have interpretable form and limited complexity. The PFG environment is a collection of cooperating tools that operate on these HG models for the production of reliable time-dependent software systems from reusable components. Algorithms that have been developed for analysis of the HG formalism include detection and correction of improper access to shared data, calculation of minimum and maximum execution time bounds, and matching of models to graphical specification templates for reuse.<>

Published in:

System Sciences, 1988. Vol.II. Software Track, Proceedings of the Twenty-First Annual Hawaii International Conference on  (Volume:2 )

Date of Conference:

0-0 1988