lib/fast-tcpn/timed_hash_marking.rb
def add(objects, timestamp = @time)
      unless objects.kind_of? Array
        objects = [ objects ]
      end
      objects.each do |object|
        if object.instance_of? Hash
          timestamp = object[:ts] || 0
          object = object[:val]
        end
        token = prepare_token(object, timestamp)
        timestamp = token.timestamp
        if timestamp > @time
          add_to_waiting token
        else
          add_token token
        end
      end
    end
def add(objects, timestamp = @time)
      unless objects.kind_of? Array
        objects = [ objects ]
      end
      objects.each do |object|
        if object.instance_of? Hash
          timestamp = object[:ts] || 0
          object = object[:val]
        end
        token = prepare_token(object, timestamp)
        timestamp = token.timestamp
        if timestamp > @time
          add_to_waiting token
        else
          add_token token
        end
      end
    end
Create a new TimedHashMarking
 Creates token with +object+ as its value and adds it to the marking.
 if no timestamp is given, current time will be used.