A State Class Based Controller Synthesis Approach for Time Petri Nets - Archive ouverte HAL Access content directly
Conference Papers Year : 2023

A State Class Based Controller Synthesis Approach for Time Petri Nets

Loriane Leclercq
  • Function : Author
  • PersonId : 1317657
STR
Didier Lime
STR
Olivier H Roux
STR

Abstract

We propose a new algorithm for reachability controller synthesis with time Petri nets (TPN). We consider an unusual semantics of time Petri nets in which the firing date of a transition is chosen in its static firing interval when it becomes enabled. This semantics is motivated i) by a practical concern: it aims at approaching the implementation of the controller on a real-time target ; ii) by a theoretical concern: it ensures that in the classical state class graph [6], every state in each state class is an actual reachable state from the TPN, which is not the case with the usual interval-based semantics. We define a new kind of two-player timed game over the state class graph and we show how to efficiently and symbolically compute the winning states using state classes. The approach is implemented in the tool Roméo [24]. We illustrate it on various examples including a case-study from [2].
Fichier principal
Vignette du fichier
leclercq-ICATPN-23.pdf (567.21 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-04312254 , version 1 (28-11-2023)

Identifiers

Cite

Loriane Leclercq, Didier Lime, Olivier H Roux. A State Class Based Controller Synthesis Approach for Time Petri Nets. 44th International Conference on Applications and Theory of Petri Nets and Concurrency (Petri Nets 2023), Jun 2023, Caparica, Lisbon, Portugal. pp.393-414, ⟨10.1007/978-3-031-33620-1_21⟩. ⟨hal-04312254⟩
9 View
6 Download

Altmetric

Share

Gmail Facebook X LinkedIn More