The following pages link to (Q3776636):
Displayed 11 items.
- Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes (Q418764) (← links)
- Equivalence of computations in actor grammars (Q685461) (← links)
- Executions: A new partial-order semantics of Petri nets (Q1183595) (← links)
- Elementary transition systems (Q1190485) (← links)
- Computation graphs for actor grammars (Q1208925) (← links)
- (Q4222788) (← links)
- On the Analysis of Petri Nets and their Synthesis from Process Languages (Q4462676) (← links)
- (Q5021222) (← links)
- Petri Nets as Token Objects (Q5055702) (← links)
- Petri net-based modelling of workflow systems: An overview (Q5952515) (← links)
- Concurrent graph and term graph rewriting (Q6162098) (← links)