Pages that link to "Item:Q3552522"
From MaRDI portal
The following pages link to CONTINUOUS PETRI NETS: EXPRESSIVE POWER AND DECIDABILITY ISSUES (Q3552522):
Displaying 10 items.
- Individuals, populations and fluid approximations: a Petri net based perspective (Q313335) (← links)
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets (Q442295) (← links)
- Timing and liveness in continuous Petri nets (Q627071) (← links)
- On fluidization of discrete event models: Observation and control of continuous Petri nets (Q763410) (← links)
- Asymptotic continuous Petri nets (Q1802241) (← links)
- Finding cut-offs in leaderless rendez-vous protocols is easy (Q2233393) (← links)
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques (Q2343139) (← links)
- Linear equations with ordered data (Q5009439) (← links)
- Perpetual Free-choice Petri Nets are Lucent Proof of a Theorem of van der Aalst Using CP-exhaustions (Q5025056) (← links)
- Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy (Q6076175) (← links)