Exemple lecture/écriture dans un fichier 

For output file (and an input file) in CPN Tools, we use “SimpleProtocol_IO”.

écriture dans un fichier 

val _ = TextIO.output(file2, message) ou bien val _ = STRING.output(file2, message)

Tiré _ (val_) pour ne pas mentionner une deuxième fois un paramètre déjà définis, déjà connu :

val _ = TextIO.output(file2, message) ou bien val message = TextIO.output(file2, message)

parler des opérations après in

input (w,z);

output ();

action

inc i;

let

val file2 = TextIO.openOut("c:\\Users\\Mehdi\\Desktop\\file2.txt")

val message = "Le nombre de franchissement de la transition T0 est:"

val _ = TextIO.output(file2, message)

val _ = INT.output(file2,!i)

val _ =INT.output_ms(file2,1`w++2`z)

in

TextIO.closeOut(file2)

end;

ou bien

input (w,z);

output ();

action

inc i;
let

val file2 = TextIO.openOut("c:\\Users\\Mehdi\\Desktop\\file2.txt")

val message = "Le nombre de franchissement de la transition T0 est:"

in

TextIO.output(file2, message);

INT.output(file2,!i);

INT.output_ms(file2,1`w++2`z);

TextIO.closeOut(file2)

end;

Le résultat précédent est écrasé par le suivant : à chaque franchissement, le fichier est recréé à
nouveau et la valeur actuelle y est écrite. Donc, on doit définir et créer le fichier ailleurs de la région
code de la transition. En effet, on le de définit dans la zone déclaration et on le crée en exécutant la
commande comme un ‘aux. Text’ (la valeur ‘message’ est aussi déclarée). Apres on applique les
opérations dans la zone code région. Aussi, « TextIO.closeOut(file2); » doit être exécutée comme un
‘aux. Text’ à la fin de la simulation. Ainsi, on peut jouer avec le code de façon à avoir un fichier tel
qu’on désire (écrire les résultats puis le nombre global de franchissement de la transition…).

Retour à la ligne et espace CPN Tools : (ca n’est pas important tant qu’on peut modifier le fichier)

Lecture dans un fichier 

Les ++ dans le multiset doivent être séparés par espace de la valeur.

Plusieurs informations