Ning Ran
Hebei University
7 Papers
21 Citations
Ning Ran is an academic researcher from Hebei University. The author has contributed to research in topics: Petri net & Bounded function. The author has an hindex of 5, co-authored 7 publications. Previous affiliations of Ning Ran include Zhejiang University.
Chat about Author
Papers
Codiagnosability Analysis of Bounded Petri Nets
TL;DR: A novel approach to perform codiagnosability analysis of labeled bounded Petri nets by using the notion of basis markings to avoid exhaustive enumeration of the set of reachable markings, and in the construction of an automaton that allows one to detect the presence of ambiguous sequences.
77
Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection
TL;DR: The solution is based on two notions, already introduced by the authors in previous works, namelybasis marking and unfolded verifier, and it is shown that, solving an integer linear programming problem, it is possible to select a solution that is optimal with respect to a given objective function.
38
K-Codiagnosability Verification of Labeled Petri Nets
TL;DR: It is proved that the notion of Modified Verifier Nets (MVNs) can be verified looking at some special cycles in the reachability or coverability graph of the MVN, and the proposed approach is available for bounded and unbounded nets.
Diagnosability analysis of bounded Petri nets
Ning Ran,Jinyuan Hao,Zhou He,Carla Seatzu +3 more
- 01 Sep 2018
TL;DR: A finite state automaton, called DF-Verifier, is constructed, which allows one to perform diagnosability analysis by looking at some special cycles and states of bounded Petri nets with arbitrary labeling functions.
10
Event Feedback Supervision for a Class of Petri Nets With Unobservable Transitions
TL;DR: This paper proposes a method to design an on-line event feedback supervisor (EFS) for a class of Petri nets whose augmented unobservable subnets are acyclic forward synchronization and backward conflict-free (FSBCF) nets.
10