Ahmed Kheldoun, Kamel Barkaoui, Malika Ioualalen. Formal verification of complex business processes based on high-level Petri nets. Inf. Sci., 385:39-54, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.