Formalizing Schoenberg's Fundamentals of Musical Composition through Petri Nets

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, non-deterministic, and/or stochastic. We present some examples highlighting how multiple approaches to the analysis task can find counterparts in specific instances of PNs.