TY  - RPRT
TI  - Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri
AU  - Faten Nabli
AU  - François Fages
AU  - Thierry Martinez
AU  - Sylvain Soliman
PY  - 2013
UR  - https://arxiv.org/abs/1304.2948
ID  - 1304.2948
ER  -