/*
 * Copyright (C) 2005, Robert Geist, Jacob Hicks, Mark Smotherman, James Westall
 * All rights reserved.
 *
 * cg_petri_pb2.cg
 */

#include "cg_petri_pb2.h"

void enable(float2 transition_index: TEXCOORD0, 
	out float color : COLOR, 
	uniform samplerRECT tex_tip,
	uniform samplerRECT tex_p)
{
float2 incidence_index, place_index;
float tip_index, incidence_value, place_value, eprod;

eprod=1.0;
for(tip_index=0.5;tip_index<MAX_T_IN_DEGREE;tip_index += 1.0){
	incidence_index = float2(tip_index,transition_index.x);
	incidence_value = texRECT(tex_tip,incidence_index);
	place_index = float2(incidence_value+0.5,0.5);
	place_value = texRECT(tex_p,place_index); 
	eprod *= place_value;
	}
color=sign(eprod);
}

void count_reservations(float2 place_index : TEXCOORD0, 
	out float color : COLOR, 
	uniform samplerRECT tex_pot,
	uniform samplerRECT tex_t)
{
float reservation_count;
float pot_index;
float2 incidence_index;
float incidence_value;
float2 transition_index;
float transition_value;

reservation_count=0;
for(pot_index=0.5;pot_index<MAX_P_OUT_DEGREE;pot_index += 1.0){
	incidence_index=float2(pot_index,place_index.x);
	incidence_value=texRECT(tex_pot,incidence_index);
	transition_index = float2(incidence_value+0.5,0.5);
	transition_value = texRECT(tex_t,transition_index);
	reservation_count += transition_value;
	}
color=reservation_count;
}

void fire(float2 place_index: TEXCOORD0, 
	out float color : COLOR, 
	uniform samplerRECT tex_pit,
	uniform samplerRECT tex_pot,
	uniform samplerRECT tex_p,
	uniform samplerRECT tex_t)
{
float incolor;
float2 incolor_index;
float2 incidence_index;
float incidence_value;
float pit_index, pot_index;
float2 transition_index;
float transition_value;

/* get current token value */
incolor = texRECT(tex_p,place_index);

/* use the enable flag (0 or 1) as the token count we're adding/subtracting */
for(pit_index=0.5;pit_index<MAX_P_IN_DEGREE;pit_index += 1.0){
	incidence_index=float2(pit_index,place_index.x);
	incidence_value=texRECT(tex_pit,incidence_index);
	transition_index = float2(incidence_value+0.5,0.5);
	transition_value = texRECT(tex_t,transition_index);
	incolor += transition_value;
	}
for(pot_index=0.5;pot_index<MAX_P_OUT_DEGREE;pot_index += 1.0){
	incidence_index=float2(pot_index,place_index.x);
	incidence_value=texRECT(tex_pot,incidence_index);
	transition_index = float2(incidence_value+0.5,0.5);
	transition_value = texRECT(tex_t,transition_index);
	incolor -= transition_value;
	}
color = incolor;
}