Pages that link to "Item:Q788496"
From MaRDI portal
The following pages link to Subset languages of Petri nets. I: The relationship to string languages and normal forms (Q788496):
Displaying 8 items.
- Step failures semantics and a complete proof system (Q582133) (← links)
- Structure of concurrency (Q685384) (← links)
- Subset languages of Petri nets. II. Closure properties (Q797296) (← links)
- Step semantics for ``true'' concurrency with recursion (Q916408) (← links)
- Petri net semantics of priority systems (Q1190490) (← links)
- Maximality preserving bisimulation (Q1193655) (← links)
- Classifying invariant structures of step traces (Q2424691) (← links)
- Concurrent bisimulations in Petri nets (Q2639636) (← links)
