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