1. Correctness Analysis of Cross-Organization Emergency Response Processes Based on Petri Nets;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2024-02
2. Petri Net Classes for Collaboration Mining: Assessment and Design Guidelines;Lecture Notes in Business Information Processing;2024
3. Modeling Interactions among Cyber-Physical Services;2022 IEEE 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 (DASC/PiCom/CBDCom/CyberSciTech);2022-09-12
4. Public Process Modeling Based on the Interactive Environment;2021 2nd International Conference on Artificial Intelligence and Information Systems;2021-05-28
5. Development of Collaborative Business Processes: A Correctness Enforcement Approach;IEEE Transactions on Services Computing;2021