14 citations · 16 across the 4 of their papers we have counts for
4 papers
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…
Petri Net Reachability Graphs: Decidability Status of First Order Properties
Philippe Darondeau, Stephane Demri, Roland Meyer +1
We investigate the decidability and complexity status of model-checking problems on unlabelled reachability graphs of Petri nets by considering first-order and modal languages with…
Probabilistic regular graphs
Nathalie Bertrand, Christophe Morvan
Deterministic graph grammars generate regular graphs, that form a structural extension of configuration graphs of pushdown systems. In this paper, we study a probabilistic extensio…
On external presentations of infinite graphs
Christophe Morvan
The vertices of a finite state system are usually a subset of the natural numbers. Most algorithms relative to these systems only use this fact to select vertices. For infinite sta…