fix petrinet_por.rb to use tina