13 citations · 19 across the 4 of their papers we have counts for
5 papers
Petri Nets and Higher-Dimensional Automata
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg +2
Petri nets and their variants are often considered through their interleaved semantics, i.e. considering executions where, at each step, a single transition fires. This is clearly…
Waiting Nets: State Classes and Taxonomy
Loïc Hélouët, Pranay Agrawal
In time Petri nets (TPNs), time and control are tightly connected: time measurement for a transition starts only when all resources needed to fire it are available. Further, upper…
Reachability Games with Relaxed Energy Constraints
Loïc Hélouët, Nicolas Markey, Ritam Raha
We study games with reachability objectives under energy constraints. We first prove that under strict energy constraints (either only lower-bound constraint or interval constraint…
A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment
Eric Badouel, Loïc Hélouët, Georges-Edouard Kouamou +1
This paper presents a purely declarative approach to artifact-centric case management systems, and a decentralization scheme for this model. Each case is presented as a tree-like s…
Covert channel detection using Information Theory
Loïc Hélouët, Aline Roumy
This paper presents an information theory based detection framework for covert channels. We first show that the usual notion of interference does not characterize the notion of del…