* Install Spin: link

* Examples:

anyn.pml

simple-deadlock.pml

printer.pml

needham-schroeder.pml (buggy version)


 

Ultime modifiche: mercoledì, 18 settembre 2019, 11:39