The following pages link to On Causal Semantics of Petri Nets (Q3090821):
Displaying 6 items.
- Comparative trace semantics of time Petri nets (Q300337) (← links)
- Abstract processes and conflicts in place/transition systems (Q2051771) (← links)
- Abstract processes in the absence of conflicts in general place/transition systems (Q2105420) (← links)
- Testing equivalences of time Petri nets (Q2217206) (← links)
- Synthesis and reengineering of persistent systems (Q2257983) (← links)
- Observable liveness of Petri nets (Q2340254) (← links)
