A structural approach to graph transformation based on symmetric Petri nets (Q2035652)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A structural approach to graph transformation based on symmetric Petri nets |
scientific article |
Statements
A structural approach to graph transformation based on symmetric Petri nets (English)
0 references
25 June 2021
0 references
graph transformation systems
0 references
double pushout
0 references
symmetric nets
0 references
structural analysis
0 references
operational semantics
0 references
0 references
