Model Checking of Variable Petri Nets by Using the Kripke Structure-Reference-Cited by-同舟云学术

Model Checking of Variable Petri Nets by Using the Kripke Structure

Published:2022-12 Issue:12 Volume:52 Page:7774-7786
ISSN:2168-2216
Container-title:IEEE Transactions on Systems, Man, and Cybernetics: Systems
language:
Short-container-title:IEEE Trans. Syst. Man Cybern, Syst.

Author:

Yang Ru¹^ORCID,Ding Zhijun²^ORCID,Guo Tong²,Pan Meiqin³,Jiang Changjun²^ORCID

Affiliation:

1. Department of Computer Science and Technology, Shanghai Normal University, Shanghai, China

2. Department of Computer Science and Technology, Key Laboratory of Embedded System and Service Computing, Ministry of Education, Tongji University, Shanghai, China

3. School of Business and Management, Shanghai International Studies University, Shanghai, China

Funder

National Key Research and Development Program of China

National Natural Science Foundation of China

Shanghai International Studies University Development Program

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Subject

Electrical and Electronic Engineering,Computer Science Applications,Human-Computer Interaction,Control and Systems Engineering,Software

Link

http://xplorestaging.ieee.org/ielx7/6221021/9954241/09757190.pdf?arnumber=9757190

Reference41 articles.

1. Simple on-the-fly automatic verification of linear temporal logic;gerth;Proc Int Conf Protocol Specif Test Verif,1995

2. An automata-theoretic approach to linear temporal logic

3. Model checking coloured Petri nets exploiting strongly connected components;cheng;Proc Int Workshop Discrete Event Syst,1996

4. Scenario-based system design with colored Petri nets: an application to train control systems

5. Formal modelling and verification of a component model using coloured petri nets and model checking

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Optimal saturated information load analysis for enhancing robustness in unmanned swarms system;Complex & Intelligent Systems;2024-07-05

2. Optimal Strategy Model Checking in Possibilistic Decision Processes;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2023-10

3. PARAMETERIZED REACHABILITY GRAPH FOR SOFTWARE MODEL CHECKING BASED ON PDNET;COMPUT INFORM;2023