The following pages link to (Q3045262):
Displaying 4 items.
- From Petri nets to automata with concurrency (Q1610275) (← links)
- Parameterized Petri nets and their application to planning and coordination in intelligent systems (Q5365723) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464472) (← links)
- Recursion and Petri nets (Q5950717) (← links)