Pages that link to "Item:Q4362279"
From MaRDI portal
The following pages link to Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture (Q4362279):
Displaying 11 items.
- Factorisation of transition systems (Q1647774) (← links)
- The ins and outs of Petri net composition (Q2165242) (← links)
- Compositional analysis of Petri nets (Q2501338) (← links)
- Petri net reactive modules (Q2503287) (← links)
- Decomposition of Petri nets (Q2574246) (← links)
- Union decomposition of Petri net (Q2726020) (← links)
- PATH DECOMPOSITION AND SEMILINEARITY OF PETRI NETS (Q3395130) (← links)
- (Q4270058) (← links)
- Covering Steps Graphs of Time Petri Nets (Q5179058) (← links)
- On the Petri net realization of context-free graphs (Q5941208) (← links)
- Proving safety properties of infinite state systems by compilation into Presburger arithmetic (Q6044119) (← links)