Verification of EPCs: Using Reduction Rules and Petri Nets

• Autores: B.F. van Dongen, Wil M. P. van der Aalst, H. M. W. Verbeek
• Localización: Advanced Information Systems Engineering. 17th International Conference, CAiSE 2005 Porto, Portugal, June 13-17, 2005. Proceedings / coord. por Oscar Pastor López, Joao Falcáo e Cunha, 2005, ISBN 9783540260950, págs. 372-386
• Idioma: inglés
• Texto completo no disponible (Saber más ...)