C
ChengYing Wang
Researcher at Zhejiang Gongshang University
Publications - 15
Citations - 290
ChengYing Wang is an academic researcher from Zhejiang Gongshang University. The author has contributed to research in topics: Petri net & Deadlock. The author has an hindex of 7, co-authored 15 publications receiving 267 citations.
Papers
More filters
Journal ArticleDOI
A Method to Compute Strict Minimal Siphons in a Class of Petri Nets Based on Loop Resource Subsets
TL;DR: The computational efficiency of the SMS enumeration task is significantly improved by the proposed method, and computational time comparisons are provided on several S3PRs to show its superior efficiency.
Journal ArticleDOI
Controllability Conditions of Resultant Siphons in a Class of Petri Nets
TL;DR: In this paper, the concept of key resource subsets is proposed which is shown to be the critical factor in deciding the controllability conditions of the S3PRs, and a necessary and sufficient condition is proposed under which the resultant siphon can be always marked if its two SMSs are M-controlled.
Journal ArticleDOI
Design of Optimal Monitor-Based Supervisors for a Class of Petri Nets With Uncontrollable Transitions
TL;DR: The proposed method utilizes an optimal monitor-based supervisor to enforce a GMEC containing infinite elements, which has not been seen in any prior research, and has higher computational efficiency at the expense of application scope than some existing methods.
Journal ArticleDOI
A New Modified Reachability Tree Approach and Its Applications to Unbounded Petri Nets
TL;DR: This paper proposes a new modified reachability tree (NMRT) approach for a class of unbounded generalized Petri nets called ω-independent nets and has a larger application scope than all the existing methods.
Journal ArticleDOI
Comments on "Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems
TL;DR: This correspondence modifies the illustrative examples for Algorithm H2 by removing the redundant weighted control places and getting a maximally permissive control for the original net.