module YPetri::Core::Guarded

Guarded simulation mixin – not working yet.

Public Instance Methods

A_all_fire!() click to toggle source

Guarded version of the method.

Calls superclass method
# 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 ) click to toggle source

Guarded version of the method.

Calls superclass method
# 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