class Petri::Place
Public Instance Methods
finish?()
click to toggle source
# File lib/petri/place.rb, line 8 def finish? !!@data[:finish] end
inspect()
click to toggle source
# File lib/petri/place.rb, line 34 def inspect "Petri::Place<#{identifier}>" end
links()
click to toggle source
For a finish place returns start places with the same identifier. For nets where a finish place may be connected with start places in order to initialize one flow as a result of another. @return [Array<Place>]
# File lib/petri/place.rb, line 26 def links if finish? @net.places.select { |place| place.start? && place.identifier == identifier } else [] end end
reset_arcs()
click to toggle source
@return [Array<Arc>]
# File lib/petri/place.rb, line 13 def reset_arcs net.arcs.select { |arc| arc.to_node == self && arc.reset? } end
reset_transitions()
click to toggle source
@return [Array<Transition>]
# File lib/petri/place.rb, line 18 def reset_transitions reset_arcs.map(&:from_node) end
start?()
click to toggle source
# File lib/petri/place.rb, line 4 def start? !!@data[:start] end