Author:
Sun Tao,Zhang Ting,Guo Xin
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Verification Framework for Time-Triggered Networks Based on Timed Colored Petri Net;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2024-07
2. Concurrent software fine‐coarse‐grained automatic modelling by Coloured Petri Nets for model checking;IET Software;2022-12-30
3. Coloured Petri nets for abstract test generation in software engineering;Software Testing, Verification and Reliability;2022-12-20
4. An Automatic Coarse-Fine-Granularity Modeling Method for IoT System toward THCPN model checking;2022 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom);2022-12