Work

Predictability Verification of Fault Patterns in Labeled Petri Nets

Year: 2024

Type: article

Source: IEEE Transactions on Automatic Control

DOI: 10.1109/tac.2024.3477959

Authors: Xuya Cong, Zhenhua Yu, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li

Institutions: Xi'an University of Science and Technology, Polytechnic University of Bari, Macau University of Science and Technology

Language: English

Topic: Petri Nets in System Modeling

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Natural Science Foundation of China

Awards: G1474013467, G3175156566, G3409566541

OpenAlex ID: W4403277465

FWCI: 3.704

Cites: 25

Cited by: 19

Related to: 10