{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T06:42:16Z","timestamp":1772692936168,"version":"3.50.1"},"reference-count":62,"publisher":"MDPI AG","issue":"3","license":[{"start":{"date-parts":[[2023,8,8]],"date-time":"2023-08-08T00:00:00Z","timestamp":1691452800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"PNRR MUR project","award":["ECS_00000041-VITALITY"],"award-info":[{"award-number":["ECS_00000041-VITALITY"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["BDCC"],"abstract":"<jats:p>The development of process-driven systems and the advancements in digital twins have led to the birth of new ways of monitoring and analyzing systems, i.e., digital process twins. Specifically, a digital process twin can allow the monitoring of system behavior and the analysis of the execution status to improve the whole system. However, the concept of the digital process twin is still theoretical, and process-driven systems cannot really benefit from them. In this regard, this work discusses how to effectively exploit a digital process twin and proposes an implementation that combines the monitoring, refinement, and enactment of system behavior. We demonstrated the proposed solution in a multi-robot scenario.<\/jats:p>","DOI":"10.3390\/bdcc7030139","type":"journal-article","created":{"date-parts":[[2023,8,8]],"date-time":"2023-08-08T12:26:39Z","timestamp":1691497599000},"page":"139","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems"],"prefix":"10.3390","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6767-2184","authenticated-orcid":false,"given":"Flavio","family":"Corradini","sequence":"first","affiliation":[{"name":"School of Science and Technology, University of Camerino, 62032 Camerino, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5548-9806","authenticated-orcid":false,"given":"Sara","family":"Pettinari","sequence":"additional","affiliation":[{"name":"School of Science and Technology, University of Camerino, 62032 Camerino, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5374-2364","authenticated-orcid":false,"given":"Barbara","family":"Re","sequence":"additional","affiliation":[{"name":"School of Science and Technology, University of Camerino, 62032 Camerino, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6872-0616","authenticated-orcid":false,"given":"Lorenzo","family":"Rossi","sequence":"additional","affiliation":[{"name":"School of Science and Technology, University of Camerino, 62032 Camerino, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4740-7521","authenticated-orcid":false,"given":"Francesco","family":"Tiezzi","sequence":"additional","affiliation":[{"name":"Dipartimento di Statistica, Informatica, Applicazioni, University of Florence, 50121 Florence, Italy"}]}],"member":"1968","published-online":{"date-parts":[[2023,8,8]]},"reference":[{"key":"ref_1","unstructured":"Weske, M. (2007). Business Process Management Architectures, Springer."},{"key":"ref_2","doi-asserted-by":"crossref","unstructured":"Dumas, M., La Rosa, M., Mendling, J., and A Reijers, H. (2013). Fundamentals of Business Process Management, Springer.","DOI":"10.1007\/978-3-642-33143-5"},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/S0925-5273(03)00102-6","article-title":"Business process modelling: Review and framework","volume":"90","year":"2004","journal-title":"Int. J. Prod. Econ."},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Corradini, F., Fedeli, A., Polini, A., and Re, B. (2022, January 12\u201315). Towards a Digital Twin Modelling Notation. Proceedings of the Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress, Falerna, Italy.","DOI":"10.1109\/DASC\/PiCom\/CBDCom\/Cy55231.2022.9927827"},{"key":"ref_5","doi-asserted-by":"crossref","unstructured":"Corradini, F., Pettinari, S., Re, B., Rossi, L., and Tiezzi, F. (2022, January 12\u201315). An Approach to Support Digital Process Twin. Proceedings of the Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress, Falerna, Italy.","DOI":"10.1109\/DASC\/PiCom\/CBDCom\/Cy55231.2022.9927841"},{"key":"ref_6","doi-asserted-by":"crossref","unstructured":"Bordeleau, F., Combemale, B., Eramo, R., van den Brand, M., and Wimmer, M. (2020, January 25\u201326). Towards Model-Driven Digital Twin Engineering: Current Opportunities and Future Challenges. Proceedings of the Systems Modelling and Management, Bergen, Norway.","DOI":"10.1007\/978-3-030-58167-1_4"},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"108952","DOI":"10.1109\/ACCESS.2020.2998358","article-title":"Digital twin: Enabling technologies, challenges and open research","volume":"8","author":"Fuller","year":"2020","journal-title":"IEEE Access"},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"111139","DOI":"10.1016\/j.jss.2021.111139","article-title":"Modelling and executing IoT-enhanced business processes through BPMN and microservices","volume":"184","author":"Valderas","year":"2022","journal-title":"J. Syst. Softw."},{"key":"ref_9","unstructured":"Bourr, K., Corradini, F., Pettinari, S., Re, B., Rossi, L., and Tiezzi, F. (2021, January 24\u201326). Disciplined use of BPMN for mission modeling of Multi-Robot Systems. Proceedings of the Forum at Practice of Enterprise Modeling, Riga, Latvia."},{"key":"ref_10","doi-asserted-by":"crossref","unstructured":"Corradini, F., Marcelletti, A., Morichetta, A., Polini, A., Re, B., and Tiezzi, F. (2022, January 21\u201325). A Choreography-Driven Approach for Blockchain-Based IoT Applications. Proceedings of the 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops), Pisa, Italy.","DOI":"10.1109\/PerComWorkshops53856.2022.9767513"},{"key":"ref_11","doi-asserted-by":"crossref","unstructured":"van der Aalst, W. (2022, January 27\u201329). Concurrency and objects matter! Disentangling the fabric of real operational processes to create digital twins. Proceedings of the Theoretical Aspects of Computing, Tbilisi, Georgia.","DOI":"10.1007\/978-3-030-85315-0_1"},{"key":"ref_12","unstructured":"OMG (2011). Business Process Model and Notation (BPMN), version 2.0, OMG."},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"104322","DOI":"10.1016\/j.robot.2022.104322","article-title":"A BPMN-driven framework for Multi-Robot System development","volume":"160","author":"Corradini","year":"2023","journal-title":"Robot. Auton. Syst."},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"725","DOI":"10.1016\/j.bushor.2020.08.001","article-title":"Building an organizational digital twin","volume":"63","author":"Parmar","year":"2020","journal-title":"Bus. Horiz."},{"key":"ref_15","doi-asserted-by":"crossref","unstructured":"Caesar, B., H\u00e4nel, A., Wenkler, E., Corinth, C., Ihlenfeldt, S., and Fay, A. (2020, January 8\u201311). Information Model of a Digital Process Twin for Machining Processes. Proceedings of the Emerging Technologies and Factory Automation, Vienna, Austria.","DOI":"10.1109\/ETFA46521.2020.9212085"},{"key":"ref_16","doi-asserted-by":"crossref","unstructured":"Caporuscio, M., Edrisi, F., Hallberg, M., Johannesson, A., Kopf, C., and Perez-Palacin, D. (2020, January 14\u201318). Architectural concerns for digital twin of the organization. Proceedings of the Software Architecture, L\u2019Aquila, Italy.","DOI":"10.1007\/978-3-030-58923-3_18"},{"key":"ref_17","doi-asserted-by":"crossref","unstructured":"Becker, M.C., and Pentland, B.T. (2021, January 6\u201310). Digital twin of an organization: Are you serious?. Proceedings of the Business Process Management Workshops, Rome, Italy.","DOI":"10.1007\/978-3-030-94343-1_19"},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"Park, G., Comuzzi, M., and van der Aalst, W. (2022, January 17\u201320). Analyzing Process-Aware Information System Updates Using Digital Twins of Organizations. Proceedings of the Research Challenges in Information Science, Barcelona, Spain.","DOI":"10.1007\/978-3-031-05760-1_10"},{"key":"ref_19","doi-asserted-by":"crossref","unstructured":"Riss, U.V., Maus, H., Javaid, S., and Jilek, C. (2020, January 25\u201327). Digital twins of an organization for enterprise modeling. Proceedings of the Practice of Enterprise Modeling, Riga, Latvia.","DOI":"10.1007\/978-3-030-63479-7_3"},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"101297","DOI":"10.1016\/j.aei.2021.101297","article-title":"A review of digital twin in product design and development","volume":"48","author":"Lo","year":"2021","journal-title":"Adv. Eng. Inform."},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"Hartmann, D., and der Auweraer, H.V. (2020). Digital Twins. arXiv.","DOI":"10.1007\/978-3-030-61844-5_1"},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"1309","DOI":"10.4271\/2022-01-0767","article-title":"Executable digital twin-prevent the early failure of a truck anchorage using smart virtual sensors","volume":"4","author":"Scurria","year":"2022","journal-title":"Int. J. Adv. Curr. Pract. Mobil."},{"key":"ref_23","unstructured":"Hartmann, D., and der Auweraer, H.V. (2022). The Executable Digital Twin: Merging the digital and the physics worlds. arXiv."},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1016\/j.ifacol.2022.10.314","article-title":"Sim2real for Autonomous Vehicle Control Using Executable Digital Twin","volume":"55","author":"Allamaa","year":"2022","journal-title":"IFAC-PapersOnLine"},{"key":"ref_25","doi-asserted-by":"crossref","unstructured":"Valderas, P. (2023, January 23\u201326). Supporting the Implementation of Digital Twins for IoT-Enhanced BPs. Proceedings of the International Conference on Research Challenges in Information Science, Corfu, Greece.","DOI":"10.1007\/978-3-031-33080-3_14"},{"key":"ref_26","unstructured":"Corradini, F., Re, B., Rossi, L., and Tiezzi, F. (June, January Belgium). A Technique for Collaboration Discovery. Proceedings of the Business Process Modeling, Development and Support, Leuven."},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/978-3-031-08848-3_5","article-title":"Conformance checking: Foundations, milestones and challenges","volume":"Volume 448","author":"Carmona","year":"2022","journal-title":"Process Mining Handbook"},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1007\/978-3-031-08848-3_9","article-title":"Process mining over multiple behavioral dimensions with event knowledge graphs","volume":"Volume 448","author":"Fahland","year":"2022","journal-title":"Process Mining Handbook"},{"key":"ref_29","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1007\/978-3-031-08848-3_10","article-title":"Predictive process monitoring","volume":"Volume 448","author":"Ghidini","year":"2022","journal-title":"Process Mining Handbook"},{"key":"ref_30","doi-asserted-by":"crossref","unstructured":"Hasi\u0107, F., and Asensio, E.S. (2019, January 21). Executing IoT processes in BPMN 2.0: Current support and remaining challenges. Proceedings of the International Conference on Research Challenges in Information Science, Brussels, Belgium.","DOI":"10.1109\/RCIS.2019.8876998"},{"key":"ref_31","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1108\/BPMJ-07-2021-0485","article-title":"Consistent modelling of hierarchical BPMN collaborations","volume":"28","author":"Corradini","year":"2022","journal-title":"Bus. Process Manag. J."},{"key":"ref_32","doi-asserted-by":"crossref","first-page":"101459","DOI":"10.1016\/j.is.2019.101459","article-title":"Formalising and animating multiple instances in BPMN collaborations","volume":"103","author":"Corradini","year":"2022","journal-title":"Inf. Syst."},{"key":"ref_33","unstructured":"Muzi, C., Pufahl, L., Rossi, L., Weske, M., and Tiezzi, F. (November, January 31). Formalising BPMN Service Interaction Patterns. Proceedings of the Practice of Enterprise Modeling, Vienna, Austria."},{"key":"ref_34","first-page":"39","article-title":"Using BPMN to model Internet of Things behavior within business process","volume":"5","author":"Domingos","year":"2017","journal-title":"Int. J. Inf. Syst. Proj. Manag."},{"key":"ref_35","doi-asserted-by":"crossref","unstructured":"Caracas, A. (2012, January 19\u201323). From business process models to pervasive applications: Synchronization and optimization. Proceedings of the International Conference on Pervasive Computing and Communications Workshops, Lugano, Switzerland.","DOI":"10.1109\/PerComW.2012.6197503"},{"key":"ref_36","doi-asserted-by":"crossref","unstructured":"Kirikkayis, Y., Gallik, F., Winter, M., and Reichert, M. (2023). BPMNE4IoT: A framework for modeling, executing and monitoring IoT-driven processes. Future Internet, 15.","DOI":"10.3390\/fi15030090"},{"key":"ref_37","doi-asserted-by":"crossref","unstructured":"Otsu, K., Tepsuporn, S., Thakker, R., Vaquero, T.S., Edlund, J.A., Walsh, W., Miles, G., Heywood, T., Wolf, M.T., and Agha-Mohammadi, A.-A. (2020, January 7\u201314). Supervised Autonomy for Communication-degraded Subterranean Exploration by a Robot Team. Proceedings of the AeroConf, Big Sky, MT, USA.","DOI":"10.1109\/AERO47225.2020.9172537"},{"key":"ref_38","doi-asserted-by":"crossref","unstructured":"Singh, M., Fuenmayor, E., Hinchy, E.P., Qiao, Y., Murray, N., and Devine, D. (2021). Digital twin: Origin to future. Appl. Syst. Innov., 4.","DOI":"10.3390\/asi4020036"},{"key":"ref_39","doi-asserted-by":"crossref","unstructured":"Allweyer, T., and Schweitzer, S. (2012, January 12\u201313). A tool for animating BPMN token flow. Proceedings of the Business Process Model and Notation, Vienna, Austria.","DOI":"10.1007\/978-3-642-33155-8_8"},{"key":"ref_40","unstructured":"(2023, April 05). Signavio. Available online: https:\/\/www.signavio.com."},{"key":"ref_41","unstructured":"Corradini, F., Muzi, C., Re, B., Rossi, L., and Tiezzi, F. (2018, January 9\u201314). MIDA: Multiple Instances and Data Animator. Proceedings of the BPM (Dissertation\/Demos\/Industry), Sydney, Australia."},{"key":"ref_42","doi-asserted-by":"crossref","unstructured":"Abdul, B.M., Corradini, F., Re, B., Rossi, L., and Tiezzi, F. (2019, January 3\u20137). UBBA: Unity Based BPMN Animator. Proceedings of the Information Systems Engineering in Responsible Information Systems, Rome, Italy.","DOI":"10.1007\/978-3-030-21297-1_1"},{"key":"ref_43","unstructured":"(2023, April 05). Visual Paradigm, Business Process Design with Powerful BPMN Software. Available online: https:\/\/www.visual-paradigm.com\/features\/bpmn-diagram-and-tools."},{"key":"ref_44","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1016\/j.neucom.2015.04.130","article-title":"Automatic agent generation for IoT-based smart house simulator","volume":"209","author":"Lee","year":"2016","journal-title":"Neurocomputing"},{"key":"ref_45","unstructured":"De Melo, M.S.P., da Silva Neto, J.G., Da Silva, P.J.L., Teixeira, J.M.X.N., and Teichrieb, V. (2019, January 28\u201331). Analysis and comparison of robotics 3d simulators. Proceedings of the Symposium on Virtual and Augmented Reality, Rio de Janeiro, Brazil."},{"key":"ref_46","doi-asserted-by":"crossref","unstructured":"Bounceur, A., Clavier, L., Combeau, P., Marc, O., Vauzelle, R., Masserann, A., Soler, J., Euler, R., Alwajeeh, T., and Devendra, V. (2018, January 12\u201315). CupCarbon: A new platform for the design, simulation and 2D\/3D visualization of radio propagation and interferences in IoT networks. Proceedings of the Annual Consumer Communications & Networking Conference, Las Vegas, NV, USA.","DOI":"10.1109\/CCNC.2018.8319179"},{"key":"ref_47","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/978-3-031-08848-3_11","article-title":"Streaming process mining","volume":"Volume 448","author":"Burattin","year":"2022","journal-title":"Process Mining Handbook"},{"key":"ref_48","unstructured":"Tavares, G.M., Ceravolo, P., Da Costa, V.G.T., Damiani, E., and Junior, S.B. (July, January Italy). Overlapping analytic stages in online process mining. Proceedings of the International Conference on Services Computing, Milan."},{"key":"ref_49","first-page":"181","article-title":"A purpose-guided log generation framework","volume":"Volume 13420","author":"Burattin","year":"2022","journal-title":"Proceedings of the Business Process Management"},{"key":"ref_50","doi-asserted-by":"crossref","unstructured":"Brockhoff, T., Heithoff, M., Koren, I., Michael, J., Pfeiffer, J., Rumpe, B., Uysal, M.S., Van Der Aalst, W., and Wortmann, A. (2021, January 10\u201315). Process prediction with digital twins. Proceedings of the International Conference on Model Driven Engineering Languages and Systems Companion, Fukuoka, Japan.","DOI":"10.1109\/MODELS-C53483.2021.00032"},{"key":"ref_51","doi-asserted-by":"crossref","unstructured":"Hemmer, A., Badonnel, R., and Chrisment, I. (2020, January 20\u201324). A process mining approach for supporting IoT predictive security. Proceedings of the Network Operations and Management Symposium, Budapest, Hungary.","DOI":"10.1109\/NOMS47738.2020.9110411"},{"key":"ref_52","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1016\/j.cag.2021.01.011","article-title":"A robot arm digital twin utilising reinforcement learning","volume":"95","author":"Matulis","year":"2021","journal-title":"Comput. Graph."},{"key":"ref_53","doi-asserted-by":"crossref","first-page":"1363","DOI":"10.1016\/j.procs.2022.01.172","article-title":"Digital Twin for automated guided vehicles fleet management","volume":"199","author":"Alexandru","year":"2022","journal-title":"Procedia Comput. Sci."},{"key":"ref_54","doi-asserted-by":"crossref","unstructured":"Jaensch, F., Csiszar, A., Scheifele, C., and Verl, A. (2018, January 20\u201322). Digital Twins of Manufacturing Systems as a Base for Machine Learning. Proceedings of the Mechatronics and Machine Vision in Practice, Stuttgart, Germany.","DOI":"10.1109\/M2VIP.2018.8600844"},{"key":"ref_55","doi-asserted-by":"crossref","unstructured":"Mart\u00ednez-Guti\u00e9rrez, A., D\u00edez-Gonz\u00e1lez, J., Ferrero-Guill\u00e9n, R., Verde, P., \u00c1lvarez, R., and Perez, H. (2021). Digital twin for automatic transportation in industry 4.0. Sensors, 21.","DOI":"10.3390\/s21103344"},{"key":"ref_56","first-page":"20200360","article-title":"Industrial applications of digital twins","volume":"379","author":"Jiang","year":"2021","journal-title":"Philos. Trans."},{"key":"ref_57","doi-asserted-by":"crossref","unstructured":"Vach\u00e1lek, J., Bartalsk\u1ef3, L., Rovn\u1ef3, O., \u0160i\u0161mi\u0161ov\u00e1, D., Morh\u00e1\u010d, M., and Lok\u0161\u00edk, M. (2017, January 6\u20139). The digital twin of an industrial production line within the industry 4.0 concept. Proceedings of the International Conference on Process Control, Strbske Pleso, Slovakia.","DOI":"10.1109\/PC.2017.7976223"},{"key":"ref_58","unstructured":"Dumas, M. (2021, January 6\u201310). Constructing Digital Twins for Accurate and Reliable What-If Business Process Analysis. Proceedings of the Workshop on BPM Problems to Solve before We Die, Rome, Italy."},{"key":"ref_59","doi-asserted-by":"crossref","unstructured":"Sleuters, J., Li, Y., Verriet, J., Velikova, M., and Doornbos, R. (2019, January 19\u201322). A Digital Twin Method for Automated Behavior Analysis of Large-Scale Distributed IoT Systems. Proceedings of the System of Systems Engineering, Anchorage, AK, USA.","DOI":"10.1109\/SYSOSE.2019.8753845"},{"key":"ref_60","doi-asserted-by":"crossref","unstructured":"Lee, H.D., Guo, K., Souza, L.F., and Lee, J.M. (2021, January 12\u201315). Application of Digital Twin to Monitor and Optimize Utility Process. Proceedings of the Control, Automation and Systems, Jeju, Republic of Korea.","DOI":"10.23919\/ICCAS52745.2021.9649804"},{"key":"ref_61","doi-asserted-by":"crossref","unstructured":"Lehner, D., Sint, S., Vierhauser, M., Narzt, W., and Wimmer, M. (2021, January 7\u201310). AML4DT: A Model-Driven Framework for Developing and Maintaining Digital Twins with AutomationML. Proceedings of the IEEE Emerging Technologies and Factory Automation, Vasteras, Sweden.","DOI":"10.1109\/ETFA45728.2021.9613376"},{"key":"ref_62","doi-asserted-by":"crossref","first-page":"4123","DOI":"10.1007\/s00170-022-10445-3","article-title":"Digital twin and its applications: A survey","volume":"123","author":"Zhang","year":"2022","journal-title":"J. Adv. Manuf. Technol."}],"container-title":["Big Data and Cognitive Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2504-2289\/7\/3\/139\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T20:28:10Z","timestamp":1760128090000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2504-2289\/7\/3\/139"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,8]]},"references-count":62,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2023,9]]}},"alternative-id":["bdcc7030139"],"URL":"https:\/\/doi.org\/10.3390\/bdcc7030139","relation":{},"ISSN":["2504-2289"],"issn-type":[{"value":"2504-2289","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,8,8]]}}}