Warning: Undefined array key "clientWidth" in /var/www/html/w/includes/Media/SvgHandler.php on line 447

Warning: Undefined array key "clientHeight" in /var/www/html/w/includes/Media/SvgHandler.php on line 448

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 68

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 69

Warning: Undefined array key "clientWidth" in /var/www/html/w/includes/Media/SvgHandler.php on line 447

Warning: Undefined array key "clientHeight" in /var/www/html/w/includes/Media/SvgHandler.php on line 448

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 68

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 69

Warning: Undefined array key "clientWidth" in /var/www/html/w/includes/Media/SvgHandler.php on line 447

Warning: Undefined array key "clientHeight" in /var/www/html/w/includes/Media/SvgHandler.php on line 448

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 68

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 69
Unfolding semantics of graph transformation - MaRDI portal

Unfolding semantics of graph transformation (Q879600)

From MaRDI portal





scientific article; zbMATH DE number 5152427
Language Label Description Also known as
English
Unfolding semantics of graph transformation
scientific article; zbMATH DE number 5152427

    Statements

    Unfolding semantics of graph transformation (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    14 May 2007
    0 references
    graph transformation systems
    0 references
    unfolding
    0 references
    concurrency
    0 references
    nondeterminism
    0 references
    event structures
    0 references
    Petri nets
    0 references
    read arcs
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers