29 citations · 81 across the 19 of their papers we have counts for
1 paper · 1 filter
Yannick Pencolé, Éric Lubat, Silvano Dal Zilio +2
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…