Pages that link to "Item:Q3541965"
From MaRDI portal
The following pages link to Termination Analysis of Model Transformations by Petri Nets (Q3541965):
Displayed 8 items.
- A framework for model transformation verification (Q903517) (← links)
- Automating the transformation-based analysis of visual languages (Q973037) (← links)
- Grammar-based model transformations: definition, execution, and quality properties (Q1749124) (← links)
- Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings (Q2947210) (← links)
- Workshop on Petri Nets and Graph Transformations (Q3540422) (← links)
- (Q5020535) (← links)
- Towards a Systematic Method for Proving Termination of Graph Transformation Systems (Q5403457) (← links)
- Combining termination proofs in model transformation systems (Q5740376) (← links)