𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Composition and Independence of High-Level Net Processes

✍ Scribed by H. Ehrig; K. Hoffmann; K. Gabriel; J. Padberg


Book ID
108127111
Publisher
Elsevier Science
Year
2009
Tongue
English
Weight
306 KB
Volume
242
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Behavior and Instantiation of High–Level
✍ Hartmut Ehrig πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 292 KB

Processes for high-level nets AE are often defined as processes of the low-level net Ð Ø ´AE ¡ which is obtained from AE via the well-known flattening construction. This lowlevel notion of processes for high-level nets, however, is not really adequate, because the high-level structure is completely