|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
inria-00638289v1
Communication dans un congrès
Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar. Monotonicity in Service OrchestrationsFranceschinis, Giuliana and Wolf, Karsten. Proceedings of the 30th International Conference on Applications and Theory of Petri Nets (ICATPN'09), 2009, Paris, France, France. Springer, 5606, pp.263-282, 2009, <10.1007/978-3-642-02424-5_16>
|
|
inria-00638288v1
Communication dans un congrès
Anne Bouillard, Stefan Haar, Sidney Rosario. Critical paths in the Partial Order Unfolding of a Stochastic Petri NetOuaknine, Joël and Vaandrager, Frits. Proceedings of the 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'09), 2009, Budapest, Hungary, Hungary. Springer, 5813, pp.43-57, 2009, <10.1007/978-3-642-04368-0_6>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|