AVG(min(P0)) ne renvoit pas le minimum des jetons (mais 0, au lieu de 2)
Le réseau de Petri décrit dans le fichier placemin2.grml contient une place P0 (marquage initial 2 jetons) et une transition T0 exponentielle qui ne peut que rajouter des jetons dans la place. On s'attend à donc min(P0) = 2 pour toute trajectoire.
Néanmoins,
Cosmos placemin2.grml --loop 20 --HASL-expression "mymin=AVG(Min(P0));" --batch 1
renvoie mymin : 0.