For the most recent entries see the
Petri Nets Newsletter.
Hybrid Dynamic Systems verification with Mixed Petri Nets.
Hybrid Systems modelling: Mixed Petri Nets.
Modelling of Hybrid Systems : DAE supervised by Petri Nets. The example of the gas storage.
A gas storage example as a benchmark for hybrid modelling.
A modelling method to take into account fluctuations of continuous variables in a class of hybrid system.
Modelling and Simulation of Sequential Hybrid Dynamic Systems.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The author's address is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography