Pages that link to "Item:Q5930251"
From MaRDI portal
The following pages link to Decidability results in first-order hybrid Petri nets (Q5930251):
Displaying 5 items.
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets (Q442295) (← links)
- A linear characterization of the switching dynamic behavior of timed continuous Petri nets with structural conflicts (Q901256) (← links)
- First-order hybrid Petri nets. An application to distributed manufacturing systems (Q1003528) (← links)
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques (Q2343139) (← links)
- Continuous Petri Nets: Expressive Power and Decidability Issues (Q3510807) (← links)
