Module: YPetri::Core::Guarded

Defined in:
lib/y_petri/core.rb

Instance Method Summary collapse

Instance Method Details

#A_all_fire! ⇒ Object

Guarded version of the method.



29
30
31
32
33
 
# File 'lib/y_petri/core.rb', line 29

def A_all_fire!
  try "to fire the assignment transitions" do
    super
  end
end

#guarded? ⇒ Boolean

Guarded simulation.

Returns:

  • (Boolean) 


12
13
14
 
# File 'lib/y_petri/core.rb', line 12

def guarded?
  true
end

#increment_marking_vector(delta) ⇒ Object

Guarded version of the method.



18
19
20
21
22
23
24
25
 
# File 'lib/y_petri/core.rb', line 18

def increment_marking_vector( delta )
  try "to update marking" do
    super( note( "Δ state if tS transitions fire once",
                 is: Δ_if_tS_fire_once ) +
           note( "Δ state if tsa transitions fire once",
                 is: Δ_if_tsa_fire_once ) )
  end
end