Work

A Reduced State-Space Generation Method for Concurrent Systems Based on CPN-PR Model

Year: 2024

Type: article

Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

DOI: 10.1109/tcad.2024.3515857

Authors: Wenjie Zhong, Tao Sun, Jian-Tao Zhou, Zhuowei Wang, Xiaoyu Song

Institutions: Inner Mongolia University, Guangdong University of Technology, Portland State University

Language: English

Topic: Petri Nets in System Modeling

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Natural Science Foundation of China, Natural Science Foundation of Inner Mongolia, Changsha Science and Technology Project

Awards: G1433353842, G2603907839, 基于粗粒度自动建模的并行软件模型检测方法及平台研究, G6677122838, G6717607201

OpenAlex ID: W4405270297

FWCI: 0.584

Cites: 28

Cited by: 3

Related to: 10