A new business process verification approach for e-commerce using Petri nets
Mei Zhang, Fei Fen, Zhilong Zhang, Jinghua Wen
| Year of publication: |
2020
|
|---|---|
| Authors: | Zhang, Mei ; Fen, Fei ; Zhang, Zhilong ; Wen, Jinghua |
| Published in: |
International journal of enterprise information systems : an official publication of the Information Resources Management Association. - Hershey, Pa. [u.a.] : IGI Publ., ISSN 1548-1115, ZDB-ID 2414367-4. - Vol. 16.2020, 1, p. 92-107
|
| Subject: | Business | Business Process | E-Commerce | Formal Analysis and Verification | Petri Net | Process Execution Language | Prozessmanagement | Business process management | Electronic Commerce | E-commerce | Graphentheorie | Graph theory | Programmiersprache | Programming language |
| Type of publication: | Article |
|---|---|
| Type of publication (narrower categories): | Aufsatz in Zeitschrift ; Article in journal |
| Language: | English |
| Other identifiers: | 10.4018/IJEIS.2020010105 [DOI] |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://www.econbiz.de/10012182703