GreatSPN è un tool utilizzato per modellare, validare e valutare le reti di Petri.

Configurazione iniziale

Per poter utilizzare GreatSPN in laboratorio è necessario seguire questi due passaggi:

1) PATH

Aggiungere al proprio PATH le due directory del programma:

export PATH="$PATH:/opt/GreatSPN/bin:/opt/GreatSPN/scripts"

NOTA: per rendere permanente questa impostazione, è necessario inserire il precedente comando nel proprio file ~/.bashrc.

2) Impostazioni nell’editor

Lanciare l’editor con greatspn_editor.

(Alla prima esecuzione, sul terminale potrebbero apparire alcuni errori relativi alla cache di LaTeX.)

Aprire le impostazioni in Edit -> Options.

Scegliere il tab Solvers e cambiare queste impostazioni:

  • GreatSPN directory: /opt/GreatSPN
  • Model Library: /opt/GreatSPN/models

Test

Copiare un modello, ad esempio FlexibleManufactoringSystem.

Nota: GreatSPN deve poter creare una cartella nella directory del modello, quindi non è possibile utilizzare direttamente i modelli presenti in /opt/GreatSPN/.

Selezionare nell’albero a sinistra FMS-Measures.

Premere su Compute ALL, e poi su Results.