An improved approach to test diagnosability of bounded petri nets

Ran, Ning; Su, Hongye; Wang, Shouguang

doi:10.1109/jas.2017.7510406

Cited by 49 publications

(23 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…is section briefly reviews some basic concepts, including traces [4], event logs [4], Petri nets [25][26][27][28][29][30][31], transition systems [13], and alignments [13].…”

Section: Preliminariesmentioning

confidence: 99%

“…OA_one[i] ⟵ c i ; (19) JUMP TO Step 1; //obtain the optimal alignment for the given trace and be ready to do the search for the next one; (20) ELSE (21) sucstate ⟵ π 3 (t j ); (22) sucalign ⟵ c i ; (23) succost ⟵ π 3 (curnode) + lc(π 2 (t j )); (24) sucnode ⟵ (sucstate,sucalign, succost); (25) queue ⟵ queue ∪ {sucnode}; //add the successor to the queue; (26) END IF (27) END IF (28) END IF (29) END FOR (30) END WHILE (31) END FOR (32) RETURN OA_one; ALGORITHM 2: Computing an optimal alignment between the event log and the process model based on the standard likelihood cost function.…”

Section: Remaining Unchangedmentioning

confidence: 99%

“…cost � c i ; //update the minimum cost; (24) OA_all[i] ⟵ OA_all[i] ∪ c i ; //obtain an optimal alignment for the ith trace; (25) ELSE (26) sucstate ⟵ π 3 (t j ); (27) sucalign ⟵ c i ; (28) succost ⟵ c i ; (29) sucnode ⟵ (sucstate, sucalign, succost); (30) queue ⟵ queue ∪ {sucnode}; //add the successor to the queue; (31) END IF (32) END…”

Section: Adding New Transitionsmentioning

confidence: 99%

See 2 more Smart Citations

Analysis and Application of Transition Systems Based on Petri Nets and Relation Matrices to Business Process Management

Han

Tian

2020

Mathematical Problems in Engineering

View full text Add to dashboard Cite

In order to improve the efficiency of conformance checking in business process management, a business alignment approach is presented based on transition systems between relation matrices and Petri nets. Firstly, a log-based relation matrix of the events is obtained according to the event log. Then, the events in the relation matrix are observed and the transitions in the model are firing, and the activities in the log and in the model are compared. Next, the states of the log and the model are recorded until no new state can be generated, so a transition system can be obtained which includes optimal alignments between the event log and the process model. Finally, two detailed algorithms are presented to obtain an optimal alignment and all optimal alignments between the trace and the model based on the given cost function, respectively. The availability and effectiveness of the proposed approach are proved theoretically.

show abstract

“…is section briefly reviews some basic concepts, including traces [4], event logs [4], Petri nets [25][26][27][28][29][30][31], transition systems [13], and alignments [13].…”

Section: Preliminariesmentioning

confidence: 99%

Section: Remaining Unchangedmentioning

confidence: 99%

Section: Adding New Transitionsmentioning

confidence: 99%

See 1 more Smart Citation

Analysis and Application of Transition Systems Based on Petri Nets and Relation Matrices to Business Process Management

Han

Tian

2020

Mathematical Problems in Engineering

View full text Add to dashboard Cite

show abstract

“…It is of paramount significance to develop novel formal frameworks, analysis techniques, design tools, testing methods, and systematic control and optimization procedures for these kinds of man-made, highly complex systems. This is critical for their development and survivability [1][2][3][4][5][6].Focusing on supervisory control, deadlock analysis, scheduling, resource management, performance evaluation, system identification, fault diagnosis, and performance evaluation, as well as pertinent problems of DES, this special issue aims to make a timely collection of recent advances in the area. There were 77 manuscripts submitted to this special issue, and 19 papers were finally accepted for publication.…”

mentioning

confidence: 99%

mentioning

confidence: 99%

Special Issue on Modeling, Simulation, Operation and Control of Discrete Event Systems

Zhou

et al. 2018

Applied Sciences

View full text Add to dashboard Cite

Information and computer technologies provide the spur to burgeoning man-made, highly automated systems. Nowadays, discrete event systems (DES), as a natural abstraction of various contemporary technological applications, include intelligent urban traffic systems, automated flexible manufacturing systems, computer networks, communication protocols, logistic systems, monitoring and control of large buildings, scientific and business workflows, distributed databases, and concurrent software systems. Their modeling, simulation, operation, scheduling and control are the primary issues to be investigated. It is of paramount significance to develop novel formal frameworks, analysis techniques, design tools, testing methods, and systematic control and optimization procedures for these kinds of man-made, highly complex systems. This is critical for their development and survivability [1][2][3][4][5][6].Focusing on supervisory control, deadlock analysis, scheduling, resource management, performance evaluation, system identification, fault diagnosis, and performance evaluation, as well as pertinent problems of DES, this special issue aims to make a timely collection of recent advances in the area. There were 77 manuscripts submitted to this special issue, and 19 papers were finally accepted for publication. The acceptance rate was 24.6%.The first paper [7], authored by Yao and Li, investigates the input-output finite time stabilization of time-varying impulsive positive hybrid systems based on finite state machines through the mode-dependent average dwell time technique. An output feedback controller is proposed that can stabilize non-autonomous hybrid systems by formulating the considered problem as a linear program. The second paper [8], authored by Yang, Peng, Ju, Xu, Yin, and Huang, is concerned with the efficiency improvement of multi-agent simulation. To address the problem of resynchronization interval selection and cyclic dependency, this paper presents a lookahead behavior model where a minimal safe time window is used to predict the interactions among implicit models. Consequently, the resynchronization interval can be efficiently determined.The third paper [9], authored by Kucharska, proposes a heuristic decision-making approach for an NP-hard scheduling problem based on an algebraic-logical meta-model. By constructing an acceptable solution only, it significantly reduces the calculation cost. A general algorithm is developed and applied to the scheduling problems of unrelated parallel machines with a deadline and machine setup time dependent on the process state. The fourth paper [10], authored by Choi, Seo, and Kim, deals with discrete event system simulation, aiming to improve simulation efficiency by using a multi-fidelity modeling framework, while keeping simulation accuracy loss minimized. A number of novel concepts, such as an interest region, a fidelity change condition, and a selection model, are defined and integrated into the framework.

show abstract

A semi‐symbolic diagnoser for fault diagnosis of bounded labeled petri nets

Boussif

Ghazel²,

Klaï

2020

Asian Journal of Control

View full text Add to dashboard Cite

In this paper, we present a diagnoser‐based approach to deal with fault diagnosis of bounded labeled Petri nets. The approach consists in building a semi‐symbolic diagnoser to analyze diagnosability and perform online diagnosis. The contribution of this paper is twofold: (i) from the theoretical point of view, we provide new conditions for checking diagnosability based on a novel diagnoser variant that explicitly separates the normal reachable markings from the faulty ones, in each diagnoser node. This allows us to independently keep tracking the normal and the faulty diagnoser paths more efficiently. (ii) From the practical point of view and in order to reduce the memory required to build the diagnoser efficiently, we establish a semi‐symbolic encoding of the diagnoser state‐space. Such a representation deploys a symbolic encoding of the diagnoser nodes content, using Binary Decision Diagrams, while it keeps an explicit encoding of the observable transitions between the nodes. In addition, we provide an on‐the‐fly algorithm to simultaneously construct the diagnoser and analyze diagnosability. The effectiveness of the approach is illustrated through some experimentation performed on a Petri net benchmark.

show abstract

An improved approach to test diagnosability of bounded petri nets

Cited by 49 publications

References 0 publications

Analysis and Application of Transition Systems Based on Petri Nets and Relation Matrices to Business Process Management

Analysis and Application of Transition Systems Based on Petri Nets and Relation Matrices to Business Process Management

Special Issue on Modeling, Simulation, Operation and Control of Discrete Event Systems

A semi‐symbolic diagnoser for fault diagnosis of bounded labeled petri nets

Contact Info

Product

Resources

About