Pages that link to "Item:Q442295"
From MaRDI portal
The following pages link to Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets (Q442295):
Displaying 4 items.
- Enzymatic competition: Modeling and verification with timed hybrid Petri nets (Q1013380) (← links)
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques (Q2343139) (← links)
- Modeling and analysis using hybrid Petri nets (Q2643424) (← links)
- Special issue: Hybrid Petri nets (Q5930249) (← links)