Specification and Correct Implementation of Non-sequential Systems Combining Abstract Data Types and Petri Nets.

For the most recent entries see the Petri Nets Newsletter.

Specification and Correct Implementation of Non-sequential Systems Combining Abstract Data Types and Petri Nets.

Gesellschaft für Mathematik und Datenverarbeitung mbH, St.Augustin, GMD-Bericht Nr. 176, 1989.

Abstract: This thesis defines and analyzes notions of specification, modularity and stepwise implementation for non-sequential systems. For this purpose the notion of Predicate-Event (PrE) nets is introduced and a theory of these nets is developed. Algebraic and net-theoretic properties of PrE nets are studied in the repsective framework.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography