Pages that link to "Item:Q2380011"
From MaRDI portal
The following pages link to On the well-foundedness of adequate orders used for construction of complete unfolding prefixes (Q2380011):
Displaying 6 items.
- Canonical prefixes of Petri net unfoldings (Q1889762) (← links)
- Symbolic unfolding of parametric stopwatch Petri nets (Q2248088) (← links)
- (Q3587705) (← links)
- Directed Unfolding of Petri Nets (Q3599218) (← links)
- (Q5111631) (← links)
- Predicative Aspects of Order Theory in Univalent Foundations (Q6159924) (← links)