Modeling and validating temporal rules with semantic Petri net for digital twins.
Han LiuXiaoyu SongGe GaoHehua ZhangYu-Shen LiuMing GuPublished 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