Pages that link to "Item:Q4856661"
From MaRDI portal
The following pages link to Algebraic high-level net transformation systems (Q4856661):
Displaying 19 items.
- Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes (Q418764) (← links)
- Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components (Q934668) (← links)
- Parallel high-level replacement systems (Q1389763) (← links)
- Petri net modules in the transformation-based component framework (Q2369035) (← links)
- Higher-order nets for mobile policies (Q2848078) (← links)
- Towards algebraic high-level systems as weak adhesive HLR categories (Q2864378) (← links)
- Transformations in Reconfigurable Place/Transition Systems (Q3507359) (← links)
- Workshop on Petri Nets and Graph Transformations (Q3540422) (← links)
- Formal relationship between graph grammars and Petri nets (Q4645283) (← links)
- A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques (Q4921549) (← links)
- Visual Design of Software Architecture and Evolution based on Graph Transformation (Q4923508) (← links)
- Basic Results for Two Types of High-Level Replacement Systems (Q4923535) (← links)
- Towards a Formal Framework for Inter-Enterprise Application Integration (Q4923536) (← links)
- Canonical derivations for high-level replacement systems (Q5096280) (← links)
- A decade of TAPSOFT (Q5096723) (← links)
- Formal Methods in Software and Systems Modeling (Q5710424) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713506) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900825) (← links)
- Horizontal and vertical structuring techniques for statecharts (Q6044117) (← links)
