Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins.
Han LiuXiaoyu SongGe GaoHehua ZhangYu-Shen LiuMing GuPublished in: CoRR (2022)
Keyphrases
- petri net
- colored petri nets
- stochastic petri net
- discrete event systems
- manufacturing systems
- petri net model
- sequence diagrams
- process model
- high level petri nets
- temporal information
- web service composition
- fuzzy petri net
- temporal reasoning
- production rules
- embedded real time systems
- decision making
- service composition
- temporal constraints
- story generation
- natural language
- concurrent systems
- service oriented