Module: YPetri::Core::Guarded

Defined in:
lib/y_petri/core/guarded.rb

Overview

Guarded simulation mixin – not working yet.

Instance Method Summary collapse

Instance Method Details

#A_all_fire!Object

Guarded version of the method.


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

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

#increment_marking_vector(delta) ⇒ Object

Guarded version of the method.


8
9
10
11
12
13
14
15
# File 'lib/y_petri/core/guarded.rb', line 8

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