Transforming BPEL to Petri nets S Hinz, K Schmidt, C Stahl Business Process Management: 3rd International Conference, BPM 2005, Nancy …, 2005 | 457 | 2005 |
Lola a low level analyser K Schmidt Application and Theory of Petri Nets 2000: 21st International Conference …, 2000 | 296 | 2000 |
An operating guideline approach to the SOA P Massuthe, W Reisig, K Schmidt Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät …, 2005 | 237 | 2005 |
Instantaneous soundness checking of industrial business process models D Fahland, C Favre, B Jobstmann, J Koehler, N Lohmann, H Völzer, ... Business Process Management: 7th International Conference, BPM 2009, Ulm …, 2009 | 195 | 2009 |
Multiparty contracts: Agreeing and implementing interorganizational processes WMP Van Der Aalst, N Lohmann, P Massuthe, C Stahl, K Wolf The Computer Journal 53 (1), 90-106, 2010 | 191 | 2010 |
Analysis on demand: Instantaneous soundness checking of industrial business process models D Fahland, C Favre, J Koehler, N Lohmann, H Völzer, K Wolf Data & Knowledge Engineering 70 (5), 448-466, 2011 | 182 | 2011 |
Operating guidelines for finite-state services N Lohmann, P Massuthe, K Wolf International Conference on Application and Theory of Petri Nets, 321-341, 2007 | 165 | 2007 |
Service interaction: Patterns, formalization, and analysis WMP van der Aalst, AJ Mooij, C Stahl, K Wolf Formal Methods for Web Services: 9th International School on Formal Methods …, 2009 | 150 | 2009 |
Does my service have partners? K Wolf Transactions on Petri Nets and Other Models of Concurrency II: Special Issue …, 2009 | 114 | 2009 |
Modeling and model checking web services H Schlingloff, A Martens, K Schmidt Electronic Notes in Theoretical Computer Science 126, 3-26, 2005 | 113 | 2005 |
Generating Petri net state spaces K Wolf International Conference on Application and Theory of Petri Nets, 29-42, 2007 | 111 | 2007 |
From public views to private views–correctness-by-design for services WMP Van Der Aalst, N Lohmann, P Massuthe, C Stahl, K Wolf Web Services and Formal Methods: 4th International Workshop, WS-FM 2007 …, 2008 | 109 | 2008 |
A Petri net semantic for BPEL4WS-validation and application K Schmidt, C Stahl Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets …, 2004 | 103 | 2004 |
How to calculate symmetries of Petri nets K Schmidt Acta Informatica 36, 545-590, 2000 | 92 | 2000 |
Controllability of open workflow nets K Schmidt Enterprise Modelling and Information Systems Architectures, 2005 | 88 | 2005 |
Reducing adapter synthesis to controller synthesis C Gierds, AJ Mooij, K Wolf IEEE Transactions on Services Computing 5 (1), 72-85, 2010 | 85 | 2010 |
Extending the compatibility notion for abstract WS-BPEL processes D König, N Lohmann, S Moser, C Stahl, K Wolf Proceedings of the 17th international conference on World Wide Web, 785-794, 2008 | 72 | 2008 |
Stubborn sets for standard properties K Schmidt Application and Theory of Petri Nets 1999: 20th International Conference …, 1999 | 69 | 1999 |
Realizability is controllability N Lohmann, K Wolf International Workshop on Web Services and Formal Methods, 110-127, 2009 | 65 | 2009 |
Petri net model checking with LoLA 2 K Wolf Application and Theory of Petri Nets and Concurrency: 39th International …, 2018 | 62 | 2018 |