;; basic.pnml

{ " tokengame - osx " { : places [ " in " " out " ] : transitions [ " add " ] } }



;; arithmetic.pnml

{ " tokengame - osx " { : places [ " in1 " " in2 " " out1 " " out2 " " result " ]
;                  :transitions ["mult1" "mult2" "sum"]}}



;; conditional

{"tokengame-osx" {:places ["in" "out"]
                  :transitions ["evens" "odds"]}}

 basic.pnml
 arithmetic.pnml
                  :transitions ["mult1" "mult2" "sum"]}}
 conditional

{ " tokengame - osx " { : places [ " in " " out " ] : transitions [ " add " ] } }




{ " tokengame - osx " { : places [ " in1 " " in2 " " out1 " " out2 " " result " ]




{"tokengame-osx" {:places ["in" "out"]
                  :transitions ["evens" "odds"]}}
