Module: YPetri::Simulation::Transitions::Type_T

Includes:
Type_a
Included in:
Type_TS, Type_Ts
Defined in:
lib/y_petri/simulation/transitions/T.rb

Instance Method Summary collapse

Instance Method Details

#delta(Δt) ⇒ Object

State change of free places if the timed transitions fire for given time.



23
24
25
 
# File 'lib/y_petri/simulation/transitions/T.rb', line 23

def delta Δt
  gradient * Δt
end

#gradient ⇒ Object

Gradient by the T transitions.



17
18
19
 
# File 'lib/y_petri/simulation/transitions/T.rb', line 17

def gradient
  Ts().gradient + TS().gradient
end

#gradient_closures ⇒ Object

T transitions have gradient closures.



11
12
13
 
# File 'lib/y_petri/simulation/transitions/T.rb', line 11

def gradient_closures
  map &:gradient_closure
end

#Δ(Δt) ⇒ Object Also known as: delta_all

State change of all places if the timed transitions fire for given time.



29
30
31
 
# File 'lib/y_petri/simulation/transitions/T.rb', line 29

def Δ Δt
  ∇ * Δt
end