pione 0.3.2 → 0.4.0

data/test/pnml/spec_input-merge-complement.rb

@@ -0,0 +1,40 @@
+require 'pione/test-helper'
+
+TestHelper.scope do |this|
+  this::DIR = Location[__FILE__].dirname + "data"
+  this::SIMPLE = this::DIR + "InputMergeComplementSimple.pnml"
+  this::COMPLEX = this::DIR + "InputMergeComplementComplex.pnml"
+
+  describe Pione::PNML::InputMergeComplement do
+    it "should name by `input merge` in simple case" do
+      net = PNML::Reader.read(this::SIMPLE)
+
+      # transition
+      transition_A = net.find_transition_by_name("A")
+      place = net.find_all_places_by_target_id(transition_A.id).first
+
+      # apply "input merge complement" rule
+      PNML::NetRewriter.new{|rules| rules << PNML::InputMergeComplement}.rewrite(net)
+
+      # test
+      place.name.should == "<'i1' or 'i2' or 'i3'"
+    end
+
+    it "should name by `input merge` in complex case" do
+      net = PNML::Reader.read(this::COMPLEX)
+
+      # transition
+      transition_A = net.find_transition_by_name("A")
+      transition_B = net.find_transition_by_name("B")
+      place_LA = net.find_all_places_by_target_id(transition_A.id).first
+      place_LB = net.find_all_places_by_target_id(transition_B.id).first
+
+      # apply "input merge complement" rule
+      PNML::NetRewriter.new{|rules| rules << PNML::InputMergeComplement}.rewrite(net)
+
+      # test
+      place_LA.name.should == "<'i1' or 'i2' or 'i3'"
+      place_LB.name.should == "<'i2' or 'i3' or 'i4'"
+    end
+  end
+end

data/test/pnml/spec_input-parallelization-complement.rb

@@ -0,0 +1,50 @@
+require 'pione/test-helper'
+
+TestHelper.scope do |this|
+  this::DIR = Location[__FILE__].dirname + "data"
+  this::SIMPLE = this::DIR + "InputParallelizationComplementSimple.pnml"
+  this::COMPLEX = this::DIR + "InputParallelizationComplementComplex.pnml"
+
+  describe Pione::PNML::InputParallelizationComplement do
+    it "should name by `input parallelization` in simple case" do
+      net = PNML::Reader.read(this::SIMPLE)
+
+      # elements
+      transition_A = net.find_transition_by_name("A")
+      transition_B = net.find_transition_by_name("B")
+      transition_C = net.find_transition_by_name("C")
+      place_LA = net.find_all_places_by_target_id(transition_A.id).first
+      place_LB = net.find_all_places_by_target_id(transition_B.id).first
+      place_LC = net.find_all_places_by_target_id(transition_C.id).first
+
+      # apply "input parallelization complement" rule
+      PNML::NetRewriter.new{|rules| rules << PNML::InputParallelizationComplement}.rewrite(net)
+
+      # test
+      place_LA.name.should == "'i1'"
+      place_LB.name.should == "'i1'"
+      place_LC.name.should == "'i1'"
+    end
+
+    it "should name by `input parallelization` in complex case" do
+      net = PNML::Reader.read(this::COMPLEX)
+
+      # elements
+      transition_A = net.find_transition_by_name("A")
+      transition_B = net.find_transition_by_name("B")
+      transition_C = net.find_transition_by_name("C")
+      places_LA = net.find_all_places_by_target_id(transition_A.id)
+      places_LB = net.find_all_places_by_target_id(transition_B.id)
+      places_LC = net.find_all_places_by_target_id(transition_C.id)
+
+      # apply "input parallelization complement" rule
+      PNML::NetRewriter.new{|rules| rules << PNML::InputParallelizationComplement}.rewrite(net)
+
+      # test
+      places_LA.map{|place| place.name}.sort.should == ["'i1'", "'i2'"]
+      places_LB.map{|place| place.name}.sort.should == ["'i1'", "'i2'"]
+      places_LC.map{|place| place.name}.sort.should == ["'i1'", "'i2'"]
+    end
+  end
+end
+

data/test/pnml/spec_input-reduction.rb

@@ -0,0 +1,113 @@
+require 'pione/test-helper'
+
+TestHelper.scope do |this|
+  this::DIR = Location[__FILE__].dirname + "data"
+  this::SIMPLE = this::DIR + "InputReductionSimple.pnml"
+  this::COMPLEX = this::DIR + "InputReductionComplex.pnml"
+  this::LONG = this::DIR + "InputReductionLong.pnml"
+
+  describe Pione::PNML::InputReduction do
+    it "should reduce nodes by `input reduction` in simple case" do
+      net = PNML::Reader.read(this::SIMPLE)
+
+      # save net elements
+      transition_A = net.transitions.find {|transition| transition.name == "A"}
+      place_i1 = net.find_place_by_name("<'i1'")
+      place_o1 = net.find_place_by_name(">'o1'")
+      arc_A_o1 = net.find_arc(transition_A.id, place_o1.id)
+
+      # apply input reduction
+      PNML::NetRewriter.new{|rules| rules << PNML::InputReduction}.rewrite(net)
+
+      # test transitions
+      net.transitions.size.should == 1
+      net.transitions.should.include transition_A
+
+      # test places
+      net.places.size.should == 2
+      net.places.should.include place_i1
+      net.places.should.include place_o1
+
+      # test arcs
+      net.arcs.size.should == 2
+      net.find_arc(place_i1.id, transition_A.id).should.kind_of PNML::Arc
+      net.find_arc(transition_A.id, place_o1.id).should == arc_A_o1
+    end
+
+    it "should reduce nodes by `input reduction` in complex case" do
+      net = PNML::Reader.read(this::COMPLEX)
+
+      # save net elements
+      transition_A = net.find_transition_by_name("A")
+      place_i1 = net.find_place_by_name("<'i1'")
+      place_i2 = net.find_place_by_name("<'i2'")
+      place_i3 = net.find_place_by_name("<'i3'")
+      place_o1 = net.find_place_by_name(">'o1'")
+
+      # apply output reduction
+      PNML::NetRewriter.new{|rules| rules << PNML::InputReduction}.rewrite(net)
+
+      # test transitions
+      net.transitions.size.should == 1
+      net.transitions.first.should == transition_A
+
+      # test places
+      net.places.size.should == 4
+      net.places.should.include place_i1
+      net.places.should.include place_i2
+      net.places.should.include place_i3
+      net.places.should.include place_o1
+
+      # test arcs
+      net.arcs.size.should == 4
+      net.find_arc(place_i1.id, transition_A.id).should.not.nil
+      net.find_arc(place_i2.id, transition_A.id).should.not.nil
+      net.find_arc(place_i3.id, transition_A.id).should.not.nil
+      net.find_arc(transition_A.id, place_o1.id).should.not.nil
+    end
+
+    it "should reduce nodes by `input reduction` in long case" do
+      net = PNML::Reader.read(this::LONG)
+
+      # save net elements
+      transition_A = net.transitions.find {|transition| transition.name == "A"}
+      place_i1 = net.find_place_by_name("<'i1'")
+      place_o1 = net.find_place_by_name(">'o1'")
+      arc_A_o1 = net.find_arc(transition_A.id, place_o1.id)
+
+      # apply input reduction
+      PNML::NetRewriter.new{|rules| rules << PNML::InputReduction}.rewrite(net)
+
+      # test transitions
+      net.transitions.size.should == 1
+      net.transitions.should.include transition_A
+
+      # test places
+      net.places.size.should == 2
+      net.places.should.include place_i1
+      net.places.should.include place_o1
+
+      # test arcs
+      net.arcs.size.should == 2
+      net.find_arc(place_i1.id, transition_A.id).should.kind_of PNML::Arc
+      net.find_arc(transition_A.id, place_o1.id).should == arc_A_o1
+    end
+
+    it "should not reduce any nodes if there aren't output reducible nodes" do
+      net = PNML::Reader.read(this::DIR + "OutputReductionSimple.pnml")
+
+      # save net elements
+      places = net.places.clone
+      transitions = net.transitions.clone
+      arcs = net.arcs.clone
+
+      # apply input reduction
+      PNML::NetRewriter.new{|rules| rules << PNML::InputReduction}.rewrite(net)
+
+      # test
+      net.places.should == places
+      net.transitions.should == transitions
+      net.arcs.should == arcs
+    end
+  end
+end

data/test/pnml/spec_invalid-arc-elimination.rb

@@ -0,0 +1,33 @@
+require 'pione/test-helper'
+
+describe Pione::PNML::InvalidArcElimination do
+  it "should eliminate invalid arcs" do
+    net = PNML::Net.new
+
+    # place and transition
+    place = PNML::Place.new(net, net.generate_id)
+    net.places << place
+    transition = PNML::Transition.new(net, net.generate_id)
+    net.transitions << transition
+
+    # valid arc
+    valid_arc = PNML::Arc.new(net, net.generate_id, place.id, transition.id)
+    net.arcs << valid_arc
+
+    # invalid arcs
+    net.arcs << PNML::Arc.new(net, net.generate_id, net.generate_id, net.generate_id)
+    net.arcs << PNML::Arc.new(net, net.generate_id, place.id, net.generate_id)
+    net.arcs << PNML::Arc.new(net, net.generate_id, net.generate_id, place.id)
+    net.arcs << PNML::Arc.new(net, net.generate_id, transition.id, net.generate_id)
+    net.arcs << PNML::Arc.new(net, net.generate_id, net.generate_id, transition.id)
+    net.arcs << PNML::Arc.new(net, net.generate_id, place.id, place.id)
+    net.arcs << PNML::Arc.new(net, net.generate_id, transition.id, transition.id)
+
+    # apply "invalid arc elimination" rule
+    PNML::NetRewriter.new{|rules| rules << PNML::InvalidArcElimination}.rewrite(net)
+
+    # test
+    net.arcs.size.should == 1
+    net.arcs.should.include valid_arc
+  end
+end

data/test/pnml/spec_io-expansion.rb

@@ -0,0 +1,126 @@
+require 'pione/test-helper'
+
+TestHelper.scope do |this|
+  this::DIR = Location[__FILE__].dirname + "data"
+  this::SIMPLE = this::DIR + "IOExpansionSimple.pnml"
+  this::COMPLEX = this::DIR + "IOExpansionComplex.pnml"
+
+  describe Pione::PNML::IOExpansion do
+    it "should expand in simple case" do
+      net = PNML::Reader.read(this::SIMPLE)
+
+      # save elements
+      transition_A = net.find_transition_by_name("A")
+      transition_B = net.find_transition_by_name("B")
+      place_i1 = net.find_place_by_name("'i1'")
+      place_p1 = net.find_place_by_name("'p1'")
+      place_o1 = net.find_place_by_name(">'o1'")
+      arc_A_p1 = net.find_arc(transition_A.id, place_p1.id)
+      arc_p1_B = net.find_arc(place_p1.id, transition_B.id)
+
+      # apply "input/output expansion"
+      PNML::NetRewriter.new{|rules| rules << PNML::IOExpansion}.rewrite(net)
+
+      # new elements
+      places_p1= net.find_all_places_by_name("'p1'")
+      places_p1.delete place_p1
+      place_p1_expanded = places_p1.first
+      accommodation = net.find_transition_by_source_id(place_p1.id)
+
+      # test transitions
+      net.transitions.size.should == 3
+      net.transitions.should.include accommodation
+
+      # test places
+      net.places.size.should == 4
+      net.places.should.include place_p1
+      net.places.should.include place_p1_expanded
+
+      # test arcs
+      net.arcs.size.should == 6
+      net.find_arc(place_p1.id, accommodation.id).should.not.nil
+      net.find_arc(accommodation.id, place_p1_expanded.id).should.not.nil
+      net.find_arc(place_p1_expanded.id, transition_B.id).should.not.nil
+      net.arcs.should.include arc_A_p1
+      net.arcs.should.not.include arc_p1_B
+    end
+
+    it "should expand in complex case" do
+      net = PNML::Reader.read(this::COMPLEX)
+
+      # save elements
+      transition_A = net.find_transition_by_name("A")
+      transition_B = net.find_transition_by_name("B")
+      transition_C = net.find_transition_by_name("C")
+      transition_D = net.find_transition_by_name("D")
+      transition_E = net.find_transition_by_name("E")
+      place_p1 = net.find_place_by_name("'p1'")
+      place_p2 = net.find_place_by_name("'p2'")
+      arc_A_p1 = net.find_arc(transition_A.id, place_p1.id)
+      arc_B_p1 = net.find_arc(transition_B.id, place_p1.id)
+      arc_p1_C = net.find_arc(place_p1.id, transition_C.id)
+      arc_p1_D = net.find_arc(place_p1.id, transition_D.id)
+      arc_p1_E = net.find_arc(place_p1.id, transition_E.id)
+      arc_A_p2 = net.find_arc(transition_A.id, place_p2.id)
+      arc_B_p2 = net.find_arc(transition_B.id, place_p2.id)
+      arc_p2_C = net.find_arc(place_p2.id, transition_C.id)
+      arc_p2_D = net.find_arc(place_p2.id, transition_D.id)
+      arc_p2_E = net.find_arc(place_p2.id, transition_E.id)
+
+      # apply "input/output expansion"
+      PNML::NetRewriter.new{|rules| rules << PNML::IOExpansion}.rewrite(net)
+
+      # test the net
+      net.should.valid
+
+      # new elements
+      places_p1 = net.find_all_places_by_name("'p1'")
+      places_p1.delete place_p1
+      place_p1_expanded = places_p1.first
+      places_p2 = net.find_all_places_by_name("'p2'")
+      places_p2.delete place_p2
+      place_p2_expanded = places_p2.first
+      accommodation_p1 = net.find_transition_by_source_id(place_p1.id)
+      accommodation_p2 = net.find_transition_by_source_id(place_p2.id)
+
+      # test transitions
+      net.transitions.size.should == 7
+      net.transitions.should.include accommodation_p1
+      net.transitions.should.include accommodation_p2
+
+      # test places
+      net.places.size.should == 9
+      net.places.should.include place_p1
+      net.places.should.include place_p1_expanded
+      net.places.should.include place_p2
+      net.places.should.include place_p2_expanded
+
+      # test arcs
+      net.arcs.size.should == 19
+      net.find_arc(place_p1.id, accommodation_p1.id).should.not.nil
+      net.find_arc(accommodation_p1.id, place_p1_expanded.id).should.not.nil
+      net.find_arc(place_p1_expanded.id, transition_C.id).should.not.nil
+      net.find_arc(place_p1_expanded.id, transition_D.id).should.not.nil
+      net.find_arc(place_p1_expanded.id, transition_E.id).should.not.nil
+      net.find_arc(place_p2.id, accommodation_p2.id).size.should.not.nil
+      net.find_arc(accommodation_p2.id, place_p2_expanded.id).should.not.nil
+      net.find_arc(place_p2_expanded.id, transition_C.id).should.not.nil
+      net.find_arc(place_p2_expanded.id, transition_D.id).should.not.nil
+      net.find_arc(place_p2_expanded.id, transition_E.id).should.not.nil
+      net.arcs.should.include arc_A_p1
+      net.arcs.should.include arc_B_p1
+      net.arcs.should.include arc_A_p2
+      net.arcs.should.include arc_B_p2
+      net.arcs.should.not.include arc_p1_C
+      net.arcs.should.not.include arc_p1_D
+      net.arcs.should.not.include arc_p1_E
+      net.arcs.should.not.include arc_p2_C
+      net.arcs.should.not.include arc_p2_D
+      net.arcs.should.not.include arc_p2_E
+      net.find_arc(place_p1.id, accommodation_p2.id).should.nil
+      net.find_arc(place_p2.id, accommodation_p1.id).should.nil
+      net.find_arc(accommodation_p1.id, place_p2_expanded).should.nil
+      net.find_arc(accommodation_p2.id, place_p1_expanded).should.nil
+    end
+  end
+end

data/test/pnml/spec_isolated-element-elimination.rb

@@ -0,0 +1,25 @@
+require 'pione/test-helper'
+
+TestHelper.scope do |this|
+  this::DOC = Location[__FILE__].dirname + "data" + "IsolatedElementElimination.pnml"
+
+  describe Pione::PNML::IsolatedElementElimination do
+    it "should elminate floating elements" do
+      net = PNML::Reader.read(this::DOC)
+
+      # apply floating element elimination
+      PNML::NetRewriter.new{|rules| rules << PNML::IsolatedElementElimination}.rewrite(net)
+
+      # test
+      net.find_transition_by_name("A").should.not.nil
+      net.find_transition_by_name("B").should.nil
+      net.find_transition_by_name("C").should.nil
+      net.find_place_by_name("<'i1'").should.not.nil
+      net.find_place_by_name("'i2'").should.nil
+      net.find_place_by_name("'i3'").should.nil
+      net.find_place_by_name("'i4'").should.nil
+      net.find_place_by_name("'i5'").should.nil
+      net.find_place_by_name(">'o1'").should.not.nil
+    end
+  end
+end

data/test/pnml/spec_output-decomposition-complement.rb

@@ -0,0 +1,40 @@
+require 'pione/test-helper'
+
+TestHelper.scope do |this|
+  this::DIR = Location[__FILE__].dirname + "data"
+  this::SIMPLE = this::DIR + "OutputDecompositionComplementSimple.pnml"
+  this::COMPLEX = this::DIR + "OutputDecompositionComplementComplex.pnml"
+
+  describe Pione::PNML::OutputDecompositionComplement do
+    it "should complement the name of source place in simple case" do
+      net = PNML::Reader.read(this::SIMPLE)
+
+      # elements
+      transition_A = net.find_transition_by_name("A")
+      place_RA = net.find_all_places_by_source_id(transition_A.id).first
+
+      # apply "output decomposition complement" rule
+      PNML::NetRewriter.new{|rules| rules << PNML::OutputDecompositionComplement}.rewrite(net)
+
+      # test
+      place_RA.name.should == ">'o1' or 'o2' or 'o3'"
+    end
+
+    it "should complement the name of source place in complex case" do
+      net = PNML::Reader.read(this::COMPLEX)
+
+      # elements
+      transition_A = net.find_transition_by_name("A")
+      transition_B = net.find_transition_by_name("B")
+      place_RA = net.find_all_places_by_source_id(transition_A.id).first
+      place_RB = net.find_all_places_by_source_id(transition_B.id).first
+
+      # apply "output decomposition complement" rule
+      PNML::NetRewriter.new{|rules| rules << PNML::OutputDecompositionComplement}.rewrite(net)
+
+      # test
+      place_RA.name.should == ">'o1' or 'o2' or 'o3'"
+      place_RB.name.should == ">'o2' or 'o3' or 'o4'"
+    end
+  end
+end

data/test/pnml/spec_output-reduction.rb

@@ -0,0 +1,114 @@
+require 'pione/test-helper'
+
+TestHelper.scope do |this|
+  this::DIR = Location[__FILE__].dirname + "data"
+  this::SIMPLE = this::DIR + "OutputReductionSimple.pnml"
+  this::COMPLEX = this::DIR + "OutputReductionComplex.pnml"
+  this::LONG = this::DIR + "OutputReductionLong.pnml"
+
+  describe Pione::PNML::OutputReduction do
+    it "should reduce nodes by `output reduction` in simple case" do
+      net = PNML::Reader.read(this::SIMPLE)
+
+      # save elements
+      transition_A = net.find_transition_by_name("A")
+      place_i1 = net.find_place_by_name("<'i1'")
+      place_o1 = net.find_place_by_name(">'o1'")
+      arc_i1_A = net.find_arc(place_i1.id, transition_A.id)
+
+      # apply output reduction
+      PNML::NetRewriter.new{|rules| rules << PNML::OutputReduction}.rewrite(net)
+
+      # test transitions
+      net.transitions.size.should == 1
+      net.transitions.first.should == transition_A
+
+      # test places
+      net.places.size.should == 2
+      net.places.should.include place_i1
+      net.places.should.include place_o1
+
+      # test arcs
+      net.arcs.size.should == 2
+      net.find_arc(place_i1.id, transition_A.id).should == arc_i1_A
+      net.find_arc(transition_A.id, place_o1.id).should.kind_of PNML::Arc
+    end
+
+    it "should reduce nodes by `output reduction` in complex case" do
+      net = PNML::Reader.read(this::COMPLEX)
+
+      # save net elements
+      transition_A = net.transitions.find {|transition| transition.name == "A"}
+      place_i1 = net.find_place_by_name("<'i1'")
+      place_o1 = net.find_place_by_name(">'o1'")
+      place_o2 = net.find_place_by_name(">'o2'")
+      place_o3 = net.find_place_by_name(">'o3'")
+      arc_i1_A = net.find_arc(place_i1.id, transition_A.id)
+
+      # apply output reduction
+      PNML::NetRewriter.new{|rules| rules << PNML::OutputReduction}.rewrite(net)
+
+      # test transitions
+      net.transitions.size.should == 1
+      net.transitions.first.should == transition_A
+
+      # test places
+      net.places.size.should == 4
+      net.places.should.include place_i1
+      net.places.should.include place_o1
+      net.places.should.include place_o2
+      net.places.should.include place_o3
+
+      # test arcs
+      net.arcs.size.should == 4
+      net.find_arc(place_i1.id, transition_A.id).should == arc_i1_A
+      net.find_arc(transition_A.id, place_o1.id).should.kind_of PNML::Arc
+      net.find_arc(transition_A.id, place_o2.id).should.kind_of PNML::Arc
+      net.find_arc(transition_A.id, place_o3.id).should.kind_of PNML::Arc
+    end
+
+    it "should reduce nodes by `output reduction` in long case" do
+      net = PNML::Reader.read(this::LONG)
+
+      # save elements
+      transition_A = net.transitions.find {|transition| transition.name == "A"}
+      place_i1 = net.find_place_by_name("<'i1'")
+      place_o1 = net.find_place_by_name(">'o1'")
+      arc_i1_A = net.find_arc(place_i1.id, transition_A.id)
+
+      # apply output reduction
+      PNML::NetRewriter.new{|rules| rules << PNML::OutputReduction}.rewrite(net)
+
+      # test transitions
+      net.transitions.size.should == 1
+      net.transitions.first.should == transition_A
+
+      # test places
+      net.places.size.should == 2
+      net.places.should.include place_i1
+      net.places.should.include place_o1
+
+      # test arcs
+      net.arcs.size.should == 2
+      net.find_arc(place_i1.id, transition_A.id).should == arc_i1_A
+      net.find_arc(transition_A.id, place_o1.id).should.kind_of PNML::Arc
+    end
+
+    it "should not reduce any nodes if there aren't output reducible nodes" do
+      net = PNML::Reader.read(this::DIR + "InputReductionSimple.pnml")
+
+      # save net elements
+      places = net.places.clone
+      transitions = net.transitions.clone
+      arcs = net.arcs.clone
+
+      # apply output reduction
+      PNML::NetRewriter.new{|rules| rules << PNML::OutputReduction}.rewrite(net)
+
+      # test
+      net.places.should == places
+      net.transitions.should == transitions
+      net.arcs.should == arcs
+    end
+  end
+end