Petri net-based object-centric processes with read-only data
作者:
Highlights:
• A Petri net-based formalism for object-centric processes with read only data.
• Verification of safety properties with parameterisation over persistent data.
• Encoding into an SMT-based framework for data-aware process verification.
• A comparison with related models for object-centric processes.
摘要
•A Petri net-based formalism for object-centric processes with read only data.•Verification of safety properties with parameterisation over persistent data.•Encoding into an SMT-based framework for data-aware process verification.•A comparison with related models for object-centric processes.
论文关键词:Higher-level net models,Relationships between Petri nets and other approaches,Verification
论文评审过程:Received 1 February 2021, Revised 19 December 2021, Accepted 16 February 2022, Available online 25 February 2022, Version of Record 26 March 2022.
论文官网地址:https://doi.org/10.1016/j.is.2022.102011