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