Publisher
Springer Nature Switzerland
Reference15 articles.
1. van der Aalst, W.M.P., et al.: Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects Comput. 23(3), 333–363 (2011). https://doi.org/10.1007/s00165-010-0161-4
2. Chu, F., Xie, X.: Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Trans. Robot. Autom. 13(6), 793–804 (1997). https://doi.org/10.1109/70.650158
3. Corradini, F., Morichetta, A., Polini, A., Re, B., Tiezzi, F.: Collaboration vs. choreography conformance in BPMN. Log. Methods Comput. Sci. 16(4) (2020)
4. Lecture Notes in Computer Science;G Decker,2007
5. Decker, G., Weske, M.: Interaction-centric modeling of process choreographies. Inf. Syst. 36(2), 292–312 (2011). https://doi.org/10.1016/j.is.2010.06.005
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Glocal Conformance Checking;Lecture Notes in Computer Science;2024