Pages that link to "Item:Q2847842"
From MaRDI portal
The following pages link to Parallel graph transformation for model simulation applied to timed transition Petri nets (Q2847842):
Displaying 4 items.
- A structural approach to graph transformation based on symmetric Petri nets (Q2035652) (← links)
- Composition of multilevel domain-specific modelling languages (Q2095431) (← links)
- Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation (Q3059710) (← links)
- Formal Methods in Software and Systems Modeling (Q5710424) (← links)