论文标题
使用数字双胞胎的语义Petri-NET对时间规则进行建模和验证时间规则
Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins
论文作者
论文摘要
RDFS/OWL数据的语义规则检查已广泛用于建筑行业。目前，语义规则检查主要在静态模型上执行。整合时间模型和语义模型以进行合并规则检查仍然存在挑战。在本文中，将语义Petri-Net（SPN）作为一种新型的时间建模和验证方法提出，该方法直接基于RDF和SPARQL直接实现了有色Petri-NET的状态和过渡，并实现了在运行时域语义网和时间模型之间的知识的双向共享。提供了几种情况，以证明具有同时变化和依赖性的数字双胞胎中可能的应用。
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.
