The alternatives aggregation Petri nets as a formalism to design discrete event systems. (13th October 2010)