Skip to Main content Skip to Navigation
Conference papers

A State Class Construction for Computing the Intersection of Time Petri Nets Languages

Éric Lubat 1 Silvano Dal Zilio 1 Didier Le Botlan 1 Yannick Pencolé 2 Audine Subias 2
1 LAAS-VERTICS - Équipe Verification de Systèmes Temporisés Critiques
LAAS - Laboratoire d'analyse et d'architecture des systèmes
2 LAAS-DISCO - Équipe DIagnostic, Supervision et COnduite
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : We propose a new method for computing the language intersection of two Time Petri nets (TPN); that is the sequence of labels in timed traces common to the execution of two TPN. Our approach is based on a new product construction between nets and relies on the State Class construction, a widely used method for checking the behaviour of TPN. We prove that this new construct does not add additional expressive power, and yet that it can leads to very concise representation of the result. We have implemented our approach in a new tool, called Twina. We report on some experimental results obtained with this tool and show how to apply our approach on two interesting problems: rst, to dene an equivalent of the twin-plant diagnosability methods for TPN; then as a way to check timed properties without interfering with a system.
Complete list of metadata

Cited literature [41 references]  Display  Hide  Download

https://hal.laas.fr/hal-02263832
Contributor : Silvano Dal Zilio <>
Submitted on : Monday, August 5, 2019 - 6:39:43 PM
Last modification on : Thursday, June 10, 2021 - 3:02:39 AM
Long-term archiving on: : Thursday, January 9, 2020 - 8:38:00 PM

Files

main.pdf
Files produced by the author(s)

Identifiers

Citation

Éric Lubat, Silvano Dal Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias. A State Class Construction for Computing the Intersection of Time Petri Nets Languages. 17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Aug 2019, Amsterdam, Netherlands. ⟨10.1007/978-3-030-29662-9_5⟩. ⟨hal-02263832⟩

Share

Metrics

Record views

196

Files downloads

218