Modeling and validating temporal rules with semantic Petri net for digital twins.

Han Liu Xiaoyu Song Ge Gao Hehua Zhang Yu-Shen Liu Ming Gu

Published in: Adv. Eng. Informatics (2023)

Keyphrases

petri net
colored petri nets
stochastic petri net
manufacturing systems
petri net model
discrete event systems

sequence diagrams
web service composition
high level petri nets
ims ld
natural language
service composition

temporal information
process model
embedded real time systems
expert systems
story generation

fuzzy petri net
neural network
temporal constraints
temporal reasoning
classification rules