Découvrez comment les réseaux de Petri et algèbres de processus (CCS, CSP) modélisent la concurrence et la polymétrie musicale. Un guide essentiel pour formaliser la musique.