A control model for multi-products processing. - S. Marteau; Patrice Bonhomme; Pascal Aygalinc; Soizick Calvez (ETFA (1), 2001)

Using firing instants approach and partial order to control time critical systems. - Pascal Aygalinc; Soizick Calvez; Patrice Bonhomme (ETFA (1), 2003)

Verification technique for time Petri nets. - Patrice Bonhomme; Gérard Berthelot; Pascal Aygalinc; Soizick Calvez (SMC (5), 2004)

Proactive/reactive approach for maintenance tasks in time critical systems. - Soizick Calvez; Pascal Aygalinc; Patrice Bonhomme (ETFA, 2005)