The following pages link to (Q4733414):
Displaying 5 items.
- Colored Petri nets and the matrix approach (Q583902) (← links)
- Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens (Q1616270) (← links)
- Specification and performance analysis of embedded systems with coloured Petri nets (Q1963360) (← links)
- Analyzing permutation capability of multistage interconnection networks with colored Petri nets (Q2509234) (← links)
- Linear-algebraic methods for the description, refinement, and analysis of coloured Petri nets (Q2723561) (← links)