Design Methods Based on Nets (DEMON): Edited Progress Report of the Esprit Basic Research Action 3148.

For the most recent entries see the Petri Nets Newsletter.

Design Methods Based on Nets (DEMON): Edited Progress Report of the Esprit Basic Research Action 3148.

GMD-Studien Nr. 198. St. Augustin, Germany: Gesellschaft für Mathematik und Datenverarbeitung mbH, September 1991.

Abstract: This document comprises the second year Edited Progress Report of the Esprit Basic Research Action No. 3148 DEMON (Design Methods Based on Nets). Contents: I: Equivalences, Refinement and Composition. II: Structure Theory (of Free Choice Systems). III: Trace Theory and Event Structures. IV: Algebraic Nets, High Level Nets and Specifications. V: Programming.

Keywords: DEMON, design methods based (on) nets; equivalences, refinement, composition; structure theory (of) free choice system; trace theory; event structure; algebraic net; high level net (and) specification; programming.

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

Back to the Petri Nets Bibliography