A model-driven engineering approach to formally verify BPMN models using Petri nets
Achraf Lyazidi, Salma Mouline
| Year of publication: |
2017
|
|---|---|
| Authors: | Lyazidi, Achraf ; Mouline, Salma |
| Published in: |
International journal of business process integration and management : IJBPIM. - Olney, Bucks : Inderscience Enterprises, ISSN 1741-8763, ZDB-ID 2193360-1. - Vol. 8.2017, 4, p. 273-284
|
| Subject: | business process model and notation | BPMN | Petri nets | formal verification | model transformation | model driven engineering | MDE | Prozessmanagement | Business process management | Graphentheorie | Graph theory | Softwareentwicklung | Software development | Workflow-Management-System | Workflow management system | Modellierung | Scientific modelling |
| Type of publication: | Article |
|---|---|
| Type of publication (narrower categories): | Aufsatz in Zeitschrift ; Article in journal |
| Language: | English |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://ebvufind01.dmz1.zbw.eu/10011856379