Formal support of process chain networks using model-driven engineering and Petri nets.

Elena Gmez-Martnez, Francisco J. Prez-Blanco, Juan de Lara, Juan Manuel Vara, Esperanza Marcos

Browse the full SAC paper archive.