Liveness and Reachability Analysis of BPMN Process Models

CIT. Journal of Computing and Information Technology

Dahchour, Mohamed¹  En-Nouaary, Abdeslam¹  Rachdi, Anass¹ 

[1] Institut National des Postes et Télécommunication, Rabat, Morocco

关键词: business process modeling;    BPMN;    Time Petri Nets;    V&;    V;    algorithm;    distributed systems;   

DOI  :  

学科分类：计算机科学（综合）

来源: Sveuciliste u Zagrebu

【 摘 要 】

Business processes are usually defined by business experts who require intuitive and informal graphical notations such as BPMN (Business Process Management Notation) for documenting and communicating their organization activities and...

【 授权许可】

Unknown