En esta edición especializada se examinan modelos de concurrencia y redes Petri aplicados a sistemas informáticos conscientes de procesos, presentando análisis formal, verificación y optimización de flujos concurrentes en entornos complejos.