Gilles Lesventes

发表

HMSCs as Partial Specifications ... with PNs as Completions

Loïc Hélouët, Benoît Caillaud, Philippe Darondeau, 2000, MOVEP.

HMSCs en tant que spécifications partielles et leurs complétions dans les réseaux de Petri

Gilles Lesventes, Benoît Caillaud, Philippe Darondeau, 2000 .