Imane Haur, Jean-Luc Béchennec, Olivier H. Roux. High-level Colored Time Petri Nets for true concurrency modeling in real-time software. In 8th International Conference on Control, Decision and Information Technologies, CoDIT 2022, Istanbul, Turkey, May 17-20, 2022. pages 21-26, IEEE, 2022. [doi]
Abstract is missing.