Este libro ofrece una visión profunda sobre redes Petri y modelos de concurrencia, presentando nuevas técnicas de modelado, algoritmos de análisis y estudios de caso que amplían la comprensión de sistemas concurrentes avanzados.