C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Modeling and Analysis of ETC Control System with Colored Petri Net and Dynamic Slicing.
Wangyang Yu
Jinming Kong
Zhijun Ding
Xiaojun Zhai
Zhiqiang Li
Qi Guo
Published in:
ACM Trans. Embed. Comput. Syst. (2024)
Keyphrases
</>
colored petri nets
control system
petri net
quantitative analysis
search engine
web services
decision trees
multi agent systems
image analysis
source code
statistical modeling
static analysis
safety analysis