Describing and Performing Musical Processes by Means of Petri Nets