Serge Haddad? Around and Beyond Petri Nets

ICATPN, the Petri nets conference whose I am member of steering committee
the research group from the Ile-de-France region on verification and applications
a collaborative software project