//-->
A model-driven engineering approach to formally verify BPMN models using Petri nets
Lyazidi, Achraf, (2017)
Dynamic monitoring of service outsourcing for timed workflow processes
Du, Yanhua, (2019)
Detect and analyse the concurrent flaws of the BPEL process in a VPN-based approach
Cui, Puwen, (2020)
Handbook of research on modern cryptographic solutions for computer and cyber security
Gupta, Brij, (2016)