@misc{indiciaeea82676455b9, title = {Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri}, author = {Faten Nabli and François Fages and Thierry Martinez and Sylvain Soliman}, year = {2013}, url = {https://arxiv.org/abs/1304.2948}, note = {Source identifier: 1304.2948} }