//-->
A model-driven engineering approach to formally verify BPMN models using Petri nets
Lyazidi, Achraf, (2017)
A supervisory control method of upper limit constraints for workflow nets
Yamaguchi, Shingo, (2017)
Dynamic monitoring of service outsourcing for timed workflow processes
Du, Yanhua, (2019)