Este volumen recopila artículos contemporáneos sobre redes Petri y modelos alternativos de concurrencia, presentando nuevas técnicas de modelado, análisis formal y ejemplos de aplicación en sistemas distribuidos.