Author:
Breuker Dominic,Delfmann Patrick,Dietrich Hanns-Alexander,Steinhorst Matthias
Publisher
Springer Science and Business Media LLC
Reference95 articles.
1. Aalst WMP, Hee KM, Hofstede AHM, Sidorova N, Verbeek HMW, Voorhoeve M, Wynn MT (2010) Soundness of workflow nets: classification, decidability, and analysis. Form Asp Comput 23:333–363
2. Awad A (2007) BPMN-Q: a language to query business processes. In: Reichert M, Strecker S, Turowski K (eds) In: Proceedings of the 2nd international workshop on enterprise modelling and information systems architectures (EMISA’07). St. Goar, pp 115–128
3. Awad A, Sakr S (2010) Querying graph-based repositories of business process models. In: Yoshikawa M, Meng X, Yumoto T, Ma Q, Sun L, Watanabe C (eds) Proceedings of the 15th international workshops on database systems for advanced applications. Springer, Berlin, pp 33–44
4. Awad A, Polyvyanyy A, Weske M (2008) Semantic querying of business process models. In: 12th international IEEE enterprise distributed object computing conference (EDOC 2008). IEEE, Munich, pp 85–94
5. Awad A, Decker G, Weske M (2008) Efficient compliance checking using BPMN-Q and temporal logic. In: Dumas M, Reichert M, Shan M-C (eds) Proceedings of the 6th international conference on business process management (BPM’08). Springer, Berlin, pp 326–341
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献