Author:
Nahabedian Leandro,Braberman Victor,D’ippolito Nicolás,Kramer Jeff,Uchitel Sebastián
Publisher
Springer International Publishing
Reference29 articles.
1. Business process management academic initiative.
https://bpmai.org/
2. MTSA synthesis tool and examples.
http://mtsa.dc.uba.ar
3. van der Aalst, W.M.: Exterminating the dynamic change bug: a concrete approach to support workflow change. Inf. Syst. Front. 3(3), 297–317 (2001)
4. Badouel, E., Oliver, J.: Reconfigurable nets, a class of high level Petri nets supporting dynamic changes within workflow systems. Ph.D. thesis, Inria (1998)
5. Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: Weak, strong, and strong cyclic planning via symbolic model checking. Artif. Intell. 147, 35–84 (2003)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Trustworthy decentralized Change Propagation Mechanism for Declarative Choreographies;Lecture Notes in Computer Science;2022
2. Bibliography;An Introduction to Self‐Adaptive Systems;2020-10-22
3. Understanding Uncertainty in Self-adaptive Systems;2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS);2020-08