期刊论文详细信息
CIT. Journal of Computing and Information Technology | |
Liveness and Reachability Analysis of BPMN Process Models | |
Dahchour, Mohamed1  En-Nouaary, Abdeslam1  Rachdi, Anass1  | |
[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
【 预 览 】
Files | Size | Format | View |
---|---|---|---|
RO201911300580714ZK.pdf | 1236KB | download |