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

Autor: Pencolé, Yannick, Lubat, Éric, Zilio, Silvano Dal, Botlan, Didier Le, Subias, Audine

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 reli

Externí odkaz: http://arxiv.org/abs/1908.02087

Résumé de la diagnosticabilité des motifs dans un réseau de Petri temporisé

Autor: Lubat, Éric, Dal Zilio, Silvano

Publikováno v: 14th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2020)
14th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2020), Jun 2020, (on line), France

MOVEP is a five-day summer school on modelling and verification of parallel processes. It aims to bring together researchers, students, and people from industry working in the fields of control and verification of concurrent and reactive systems. MOV

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9e8a91f6a47d74fa5133054173f93221
https://hal.science/hal-02899522