Transactions on Petri Nets and Other Models of Concurrency IV
Descubre una compilación exhaustiva sobre redes Petri y modelos de concurrencia, con estudios de casos detallados, algoritmos de verificación y técnicas de modelado formal que enriquecen la investigación avanzada.