A change domain‐based model repair method via Petri nets

2020 ◽  
Author(s):  
Lei Yu ◽  
Qingzhi Liu ◽  
Rong Hua ◽  
You Fu
Keyword(s):  
Petri Nets ◽  
Repair Method ◽  
Model Repair

A CTL model repair method for Petri Nets

2014 ◽  
Author(s):  
Ulises Martinez-Araiza ◽  
Ernesto Lopez-Mellado
Keyword(s):  
Petri Nets ◽  
Repair Method ◽  
Model Repair

scholarly journals A Model Repair Approach Based on Petri Nets by Constructing Free-Loop Structures

IEEE Access ◽  
2019 ◽  
Vol 7 ◽  
pp. 24214-24230 ◽  
Author(s):  
Zhaoyang He ◽  
Yuyue Du ◽  
Liang Qi ◽  
Haisen Du
Keyword(s):  
Petri Nets ◽  
Model Repair

scholarly journals A Process Model Repair Approach by Constructing Choice Structures via Logic Petri Nets

IEEE Access ◽  
2019 ◽  
Vol 7 ◽  
pp. 172387-172402
Author(s):  
Yuhua Xu ◽  
Yuyue Du ◽  
Wenjing Luan ◽  
Liang Qi
Keyword(s):  
Petri Nets ◽  
Process Model ◽  
Model Repair

Conjoining Fault Trees with Petri Nets to Model Repair Policies

2011 ◽  
pp. 131-143
Author(s):  
Marcin Kowalski ◽  
Jan Magott
Keyword(s):  
Petri Nets ◽  
Fault Trees ◽  
Model Repair

scholarly journals Model repair of Time Petri Nets with temporal anomalies

2015 ◽  
Vol 48 (7) ◽  
pp. 85-90 ◽  
Author(s):  
F. Basile ◽  
P. Chiacchio ◽  
J. Coppola
Keyword(s):  
Petri Nets ◽  
Time Petri Nets ◽  
Model Repair

scholarly journals A Simple Logic Transition Repair Method for Business Process Models via Logic Petri Nets

IEEE Access ◽  
2019 ◽  
Vol 7 ◽  
pp. 76628-76644
Author(s):  
Yuanxiu Teng ◽  
Yuyue Du ◽  
Liang Qi ◽  
Wenjing Luan ◽  
Lu Wang
Keyword(s):  
Petri Nets ◽  
Business Process ◽  
Process Models ◽  
Business Process Models ◽  
Repair Method ◽  
Simple Logic

Mesh Model Repair with Ck-1 Continuity

2010 ◽  
Vol 426-427 ◽  
pp. 137-141
Author(s):  
Tian Ran Yuan ◽  
W.H. Liao ◽  
N. Dai ◽  
X.S. Cheng
Keyword(s):  
Surface Energy ◽  
Boundary Conditions ◽  
Lagrange Equation ◽  
Surface Patch ◽  
Initial Surface ◽  
Repair Method ◽  
Model Repair ◽  
Mesh Model ◽  
Hole Boundary

An efficient mesh model repair method is proposed in this paper, which can repair the holes with boundary continuity. It is mainly composed of the following steps: Firstly, the hole boundary is triangulated to generate the initial surface patch, of which the edges are distributed along the boundary averagely similar to an curtain covering at a window. Secondly, the initial surface patch is refined, and the interior edges are relaxed while refining to get a Delaunay-like refinement surface patch, which approximates the density of the surrounding mesh. Finally, the refinement surface patch is reshaped based on the minimization of the surface energy solved by the order discrete Euler-Lagrange equation in order to realize the continuity repair. The proposed method is proved to be efficient and robust by experiments of different kinds of boundary conditions.

scholarly journals CTL Model Repair for Bounded and Deadlock Free Petri Nets

2015 ◽  
Vol 48 (7) ◽  
pp. 154-160 ◽  
Author(s):  
Ulises Martínez-Araiza ◽  
Ernesto Lόpez-Mellado
Keyword(s):  
Petri Nets ◽  
Model Repair

Petri nets

AccessScience ◽  
2015 ◽  
Keyword(s):  
Petri Nets
Sign in / Sign up

Export Citation Format

Share Document