A Method for Repairing Process Models Containing a Choice With Concurrency Structure by Using Logic Petri Nets
Process models are used to describe or verify the correctness of business processes before their implementation by enterprise information systems. With the development of data mining technologies, a lot of event logs generated from such systems can be used to check conformance of business processes...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2019-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/8618316/ |