Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins
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.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Language-Preserving Reduction Rules for Block-Structured Workflow Nets
Process models are used by human analysts to model and analyse behaviour, and by machines to verify properties such as soundness, liveness or other reachability properties, and to compare their expressed behaviour with r…
A Numerical Comparison of Petri Net and Ordinary Differential Equation SIR Component Models
Petri nets are a promising modeling framework for epidemiology, including the spread of disease across populations or within an individual. In particular, the Susceptible-Infectious-Recovered (SIR) compartment model is f…
EpidemiologyvalidPetri Net Modeling of the Brain Circuit Involved in Aggressive Behavior
The purpose of this work in to demonstrate the initial results of a research project having as its goal to develop dynamic models of the brain network involved in aggressive behavior. In this way, the complex neural proc…
An Open Petri Net Implementation of Gene Regulatory Networks
Gene regulatory network (GRN) plays a central role in system biology and genomics. It provides a promising way to model and study complex biological processes. Several computational methods have been developed for the co…
Petri Net Description of Biological Neural Circuits for Fast Hardware Prototyping
Current approaches to simulating biological neural circuits, whether on general-purpose hardware or dedicated neuromorphic platforms, remain constrained by fixed-timestep numerical integration, hardware-imposed precision…