On hybrid control of complex systems: a survey
Abstractions and heuristics for the validation of Grafcet controlled systems
Modelling and verification of hybrid systems using the TTM/RTTL framework
A gas storage example as a benchmark for hybrid modelling: a comparative study
Modelling of hybrid flexible production systems by Coloured-Batches Petri nets
A hierarchy of discrete abstractions for a hybrid plant
A framework for flexible simulation of batch plants
Block-Diagram based modelling and analysis of hybrid processes under discrete control
Modeling and simulation of the hybrid behaviour of a controlled induction drive
2D-Approach to stability of hybrid systems
On batch recipe structuring and analysis using Grafchart
Descriptor systems for knowledge modelling and simulation of hybrid physical systems
From hybrid Petri nets to hybrid automata
Behaviors in hybrid state systems
Modelling hybrid systems by high-level Petri nets
Modelling hybrid control systems using programmable timed Petri nets
Using a Real-Time Framework to Verify the Properties of Grafcet