High-level Colored Time Petri Nets for true concurrency modeling in real-time software.

Imane Haur, Jean-Luc Bchennec, Olivier H. Roux

Browse the full CoDIT paper archive.