A Logic Petri Net-Based Repair Method of Process Models with Incomplete Choice and Concurrent Structures

Yuanxiu Teng, Yuyue Du, Liang Qi. A Logic Petri Net-Based Repair Method of Process Models with Incomplete Choice and Concurrent Structures. Computers and Artificial Intelligence, 39(1):264-297, 2020. [doi]

@article{TengDQ20,
  title = {A Logic Petri Net-Based Repair Method of Process Models with Incomplete Choice and Concurrent Structures},
  author = {Yuanxiu Teng and Yuyue Du and Liang Qi},
  year = {2020},
  url = {http://www.cai.sk/ojs/index.php/cai/article/view/4914},
  researchr = {https://researchr.org/publication/TengDQ20},
  cites = {0},
  citedby = {0},
  journal = {Computers and Artificial Intelligence},
  volume = {39},
  number = {1},
  pages = {264-297},
}