Louis Bal dit Sollier, Alain Ourghanlian, Saïd Amari. New Formal Descriptions for Timed Coloured Petri Nets Using Formal Series. In 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023. pages 7373-7379, IEEE, 2023. [doi]
Abstract is missing.