Section: Overall Objectives

Highlights

The three main achievements of the S4 team during 2011 are:

• The non-standard semantics of hybrid systems (Section  6.2 ) and its application to the compilation of hybrid data-flow synchronous languages.

• The modal interface theory (Section  6.3 ) and its implementation in the Mica toolbox (Section  5.1 ).

• Several results on the separability and the distributability of Petri nets (Section  6.1 ).