A State Class Based Controller Synthesis Approach for Time Petri Nets

Loriane Leclercq, Didier Lime, Olivier H. Roux. A State Class Based Controller Synthesis Approach for Time Petri Nets. In Luís Gomes 0001, Robert Lorenz 0001, editors, Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings. Volume 13929 of Lecture Notes in Computer Science, pages 393-414, Springer, 2023. [doi]

Authors

Loriane Leclercq

This author has not been identified. Look up 'Loriane Leclercq' in Google

Didier Lime

This author has not been identified. Look up 'Didier Lime' in Google

Olivier H. Roux

This author has not been identified. Look up 'Olivier H. Roux' in Google