Formalizing Schoenberg’s Fundamentals of Musical Composition through Petri Nets
Constraint programming systems for modeling music theories and composition