The following pages link to (Q5457661):
Displaying 4 items.
- Normal and sinkless Petri nets (Q1208921) (← links)
- A polynomial \(\lambda\)-bisimilar normalization for reset Petri nets (Q1960543) (← links)
- Normalization of Some Extended Abstract State Machines (Q3586002) (← links)
- Normalization of place/transition-systems preserves net behaviour (Q3991291) (← links)