Work

Model Checking of $\omega$-Independent Unbounded Petri Nets for an Unbounded System

Year: 2024

Type: article

Source: IEEE Transactions on Computational Social Systems

DOI: 10.1109/tcss.2024.3462455

Authors: Shuo Wang, Ru Yang, Wangyang Yu, Zhijun Ding, Changjun Jiang

Institutions: Tongji University, Shanghai Normal University, Shaanxi Normal 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, National Key Research and Development Program of China

Awards: G5342982222, G8967163233

OpenAlex ID: W4403759014

FWCI: 0.586

Cites: 42

Cited by: 3

Related to: 10