A survey on automata-based methods for modelling and simulation of industrial systems.

Vasileios Deligiannis, Stamatis Manesis

Browse the full ETFA paper archive.