Fundamental concepts of analysis in batches Petri nets. - Isabel Demongodin; M. Caradec; François Prunet (SMC, 1998)