before firing the enabled transition t. G D C t (b) The marking after firing transition t, where t is disabled. Figure: Illustration of a firing rule in a Petri Net. Shlomo Dubnov - University of California, San Diego - CREL (2016) Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings 6/16 6/16