* This file contains SHARPE examples of the gspn
* (generalized stochastic Petri net) model type.

* Example 1: An example of a gspn model that translates into an
* irreducible Markov chain. Steady-state analysis is then 
* carried out.
bind
tok1 1
tok0 0
rat1 1.0
rat2 100.0
rat3 10000.0
pr1 0.3
pr2 0.7
mult1 1
end

gspn test
* places
p0 tok1
p1 tok0
p2 tok0
p3 tok0
end
* timed trans
t0 ind rat1
t3 ind rat2
t4 ind rat3
end
* immed trans
t1 ind pr1
t2 ind pr2
end
* input arcs
p0 t0 mult1
p1 t1 mult1
p1 t2 mult1
p2 t3 mult1
p3 t4 mult1
end
* output arcs
t0 p1 mult1
t1 p2 mult1
t2 p3 mult1
t3 p1 mult1
t4 p0 mult1
end
* inhibit arcs
end
expr etok(test,p0)
expr etok(test,p1)
expr etok(test,p2)
expr etok(test,p3)
expr prempty(test,p0)
expr tput(test,t0)
expr util(test,t3)
end

