Ligia Maria Soares Passos, Stéphane Julia. Qualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, San Antonio, TX, USA, 11-14 October 2009. pages 2843-2847, IEEE, 2009. [doi]
Abstract is missing.