Pages that link to "Item:Q5096749"
From MaRDI portal
The following pages link to Statecharts, transition structures and transformations (Q5096749):
Displaying 12 items.
- Formalising concurrent UML state machines using coloured Petri nets (Q315307) (← links)
- Statechartable Petri nets (Q470022) (← links)
- Modelling and model checking suspendible business processes via statechart diagrams and CSP (Q869685) (← links)
- Reconciling statechart semantics (Q1001804) (← links)
- State-transition categories (Q1058492) (← links)
- Statecharts: a visual formalism for complex systems (Q1098612) (← links)
- Automatic layout of statecharts (Q2783199) (← links)
- A Framework for the Static and Interactive Visualization of Statecharts (Q4405603) (← links)
- (Q5150560) (← links)
- Diagrammatic Representation and Inference (Q5714040) (← links)
- Horizontal and vertical structuring techniques for statecharts (Q6044117) (← links)
- Equivalences of Statecharts (Q6162113) (← links)