The following pages link to (Q4364400):
Displaying 8 items.
- Merged processes: a new condensed representation of Petri net behaviour (Q854679) (← links)
- Process rewrite systems. (Q1854328) (← links)
- Recursive Petri nets (Q2464034) (← links)
- Process of petri nets extension (Q3415259) (← links)
- Axiomatizing Petri net concatenable processes (Q5055915) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897493) (← links)
- Decidability of model checking with the temporal logic EF (Q5941100) (← links)
- The regular viewpoint on PA-processes (Q5958465) (← links)