Per vedere un esempio di enumerazione, aprire il seguente file PKT di esempio:
Enumeration Example.pkt
Nel file PKT di esempio è illustrato un componente sezione tipo che rappresenta una barriera.
 Switch che consente la selezione tra quattro tipi di barriera standard. I tipi di barriera vengono controllati mediante il valore Default Value disponibile nel parametro BarrierType. 
  sequenze sono utilizzati valori di variabili per definire i valori dei parametri per i singoli tipi di barriera. 