The following pages link to (Q4665727):
Displaying 5 items.
- Petri net modules in the transformation-based component framework (Q2369035) (← links)
- The conversion of dynamic fault trees to stochastic Petri nets, as a case of graph transformation (Q2848075) (← links)
- (Q4215854) (← links)
- (Q4355675) (← links)
- Orthogonal transformations for coloured Petri nets (Q6487385) (← links)