@article{bouillard:hal-00953608, TITLE = {{Backward Coupling in Bounded Free-Choice Nets Under Markovian and Non-Markovian Assumptions}}, AUTHOR = {Bouillard, Anne and Gaujal, Bruno}, URL = {https://inria.hal.science/hal-00953608}, NOTE = {Special issue of selected papers from the Valuetools conference}, JOURNAL = {{Discrete Event Dynamic Systems}}, PUBLISHER = {{Springer Verlag}}, VOLUME = {18}, PAGES = {473-498}, YEAR = {2008}, DOI = {10.1007/s10626-008-0041-8}, HAL_ID = {hal-00953608}, HAL_VERSION = {v1}, }