Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins
This work addresses a specific problem in the construction industry for digital twin applications, representing an incremental advancement by combining existing concepts like Colored Petri-Net with semantic technologies.
The paper tackled the challenge of integrating temporal models with semantic models for rule checking in digital twins, proposing Semantic Petri-Net (SPN) as a novel method that enables two-way knowledge sharing between domain semantic webs and temporal models at runtime.
Semantic rule checking on RDFS/OWL data has been widely used in the construction industry. At present, semantic rule checking is mainly performed on static models. There are still challenges in integrating temporal models and semantic models for combined rule checking. In this paper, Semantic Petri-Net (SPN) is proposed as a novel temporal modeling and validating method, which implements the states and transitions of the Colored Petri-Net directly based on RDFS and SPARQL, and realizes two-way sharing of knowledge between domain semantic webs and temporal models in the runtime. Several cases are provided to demonstrate the possible applications in digital twins with concurrent state changes and dependencies.