The formalization of musical composition rules is a topic that has been studied for a long time. It can lead to a better understanding of the underlying processes, and provide a useful tool for musicologist to aid and speed up the analysis process. In our attempt we introduce Schoenberg’s rules from Fundamentals of Musical Composition using a specialized version of Petri nets, called Music Petri nets. Petri nets are a formal tool for studying systems that are concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. We present some examples highlighting how multiple approaches to the analysis task can find counterparts in specific instances of PNs.
Baratè A, Mauro DA, Haus G, and Ludovico LA. Formalizing Schoenberg's Fundamentals of Musical Composition through Petri Nets. 15th Sound & Music Computing conference (SMC), July 2018, Limassol (Cyprus).