y_petri 2.0.3 → 2.0.7

data/test/y_petri_test.rb

@@ -1,405 +1,14 @@
 #! /usr/bin/ruby
-#encoding: utf-8
+# -*- coding: utf-8 -*-
 
 require 'minitest/spec'
 require 'minitest/autorun'
 require_relative '../lib/y_petri'     # tested component itself
 # require 'y_petri'
-
 # require 'sy'
 
 include Pyper if require 'pyper'
 
-# **************************************************************************
-# Test of Place class, part I.
-# **************************************************************************
-#
-describe ::YPetri::Place do
-  before do
-    # skip "to speed up testing"
-    @pç = pç = Class.new ::YPetri::Place
-    @p = pç.new! default_marking: 3.2,
-                 marking: 1.1,
-                 quantum: 0.1,
-                 name: "P1"
-  end
-
-  describe "place behavior" do
-    before do
-      @p.m = 1.1
-    end
-
-    it "should have constant magic included" do
-      assert_respond_to @p, :name
-      assert_equal @p.name, :P1
-    end
-
-    it "should have own marking and be able to update it" do
-      assert_equal 1.1, @p.marking
-      assert_equal 0.1, @p.quantum
-      assert_equal :P1, @p.name
-      @p.add 1
-      assert_equal 2.1, @p.value        # alias for #marking
-      @p.subtract 0.5
-      assert_equal 1.6, @p.m
-      @p.reset_marking
-      assert_equal 3.2, @p.marking
-    end
-
-    it "should respond to the arc getters" do
-      # #action_arcs & aliases
-      assert_equal [], @p.upstream_arcs
-      assert_equal [], @p.upstream_transitions
-      assert_equal [], @p.ϝ
-      # #test_arcs & aliases
-      assert_equal [], @p.downstream_arcs
-      assert_equal [], @p.downstream_transitions
-      # #arcs & aliasesnn
-      assert_equal [], @p.arcs
-      # #precedents & aliases
-      assert_equal [], @p.precedents
-      assert_equal [], @p.upstream_places
-      # #dependents & aliases
-      assert_equal [], @p.dependents
-      assert_equal [], @p.downstream_places
-    end
-
-    it "should respond to register and fire conn. transitions methods" do
-      assert_respond_to @p, :fire_upstream!
-      assert_respond_to @p, :fire_downstream!
-      assert_respond_to @p, :fire_upstream_recursively
-      assert_respond_to @p, :fire_downstream_recursively
-    end
-  end
-end
-
-# **************************************************************************
-# Test of Transition class, part I.
-# **************************************************************************
-#
-describe ::YPetri::Transition do
-  before do
-    # skip "to speed up testing"
-    @ç = ç = Class.new ::YPetri::Transition
-    @pç = pç = Class.new ::YPetri::Place
-    [ ç, pç ].each { |ç|
-      ç.class_exec {
-        define_method :Place do pç end
-        define_method :Transition do ç end
-        private :Place, :Transition
-      }
-    }
-    @p1 = pç.new default_marking: 1.0
-    @p2 = pç.new default_marking: 2.0
-    @p3 = pç.new default_marking: 3.0
-    @p4 = pç.new default_marking: 4.0
-    @p5 = pç.new default_marking: 5.0
-  end
-
-  describe "1. timeless nonstoichiometric (ts) transitions" do
-
-    # Note that timeless nonstoichiometric transitions require a function
-    # block, and thus are always functional
-
-    before do
-      @t1 = @ç.new codomain: [ @p1, @p3 ], domain: @p2, action: λ { |a| [ a, a ] }
-      # saying that the trans. is timed saves the day here:
-      @t2 = @ç.new codomain: [ @p1, @p3 ], action: λ { |t| [ t, t ] }, timed: true
-      # Only with domain is 1-ary closure allowed to be timeless:
-      @t3 = @ç.new codomain: [ @p1, @p3 ], action: λ { |t| [ t, t ] }, timed: false, domain: [ @p2 ]
-      # With nullary action closure, timeless is implied, so this is allowed
-      @t4 = @ç.new action: λ { [ 0.5, 0.5 ] }, codomain: [ @p1, @p3 ]
-      # ... also for stoichiometric variety
-      @t5 = @ç.new action: λ { 0.5 }, codomain: [ @p1, @p3 ], s: [ 1, 1 ]
-    end
-
-    it "should raise errors for bad parameters" do
-      # omitting the domain should raise ArgumentError about too much ambiguity:
-      assert_raises AErr do @ç.new codomain: [ @p1, @p3 ], action: λ { |t| [ t, t ] } end
-      # saying that the transition is timeless points to a conflict:
-      assert_raises AErr do @ç.new codomain: [ @p1, @p3 ], action: λ { |t| [ t, t ] }, timeless: true end
-    end
-
-    it "should initi and perform" do
-      assert_equal [ @p2 ], @t1.domain
-      assert_equal [ @p1, @p3 ], @t1.action_arcs
-      assert @t1.functional?
-      assert @t1.timeless?
-      assert @t2.timed?
-      assert [@t3, @t4, @t5].all? { |t| t.timeless? }
-      assert @t2.rateless?
-      # that's enough, now let's flex them:
-      @t1.fire!
-      assert_equal [3, 5], [ @p1.marking, @p3.marking ]
-      @t3.fire!
-      assert_equal [5, 7], [ @p1.marking, @p3.marking ]
-      @t4.fire!
-      assert_equal [5.5, 7.5], [ @p1.marking, @p3.marking ]
-      @t5.fire!
-      assert_equal [6, 8], [ @p1.marking, @p3.marking ]
-      # now t2 for firing requires delta time
-      @t2.fire! 1
-      assert_equal [7, 9], [ @p1.marking, @p3.marking ]
-      @t2.fire! 0.1
-      assert_equal [7.1, 9.1], [@p1.marking, @p3.marking ]
-      # let's change @p2 marking
-      @p2.marking = 0.1
-      @t1.fire!
-      assert_in_epsilon 7.2, @p1.marking, 1e-9
-      assert_in_epsilon 9.2, @p3.marking, 1e-9
-      # let's test #domain_marking, #codomain_marking, #zero_action
-      assert_equal [ @p1.marking, @p3.marking ], @t1.codomain_marking
-      assert_equal [ @p2.marking ], @t1.domain_marking
-      assert_equal [ 0, 0 ], @t1.zero_action
-    end
-  end
-
-  describe "2. timed rateless non-stoichiometric (Tsr) transitions" do
-    #LATER: To save time, I omit the full test suite.
-  end
-
-  describe "3. timeless stoichiometric (tS) transitions" do
-    describe "functionless tS transitions" do
-
-      # For transitions with no function given (ie. functionless), it is
-      # required that their stoichiometric vector be given and their action
-      # closure is then automatically generated from the stoichio. vector
-
-      before do
-        # timeless transition with stoichiometric vector only, as hash
-        @ftS1 = @ç.new stoichiometry: { @p1 => 1 }
-        # timeless transition with stoichiometric vector as array + codomain
-        @ftS2 = @ç.new stoichiometry: 1, codomain: @p1
-        # :stoichiometric_vector is aliased as :sv
-        @ftS3 = @ç.new s: 1, codomain: @p1
-        # :codomain is aliased as :action_arcs
-        @ftS4 = @ç.new s: 1, action_arcs: @p1
-        # dropping of square brackets around size 1 vectors is optional
-        @ftS5 = @ç.new s: [ 1 ], downstream: [ @p1 ]
-        # another alias for :codomain is :downstream_places
-        @ftS6 = @ç.new s: [ 1 ], downstream_places: [ @p1 ]
-        # and now, all of the above transitions...
-        @tt = @ftS1, @ftS2, @ftS3, @ftS4, @ftS5, @ftS6
-      end
-
-      it "should work" do
-        # ...should be the same, having a single action arc:
-        assert @tt.all?{ |t| t.action_arcs == [ @p1 ] }
-        # timeless:
-        assert @tt.all?{ |t| t.timeless? }
-        # rateless:
-        assert @tt.all?{ |t| t.rateless? }
-        assert @tt.all?{ |t| not t.has_rate? }
-        # no assignment action
-        assert @tt.all?{ |t| not t.assignment_action? }
-        # not considered functional
-        assert @tt.all?{ |t| t.functionless? }
-        assert @tt.all?{ |t| not t.functional? }
-        # and having nullary action closure
-        assert @tt.all?{ |t| t.action_closure.arity == 0 }
-        # the transitions should be able to #fire!
-        @ftS1.fire!
-        # the difference is apparent: marking of place @p1 jumped to 2:
-        assert_equal 2, @p1.marking
-        # but should not #fire (no exclamation mark) unless cocked
-        assert !@ftS1.cocked?
-        @ftS1.fire
-        assert_equal 2, @p1.marking
-        # cock it
-        @ftS1.cock
-        assert @ftS1.cocked?
-        # uncock again, just to test cocking
-        @ftS1.uncock
-        assert @ftS1.uncocked?
-        @ftS1.cock
-        assert !@ftS1.uncocked?
-        @ftS1.fire
-        assert_equal 3, @p1.marking
-        # enough playing, we'll reset @p1 marking
-        @p1.reset_marking
-        assert_equal 1, @p1.marking
-        # #action
-        assert @tt.all?{ |t| t.action == [ 1 ] }
-        # #zero_action
-        assert @tt.all?{ |t| t.zero_action }
-        # #action_after_feasibility_check
-        assert @tt.all?{ |t| t.action_after_feasibility_check == [ 1 ] }
-        # #domain_marking
-        assert @tt.all?{ |t| t.domain_marking == [] }
-        # #codomain_marking
-        assert @tt.all?{ |t| t.codomain_marking == [ @p1.marking ] }
-        # #enabled?
-        assert @tt.all?{ |t| t.enabled? == true }
-      end
-    end
-
-    describe "functional tS transitions" do
-
-      # If function block is supplied to tS transitions, it governs
-      # their action based on marking of the domain places.
-
-      before do
-        # stoichiometric vector given as hash
-        @FtS1 = @ç.new action_closure: λ { 1 }, s: { @p1 => 1 }
-        # instead of :action_closure, just saying :action is enough
-        @FtS2 = @ç.new action: λ { 1 }, s: { @p1 => 1 }
-        # stoichiometric vector given as coeff. array + codomain
-        @FtS3 = @ç.new s: 1, codomain: @p1, action: λ { 1 }
-        # while saying timed: false and timeless: true should be ok
-        @FtS4 = @ç.new s: { @p1 => 1 }, action: λ { 1 }, timed: false
-        @FtS5 = @ç.new s: { @p1 => 1 }, action: λ { 1 }, timeless: true
-        # even both are ok
-        @FtS6 = @ç.new s: { @p1 => 1 }, action: λ { 1 }, timed: false, timeless: true
-        @tt = @FtS1, @FtS2, @FtS3, @FtS4, @FtS5, @FtS6
-      end
-
-      it "should raise errors for bad parameters" do
-        # saying timed: true should raise a complaint:
-        assert_raises AErr do @ç.new sv: { @p1 => 1 }, action: λ{ 1 }, timed: true end
-        # same for saying timeless: false
-        assert_raises AErr do
-          @ç.new sv: { @p1 => 1 }, action: λ{ 1 }, timeless: false end
-        # while conflicting values will raise error
-        assert_raises AErr do
-          @ç.new sv: { @p1 => 1 }, action: λ { 1 }, timeless: true, timed: true
-        end
-      end
-
-      it "should init and perform" do
-        assert @tt.all?{ |t| t.action_arcs == [ @p1 ] }
-        assert @tt.all?{ |t| t.timeless? }
-        assert @tt.all?{ |t| not t.has_rate? }
-        assert @tt.all?{ |t| t.rateless? }
-        assert @tt.all?{ |t| not t.assignment_action? }
-        assert @tt.all?{ |t| not t.functionless? }
-        assert @tt.all?{ |t| t.functional? }
-        # and having nullary action closure
-        assert @tt.all?{ |t| t.action_closure.arity == 0 }
-        # the transitions should be able to #fire!
-        @FtS1.fire!
-        # no need for more testing here
-      end
-    end
-  end
-
-  describe "4. timed rateless stoichiometric (TSr) transitions" do
-
-    # Rateless stoichiometric transitions have action closure, and they
-    # require a function block, and thus are always functional. Their
-    # function block must take Δt as its first argument.
-
-    #LATER: To save time, I omit the tests of TSr transitions for now.
-  end
-
-  describe "5. nonstoichiometric transitions with rate (sR transitions)" do
-    
-    # They require a function block with arity equal to their domain, whose
-    # output is an array of rates of the size equal to that of codomain.
-
-    #LATER: To save time, I omit the full test suite.
-  end
-
-  describe "6. stoichiometric transitions with rate (SR transitions)" do
-    before do
-      # now this should give standard mass action by magic:
-      @SR1 = @ç.new s: { @p1 => -1, @p2 => -1, @p4 => 1 }, rate: 0.1
-      # while this has custom closure
-      @SR2 = @ç.new s: { @p1 => -1, @p3 => 1 }, rate: λ { |a| a * 0.5 }
-      # while this one even has domain specified:
-      @SR3 = @ç.new s: { @p1 => -1, @p2 => -1, @p4 => 1 }, upstream_arcs: @p3, rate: λ { |a| a * 0.5 }
-    end
-
-    it "should init and work" do
-      assert_equal true, @SR1.has_rate?
-      assert_equal [ @p1, @p2 ], @SR1.upstream_arcs
-      assert_equal [ @p1, @p2, @p4 ], @SR1.action_arcs
-      assert_equal [ @p1 ], @SR2.domain
-      assert_equal [ @p1, @p3 ], @SR2.action_arcs
-      assert_equal [ @p3 ], @SR3.domain
-      assert_equal [ @p1, @p2, @p4 ], @SR3.action_arcs
-      # and flex them
-      @SR1.fire! 1.0
-      assert_equal [ 0.8, 1.8, 4.2 ], [ @p1, @p2, @p4 ].map( &:marking )
-      @SR2.fire! 1.0
-      assert_equal [ 0.4, 3.4 ], [ @p1, @p3 ].map( &:marking )
-      # the action t3 cannot fire with delta time 1.0
-      assert_raises RuntimeError do @SR3.fire! 1.0 end
-      assert_equal [ 0.4, 1.8, 3.4, 4.2 ], [ @p1, @p2, @p3, @p4 ].map( &:marking )
-      # but it can fire with eg. delta time 0.1
-      @SR3.fire! 0.1
-      assert_in_epsilon 0.23, @p1.marking, 1e-15
-      assert_in_epsilon 1.63, @p2.marking, 1e-15
-      assert_in_epsilon 3.4, @p3.marking, 1e-15
-      assert_in_epsilon 4.37, @p4.marking, 1e-15
-    end
-  end
-end
-
-
-# **************************************************************************
-# Test of mutual knowedge of upstream/downstream arcs of places/transitions.
-# **************************************************************************
-#
-describe "upstream and downstream reference mτs of places and transitions" do
-  before do
-    # skip "to speed up testing"
-    @tç = tç = Class.new ::YPetri::Transition
-    @pç = pç = Class.new ::YPetri::Place
-    [ tç, pç ].each { |ç|
-      ç.class_exec {
-        define_method :Place do pç end
-        define_method :Transition do tç end
-        private :Place, :Transition
-      }
-    }
-    @a = @pç.new( dflt_m: 1.0 )
-    @b = @pç.new( dflt_m: 2.0 )
-    @c = @pç.new( dflt_m: 3.0 )
-  end
-
-  describe "Place" do
-    it "should have #register_ustream/downstream_transition methods" do
-      @t1 = @tç.new s: {}
-      @a.instance_variable_get( :@upstream_arcs ).must_equal []
-      @a.instance_variable_get( :@downstream_arcs ).must_equal []
-      @a.send :register_upstream_transition, @t1
-      @a.instance_variable_get( :@upstream_arcs ).must_equal [ @t1 ]
-    end
-  end
-
-  describe "upstream and downstream reference methods" do
-    before do
-      @t1 = @tç.new s: { @a => -1, @b => 1 }, rate: 1
-    end
-
-    it "should show on the referencers" do
-      @a.upstream_arcs.must_equal [ @t1 ]
-      @b.downstream_arcs.must_equal [ ]
-      @b.ϝ.must_equal [ @t1 ]
-      @t1.upstream_arcs.must_equal [ @a ]
-      @t1.action_arcs.must_equal [ @a, @b ]
-    end
-  end
-
-  describe "assignment action transitions" do
-    before do
-      @p = @pç.new default_marking: 1.0
-      @t = @tç.new codomain: @p, action: λ { 1 }, assignment_action: true
-    end
-
-    it "should work" do
-      @p.marking = 3
-      assert_equal 3, @p.marking
-      assert @t.assignment_action?
-      assert_equal @t.domain, []
-      assert_equal 0, @t.action_closure.arity
-      @t.fire!
-      assert_equal 1, @p.marking
-    end
-  end # context assignment action transiotions
-end
-
-
 # **************************************************************************
 # Test of Net class.
 # **************************************************************************
@@ -411,7 +20,7 @@ describe ::YPetri::Net do
     @pç = pç = Class.new ::YPetri::Place
     @nç = nç = Class.new ::YPetri::Net
     [ tç, pç, nç ].each { |ç|
-      ç.class_exec {
+      ç.namespace!.class_exec {
         define_method :Place do pç end
         define_method :Transition do tç end
         define_method :Net do nç end
@@ -422,8 +31,8 @@ describe ::YPetri::Net do
     @p2 = pç.new ɴ: "B", quantum: 0.1, marking: 2.2
     @p3 = pç.new ɴ: "C", quantum: 0.1, marking: 3.3
     @net = nç.new
-    [ @p1, @p2, @p3 ].each { |p| @net.include_place! p }
-    @p_not_included = pç.new ɴ: "X", m: 0
+    [@p1, @p2, @p3].each { |p| @net.include_place! p }
+    @p_not_included = pç.new ɴ: "X", marking: 0
   end
 
   describe "net of 3 places and no transitions" do
@@ -450,7 +59,7 @@ describe ::YPetri::Net do
     it "should tell its qualities" do
       assert_equal true, @net.functional?
       assert_equal true, @net.timed?
-      assert @net.include?( @p1 ) && !@net.include?( nil )
+      assert @net.include?( @p1 ) && !@net.include?( YPetri::Place.new )
     end
 
     it "should have 'standard equipment' methods" do
@@ -540,11 +149,7 @@ describe ::YPetri::Net do
           assert_equal [], @net.nonstoichiometric_tt_with_rate
           assert_equal [@t1], @net.stoichiometric_transitions_with_rate
           assert_equal [:T1], @net.stoichiometric_tt_with_rate
-          assert_equal [], @net.transitions_with_explicit_assignment_action
-          assert_equal [], @net.transitions_with_assignment_action
           assert_equal [], @net.assignment_transitions
-          assert_equal [], @net.tt_with_explicit_assignment_action
-          assert_equal [], @net.tt_with_assignment_action
           assert_equal [], @net.assignment_tt
           assert_equal [@t1, @t2], @net.stoichiometric_transitions
           assert_equal [:T1, nil], @net.stoichiometric_tt
@@ -584,7 +189,7 @@ describe ::YPetri::Simulation do
     @tç = tç = Class.new( ::YPetri::Transition )
     @nç = nç = Class.new( ::YPetri::Net )
     [ @pç, @tç, @nç ].each { |klass|
-      klass.class_exec {
+      klass.namespace!.class_exec {
         private
         define_method :Place do pç end
         define_method :Transition do tç end
@@ -601,17 +206,17 @@ describe ::YPetri::Simulation do
                   rate: 0.1
     @t2 = @tç.new name: "T2",
                   s: { @p1 => -1, @p3 => 1 },
-                  rate: λ { |a| a * 0.5 }
+                  rate: -> a { a * 0.5 }
     @t3 = @tç.new name: "T3",
                   s: { @p1 => -1, @p2 => -1, @p4 => 1 },
                   domain: @p3,
-                  rate: λ { |a| a * 0.5 }
+                  rate: -> a { a * 0.5 }
     @net = @nç.new << @p1 << @p2 << @p3 << @p4 << @p5
     @net.include_transition! @t1
     @net.include_transition! @t2
     @net << @t3
     @s = YPetri::Simulation.new net: @net,
-                                place_clamps: { @p1 => 2.0, @p5 => 2.0 },
+                                marking_clamps: { @p1 => 2.0, @p5 => 2.0 },
                                 initial_marking: { @p2 => @p2.default_marking,
                                                    @p3 => @p3.default_marking,
                                                    @p4 => @p4.default_marking }
@@ -792,8 +397,8 @@ describe ::YPetri::Simulation do
   end
 
   it "1. handles ts transitions" do
-    @s.Δ_closures_for_ts.must_equal []
-    @s.Δ_if_ts_fire_once.must_equal Matrix.zero( @s.free_pp.size, 1 )
+    @s.Δ_closures_for_tsa.must_equal []
+    @s.Δ_if_tsa_fire_once.must_equal Matrix.zero( @s.free_pp.size, 1 )
   end
 
   it "2. handles Tsr transitions" do
@@ -938,7 +543,7 @@ describe ::YPetri::TimedSimulation do
   describe "timed 'isomerization' with given as λ" do
     before do
       @t2 = ::YPetri::Transition.new s: { @a => -1, @c => 1 },
-                                     rate_closure: λ { |a| a * 0.5 }
+                                     rate_closure: -> a { a * 0.5 }
       @net = ::YPetri::Net.new << @a << @b << @c << @t2
     end
 
@@ -964,7 +569,7 @@ describe ::YPetri::TimedSimulation do
     before do
       @t3 = ::YPetri::Transition.new s: { @a => -1, @c => 1 },
                                      domain: @b,
-                                     rate: λ { |a| a * 0.5 }
+                                     rate: -> a { a * 0.5 }
       @net = ::YPetri::Net.new << @a << @b << @c << @t3
       @sim = ::YPetri::TimedSimulation.new net: @net,
                initial_marking: { @a => 1, @b => 0.6, @c => 3 },
@@ -1007,7 +612,7 @@ describe ::YPetri::Workspace do
                             ɴ: "AA_BB_assembly"
     t2 = @w.Transition.new! ɴ: "AA_appearing",
                             codomain: a,
-                            rate: λ{ 0.1 },
+                            rate: -> { 0.1 },
                             stoichiometry: 1
     @pp, @tt = [a, b, c], [t1, t2]
     @f_name = "test_output.csv"
@@ -1130,7 +735,7 @@ describe ::YPetri::Manipulator do
       @p = @m.Place ɴ: "P", default_marking: 1
       @q = @m.Place ɴ: "Q", default_marking: 1
       @decay_t = @m.Transition ɴ: "Tp", s: { P: -1 }, rate: 0.1
-      @constant_flux_t = @m.Transition ɴ: "Tq", s: { Q: 1 }, rate: λ{ 0.02 }
+      @constant_flux_t = @m.Transition ɴ: "Tq", s: { Q: 1 }, rate: -> { 0.02 }
       @m.initial_marking @p => 1.2
       @m.initial_marking @q => 2
       @m.set_step 0.01

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: y_petri
 version: !ruby/object:Gem::Version
-  version: 2.0.3
+  version: 2.0.7
 platform: ruby
 authors:
 - boris
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2013-05-13 00:00:00.000000000 Z
+date: 2013-06-26 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: y_support
@@ -69,6 +69,7 @@ files:
 - lib/y_petri/demonstrator_2.rb
 - lib/y_petri/demonstrator_3.rb
 - lib/y_petri/demonstrator_4.rb
+- lib/y_petri/dependency_injection.rb
 - lib/y_petri/manipulator.rb
 - lib/y_petri/manipulator/hash_key_pointer.rb
 - lib/y_petri/manipulator/petri_net_related_methods.rb
@@ -76,15 +77,22 @@ files:
 - lib/y_petri/manipulator/simulation_related_methods.rb
 - lib/y_petri/net.rb
 - lib/y_petri/place.rb
+- lib/y_petri/place/arcs.rb
+- lib/y_petri/place/guard.rb
 - lib/y_petri/simulation.rb
 - lib/y_petri/timed_simulation.rb
 - lib/y_petri/transition.rb
+- lib/y_petri/transition/arcs.rb
+- lib/y_petri/transition/cocking.rb
+- lib/y_petri/transition/constructor_syntax.rb
 - lib/y_petri/version.rb
 - lib/y_petri/workspace.rb
 - lib/y_petri/workspace/parametrized_subclassing.rb
 - lib/y_petri/workspace/petri_net_related_methods.rb
 - lib/y_petri/workspace/simulation_related_methods.rb
+- test/place_test.rb
 - test/simple_manual_examples.rb
+- test/transition_test.rb
 - test/y_petri_test.rb
 - y_petri.gemspec
 homepage: ''
@@ -111,5 +119,7 @@ signing_key:
 specification_version: 4
 summary: a Petri net domain model and simulator
 test_files:
+- test/place_test.rb
 - test/simple_manual_examples.rb
+- test/transition_test.rb
 - test/y_petri_test.rb