Pages that link to "Item:Q3991291"

The following pages link to Normalization of place/transition-systems preserves net behaviour (Q3991291):

Displaying 3 items.

• A polynomial \(\lambda\)-bisimilar normalization for reset Petri nets (Q1960543) (← links)
• Pomset bisimulation and unfolding for reset Petri nets (Q2113378) (← links)
• Petri net reactive modules (Q2503287) (← links)