The following pages link to Julia Padberg (Q934667):
Displayed 42 items.
- (Q175414) (redirect page) (← links)
- Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components (Q934668) (← links)
- A tutorial on graph transformation (Q1708180) (← links)
- Overview of reconfigurable Petri nets (Q1708190) (← links)
- Categorical approach to horizontal structuring and refinement of high-level replacement systems (Q1971976) (← links)
- Petri net modules in the transformation-based component framework (Q2369035) (← links)
- Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs (Q2947214) (← links)
- (Q3142554) (← links)
- Model Checking Reconfigurable Petri Nets with Maude (Q3187803) (← links)
- (Q3416071) (← links)
- Transformations in Reconfigurable Place/Transition Systems (Q3507359) (← links)
- A Generic Approach to Connector Architectures Part I: The General Framework (Q3561226) (← links)
- A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP (Q3561227) (← links)
- Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems (Q3612928) (← links)
- (Q4223777) (← links)
- (Q4318986) (← links)
- (Q4355675) (← links)
- (Q4370279) (← links)
- (Q4371022) (← links)
- (Q4421724) (← links)
- (Q4421725) (← links)
- (Q4438763) (← links)
- (Q4438793) (← links)
- (Q4502807) (← links)
- (Q4502819) (← links)
- The category of typed graph grammars and its adjunctions with categories of derivations (Q4645267) (← links)
- (Q4738296) (← links)
- (Q4763985) (← links)
- (Q4790388) (← links)
- (Q4790391) (← links)
- Algebraic high-level net transformation systems (Q4856661) (← links)
- Visual Design of Software Architecture and Evolution based on Graph Transformation (Q4923508) (← links)
- (Q4940886) (← links)
- (Q4941935) (← links)
- (Q4942095) (← links)
- Hierarchical Graph Transformation Revisited (Q4972007) (← links)
- Graph Transformations (Q5292592) (← links)
- Rule-Based Refinement of Petri Nets: A Survey (Q5392161) (← links)
- Formal Methods in Software and Systems Modeling (Q5710420) (← links)
- Lectures on Concurrency and Petri Nets (Q5712281) (← links)
- Rule-based refinement of high-level nets preserving safety properties (Q5931382) (← links)
- Horizontal and vertical structuring techniques for statecharts (Q6044117) (← links)