1. Home
  2. Issues
  3. Volume 28, Issue 3 (2017)
  4. From Process Models to Concurrent System ...

Informatica


Cited by 3
From Process Models to Concurrent Systems in Alvis Language

Assessing business process models: a literature review on techniques for BPMN testing and formal verification
Tomás Lopes, Sérgio Guerreiro
https://doi.org/10.1108/BPMJ-11-2022-0557
Journal  Business Process Management Journal Volume 29, Issue 8 (2023), p. 133
Efficient conditional compliance checking of business process models
H. Groefsema, N.R.T.P. van Beest, A. Armas-Cervantes
https://doi.org/10.1016/j.compind.2019.103181
Journal  Computers in Industry Volume 115 (2020), p. 103181
International Conference on Frontiers of Traffic and Transportation Engineering (FTTE 2022)
Yi Zhang, Kaicheng Li, Guodong Wei, Lei Yuan, Fei Wang, Changxi Ma
https://doi.org/10.1117/12.2652694
Conference  (2022), p. 71


Share


RSS