van der Aalst, Wil M. P.; van Hee, Kees M.; Massuthe, Peter; Sidorova, Natalia; van der Werf, Jan Martijn Compositional service trees. (English) Zbl 1242.68190 Franceschinis, Giuliana (ed.) et al., Applications and theory of Petri nets. 30th international conference, PETRI NETS 2009, Paris, France, June 22–26, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02423-8/pbk). Lecture Notes in Computer Science 5606, 283-302 (2009). MSC: 68Q85 PDFBibTeX XMLCite \textit{W. M. P. van der Aalst} et al., Lect. Notes Comput. Sci. 5606, 283--302 (2009; Zbl 1242.68190) Full Text: DOI
Stahl, Christian; Massuthe, Peter; Bretschneider, Jan Deciding substitutability of services with operating guidelines. (English) Zbl 1235.68320 Jensen, Kurt (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency II. Special issue on concurrency in process-aware information systems. Berlin: Springer (ISBN 978-3-642-00898-6/pbk). Lecture Notes in Computer Science 5460. Journal Subline, 172-191 (2009). MSC: 68U35 68Q85 PDFBibTeX XMLCite \textit{C. Stahl} et al., Lect. Notes Comput. Sci. 5460, 172--191 (2009; Zbl 1235.68320) Full Text: DOI Link