阿尔伯特·本文尼斯特;克洛德·贾德;Ajay Kattepur;西德尼·罗萨里奥;约翰·A·蒂维森。 支持QoS的单调服务编排管理。 （英语） Zbl 1291.68280号 形式方法系统。设计。 44，编号1，1-43（2014）.MSC公司：68问题85 87年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{A.Benveniste}等人，《形式方法系统》。设计。44，第1号，1-43（2014；Zbl 1291.68280） 全文： DOI程序 哈尔
安妮·布伊拉德;斯特凡·哈尔;西德尼·罗萨里奥 随机Petri网部分序展开中的关键路径。 （英语） Zbl 1262.68135号 Ouaknine，Joöl（编辑）等，时间系统的形式化建模和分析。2009年9月14-16日在匈牙利布达佩斯举行的2009年FORMATS第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04367-3/pbk）。计算机科学课堂讲稿5813，43-57（2009）。MSC公司：68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouillard}等人，莱克特。注释计算。科学。5813、43-57（2009年；Zbl 1262.68135） 全文： DOI程序
安妮·布伊拉德;西德尼·罗萨里奥;阿尔伯特·本文尼斯特;斯特凡·哈尔 服务编排中的单调性。 （英语） Zbl 1242.68009号 Franceschinis，Giuliana（编辑）等人，《Petri网的应用和理论》。第30届国际会议，PETRI NETS 2009，巴黎，法国，2009年6月22-26日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02423-8/pbk）。计算机科学课堂讲稿5606263-282（2009）。MSC公司：68英里11 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouillard}等人，莱克特。注释计算。科学。5606263-282（2009年；兹比尔1242.68009） 全文： DOI程序