Search

Thierry Martinez

Influence Networks compared with Reaction Networks: Semantics, Expressivity and Attractors
Influence Systems vs Reaction Systems
On Enumerating Minimal Siphons in Petri nets using CLP and SAT solvers: Theoretical and Practical Complexity
Search by Constraint Propagation
On the subgraph Epimorphism Problem
A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets
Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri

Published with Wowchemy — the free, open source website builder that empowers creators.