10 déc. 2013 ... Ce modèle correspond aux réseaux de Petri avec états (ou PNS ...... quel
message en attente peut être stocké dans le système avant qu'il ne soit livré. ......
spécifier d'abord un réseau de Petri avec TINA en lui demandant une ... 
