#VRML V2.0 utf8
#
# Petri Net Template
#
# 

PROTO PN [
 field       SFVec3f   position 0 0 0
 field       MFNode    places []
 field       MFNode    transitions []
 field       MFNode    trace_places []
 field       MFNode    trace_transitions []
 field       MFNode    inputs[]
 eventIn     SFFloat   set_clock 
]
 {
  Transform {
    translation IS position
    
    children [
    Group {children IS places}
    Group {children IS transitions}
    Group {children IS trace_places}
    Group {children IS trace_transitions}
    Group {children IS inputs}

 DEF Pn_Run Script {
  field        MFNode  places IS places
  field        MFNode  transitions IS transitions
  eventIn      SFFloat set_clock IS set_clock
  
  url "javascript:  
         function initialize() {
}

function set_clock(value,ts) {

  for (j=0; j<places.length; j++) {
    places[j].set_clock = value;
  }
  
   for (i=transitions.length; i>0; i--) {
transitions[i-1].set_clock = value;
}
}
"  } #Script
    ]
  }# Transform

}

PROTO PN_PLACE [
 exposedField    MFNode    geometry []
 field           MFNode   behavior []
 field           SFInt32   number_start_tokens 0
 exposedField    SFInt32   tokencount 0
 eventIn SFFloat set_clock 
 eventIn         SFBool    token_arrive
 eventOut        SFBool    token_start
 eventOut        SFBool     token_available
 ]
 {
 Transform{
   children [
     
     Group {children IS behavior}
     Group {children IS geometry}
]

}
 
 DEF PlaceScript Script {
  directOutput TRUE
  eventIn SFFloat set_clock IS set_clock
  eventIn   SFBool   token_arrive IS token_arrive
  eventOut  SFBool   token_available IS token_available
  eventOut SFBool token_start IS token_start
  field        MFNode   behavior IS behavior
  field SFInt32 number_start_tokens IS number_start_tokens

url "javascript:
function initialize() {
 }

  function token_arrive(token,ts) {

   token_available = TRUE;
    
  }

  function set_clock(value,ts) {

    number_start_tokens = number_start_tokens -1;
    behavior[0].set_clock = value;
   if(number_start_tokens >= 0) {          
     token_start = TRUE;
      

    }
  }" 

 } # PlaceScript Script
ROUTE PlaceScript.token_start TO PlaceScript.token_arrive
} #PROTO PN_PLACE


PROTO PN_TRANSITION [  
 exposedField MFNode   geometry []
 field        MFNode   behavior []
 field        MFNode   placefrom []
 field        MFNode   placeto []
 field        SFInt32  ready_token_count 0
 field        SFFloat  fireSpeed .0006
 field        SFFloat  startInterval -1
 eventIn      SFFloat  set_clock
 eventIn      SFBool   inform_transition
 eventOut     SFBool   fire_transition
  ]
 { 
 Transform{
  
   children [
       Group {children IS geometry}
       Group {children IS placefrom}
       Group {children IS placeto}
       Group {children IS behavior}
]
}

 DEF Fire Script{
directOutput TRUE
    eventIn  SFBool inform_transition IS inform_transition 
   eventOut SFBool fire_transition IS fire_transition 
  field    MFNode placefrom IS placefrom
  field    MFNode placeto IS placeto
  field    SFInt32 ready_token_count IS ready_token_count
eventIn      SFFloat   set_clock IS set_clock
 field        SFFloat   fireSpeed IS fireSpeed
field        SFFloat   startInterval IS startInterval
  url "javascript:
  function initialize() {
 
   ready_token_count = 0;
 }



function set_clock(value,ts) {
if (startInterval == -1)
startInterval = value;

else {

if ( value - startInterval >= fireSpeed) {

startInterval = value;
 

   all_present = false;

     if (placefrom.length <= ready_token_count)
      {
      //check if one from each placefrom
      
        for (i=0;i<placefrom.length; i++) {

          
          if (placefrom[i].tokencount <1)
            break;
          else
          {
            if (i == placefrom.length-1)
            all_present = true;
           }  
         } 

         if (all_present == true){

 ready_token_count = ready_token_count - placefrom.length;
                  
for (j=0;j<placeto.length; j++) {
  
  placeto[j].set_tokencount = placeto[j].tokencount +1;
}
  for (i=0;i<placefrom.length; i++) {

placefrom[i].set_tokencount = placefrom[i].tokencount -1;

}

fire_transition = TRUE;
 
}
}
}
 }
}


    function inform_transition(value,ts) { 
      ready_token_count = ready_token_count +1;
     
  }"
 } # Fire Script
} #PROTO PN_TRANSITION



PROTO PN_TRACE_PLACE [
 field          SFVec3f   position 0 0 0
 field          MFNode    geometry []

] 

 { 
 Transform{
  children IS geometry
 }

}
PROTO PN_TRACE_TRANSITION [
 field          SFVec3f   position 0 0 0
 field          MFNode    geometry []
 
] 

{ 
 Transform{
  children IS geometry
 }

} #PROTO PN_TRACE_TRANSITION


PROTO PN_PLACE_TOKEN_STATUS [

field     SFInt32  int_value 0
field    SFNode itsplace NULL
field SFVec3f   position 0 0 0
eventIn SFInt32 set_clock
field MFString behavior ""
field       SFNode    node           NULL

]

{
 Transform {
    translation IS position
    children [
         Billboard {
           axisOfRotation 0 0 0
           children [
             Shape {
               appearance Appearance {
                   material DEF Mat Material {diffuseColor 1 1 0}}
               geometry DEF Token_Status_Display Text {
                   string ""
                   length 4
                   fontStyle FontStyle {
                      family "SANS"
                      justify "MIDDLE"
                      horizontal TRUE
                      leftToRight TRUE
                      size 2.5
                      spacing 1.2
                      style "BOLD"
                   } #FontStyle
                   length 0
                } #geometry
              } #Shape
            ] #children
          } #Billboard
       DEF Tokenstatus Script {
       
       eventIn   SFInt32  set_clock IS set_clock

       field     SFInt32  int_value IS int_value
       eventOut  MFString set_string 
       field   SFNode itsplace IS itsplace
field SFNode node IS node
       url "javascript:
              function set_clock(value,ts) {

node = itsplace.geometry[0];

 int_value = itsplace.tokencount;
if (itsplace.tokencount == 0)
node.set_transparency = .7;
else
node.set_transparency = .3;
 set_string = new MFString(new String(int_value));

              }
                   "
       } #Script        
    ]
  } #Transform
  ROUTE Tokenstatus.set_string TO Token_Status_Display.set_string


}


PROTO PN_INPUT [
  field        SFVec3f  position   0 0 0
  eventIn        SFTime touched
  eventOut       SFBool startsim 
]

 {
 Transform{
translation IS position

  children [
  DEF Touch TouchSensor {enabled TRUE}

  DEF button Shape
        {
geometry Sphere {radius 1.5}
appearance	Appearance {
         material	Material {
	   diffuseColor	1 0.8 0
	
	emissiveColor	0.28 0.22 0

	transparency	0
          }
         }
                 } #Shape

         
 
  DEF Input Script {
    eventIn     SFTime touched IS touched
    eventOut    SFBool startsim IS startsim 
    url "javascript:
      function touched(value,ts) {

startsim = TRUE;
}"
}#Script
]
}
 ROUTE Touch.touchTime TO Input.touched

}#Proto input