Pages that link to "Item:Q3510807"
From MaRDI portal
The following pages link to Continuous Petri Nets: Expressive Power and Decidability Issues (Q3510807):
Displaying 4 items.
- Asymptotic continuous Petri nets (Q1802241) (← links)
- Dense-choice counter machines revisited (Q2015129) (← links)
- Avoiding exponential explosion in Petri net models of control flows (Q2165241) (← links)
- Perpetual Free-choice Petri Nets are Lucent Proof of a Theorem of van der Aalst Using CP-exhaustions (Q5025056) (← links)