The following pages link to (Q3601872):
Displaying 9 items.
- Comparative trace semantics of time Petri nets (Q300337) (← links)
- Process semantics of general inhibitor nets (Q598184) (← links)
- Modelling concurrency with comtraces and generalized comtraces (Q651308) (← links)
- Completeness results for single-path Petri nets (Q690244) (← links)
- Classifying invariant structures of step traces (Q2424691) (← links)
- (Q2766559) (← links)
- (Q3740251) (← links)
- (Q5472935) (← links)
- Step traces (Q5963403) (← links)