Application of Petri Nets to the Real-Time Interaction with Music Structures