Backward Coupling in Bounded Free-Choice Nets Under Markovian and Non-Markovian Assumptions

Cite this paper

@article{Bouillard2008BackwardCI, title={Backward Coupling in Bounded Free-Choice Nets Under Markovian and Non-Markovian Assumptions}, author={Anne Bouillard and Bruno Gaujal}, journal={Discrete Event Dynamic Systems}, year={2008}, volume={18}, pages={473-498} }