The following pages link to Semi-commutations and Petri nets (Q1822948):
Displaying 9 items.
- Classifying invariant structures of step traces (Q2424691) (← links)
- (Q3125177) (← links)
- PATH DECOMPOSITION AND SEMILINEARITY OF PETRI NETS (Q3395130) (← links)
- (Q4527145) (← links)
- On regular compatibility of semi-commutations (Q4630282) (← links)
- On the synchronization of semi-traces (Q5055913) (← links)
- Semi-trace morphisms and rational transductions (Q5096739) (← links)
- Modelling concurrency with semi-commutations (Q5096854) (← links)
- Step traces (Q5963403) (← links)