Browsing UiS Brage by Author "Hatlevold, Jens Otto"
Now showing items 1-1 of 1
-
Coloring GPenSIM
Hatlevold, Jens Otto (Masteroppgave/UIS-TN-IDE/2008, Master thesis, 2008)The object of this report is to present a solution on how to implement color functionality in GPenSIM. Current version of GPenSIM is based on Place/Transition nets (PT-nets). When creating systems with PT-nets there are ...