Work

A Structure-Modification-Based Petri Net Modeling and Reachability Analysis Method for Automated Manufacturing Systems

Year: 2025

Type: article

Source: IEEE Transactions on Automation Science and Engineering

DOI: 10.1109/tase.2025.3588429

Authors: Yue Su, MengChu Zhou, Liang Qi, Aiiad Albeshri, Abdullah Abusorrah

Institutions: Macau University of Science and Technology, New Jersey Institute of Technology, Shandong University of Science and Technology, King Abdulaziz University

Language: English

Topic: Petri Nets in System Modeling

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

SDG: Industry, innovation and infrastructure

Open Access status: closed

OpenAlex ID: W4412352793

FWCI: 1.976

Cites: 61

Cited by: 4

Related to: 10