5 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.DC2015★ 1 cited
Time Petri Net Models for a New Queuless and Uncentralized Resource Discovery System
Camille Coti, Sami Evangelista, Kais Klai
In this report, we detail the model using Petri Nets of a new fully distributed resource reservation system. The basic idea of the considered distributed system is to let a user re…
cs.LO2011★ 5 cited
Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking
Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud +1
We present two new hybrid techniques that replace the synchronized product used in the automata-theoretic approach for LTL model checking. The proposed products are explicit graphs…