Abstract | ||
---|---|---|
In order to guarantee the correctness of business processes, not only control-flow errors but also data-flow errors should be considered. The control-flow errors mainly focus on deadlock, livelock, soundness, and so on. However, there are not too many methods for detecting data-flow errors. This paper defines Petri nets with data operations (PN-DO) that can model the operations on data such as rea... |
Year | DOI | Venue |
---|---|---|
2018 | 10.1109/JAS.2017.7510766 | IEEE/CAA Journal of Automatica Sinica |
Keywords | Field | DocType |
Petri nets,Concurrent computing,Business,Data models,Unified modeling language,Process control,System recovery | Petri net,Business process,Correctness,Deadlock,Theoretical computer science,Reachability,Control engineering,Soundness,Business process modeling,Mathematics,Data flow diagram | Journal |
Volume | Issue | ISSN |
5 | 1 | 2329-9266 |
Citations | PageRank | References |
4 | 0.41 | 0 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Dongming Xiang | 1 | 9 | 2.21 |
GuanJun Liu | 2 | 176 | 26.24 |
Chun-Gang Yan | 3 | 62 | 15.97 |
Changjun Jiang | 4 | 1350 | 117.57 |