Verification technique for time Petri nets.

Patrice Bonhomme, Grard Berthelot, Pascal Aygalinc, Soizick Calvez

Browse the full SMC paper archive.