In: Lecture Notes in Computer Science : Computer Music Modeling and Retrieval, Volume 3902, 2006, pages 201-218. 2006. URL: http://dx.doi.org/10.1007/1175106919.
Abstract: Petri Nets are a formal tool for studying systems that are concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. They were used in a number of real-world simulations and scientific problems, but seldom considered an effective means to describe and/or generate music. The purpose of this paper is demonstrating that Petri Nets (enriched with some peculiar extensions) can well represent the results of a musicological analysis process.