The following pages link to Special issue: Hybrid Petri nets (Q5930249):
Displaying 5 items.
- Repairing time-determinism in the process algebra for hybrid systems (Q442292) (← links)
- On fluidization of discrete event models: Observation and control of continuous Petri nets (Q763410) (← links)
- Hybrid process algebra (Q1763160) (← links)
- Syntax and consistent equation semantics of hybrid Chi (Q2368698) (← links)
- HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets (Q3510881) (← links)