y_petri 2.0.7 → 2.0.14.p1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: f65095d233b7613fda917f4c1b7ef7f430d61f27
-  data.tar.gz: d65127c5a68f1e798ca08c418d4884dfdb1c511c
+  metadata.gz: 6c46f784c2f2df0ff3008daa1c29aaeb03dbafcc
+  data.tar.gz: cd6bb027a5079b5b02241f2bf08edcf3b6aeeb47
 SHA512:
-  metadata.gz: b10bfea43b1e4a9f531ce953cac4e943fd8570d5b441acbc9e84a1f16e2d20a6ab445ff9ffe4c76c4d8ae914f876d0814a8b28d57aa7abdd356e22e19b0755e9
-  data.tar.gz: e2eae4ee3ecb0259979634d3b8f21982d9d93e3b6cc2e82fe658f3561b591f36d5a31af521815a3b4b741d1553796b79332e1ec8c27b564cd88e9d9b1ad3e572
+  metadata.gz: de99715667452ffbfe93f2984b193f9af2601a0ec52de5a8551b2be331574adf4a8e56f4f27f8e7a6f664a961597d708d16a8365303ab65bcbbdf44fae125fc5
+  data.tar.gz: ed7637fc1976b90b3336237a98c2ef0e7255dac36e6c8b720c6c1b3bfc0f9726e3e42f233d29624827b862e5ea75bea87ed19a4442ed5c5e01f0aaab9379b812

data/lib/y_petri/net/selections.rb

@@ -0,0 +1,209 @@
+# Selections of various kinds of places / transitions (place names / transition
+# names) in a Petri net.
+# 
+class YPetri::Net
+  # Names of places in the net.
+  # 
+  def pp
+    places.map &:name
+  end
+
+  # Names of transitions in the net.
+  # 
+  def tt
+    transitions.map &:name
+  end
+
+  # Array of _ts_ transitions in the net.
+  # 
+  def timeless_nonstoichiometric_transitions
+    transitions.select { |t| t.timeless? && t.nonstoichiometric? }
+  end
+  alias ts_transitions timeless_nonstoichiometric_transitions
+
+  # Names of _ts_ transitions in the net.
+  # 
+  def timeless_nonstoichiometric_tt
+    timeless_nonstoichiometric_transitions.map &:name
+  end
+  alias ts_tt timeless_nonstoichiometric_tt
+
+  # Array of _tsa_ transitions in the net.
+  # 
+  def timeless_nonstoichiometric_nonassignment_transitions
+    transitions.select { |t|
+      t.timeless? && t.nonstoichiometric? && ! t.assignment_action?
+    }
+  end
+  alias tsa_transitions timeless_nonstoichiometric_nonassignment_transitions
+
+  # Names of _tsa_ transitions in the net.
+  # 
+  def timeless_nonstoichiometric_nonassignment_tt
+    timeless_nonstoichiometric_nonassignment_transitions.map &:name
+  end
+  alias tsa_tt timeless_nonstoichiometric_nonassignment_tt
+
+  # Array of _tS_ transitions in the net.
+  # 
+  def timeless_stoichiometric_transitions
+    transitions.select { |t| t.timeless? && t.stoichiometric? }
+  end
+  alias tS_transitions timeless_stoichiometric_transitions
+
+  # Names of _tS_ transitions in the net.
+  # 
+  def timeless_stoichiometric_tt
+    timeless_stoichiometric_transitions.map &:name
+  end
+  alias tS_tt timeless_stoichiometric_tt
+
+  # Array of _Tsr_ transitions in the net.
+  # 
+  def timed_nonstoichiometric_transitions_without_rate
+    transitions.select { |t| t.timed? && t.nonstoichiometric? && t.rateless? }
+  end
+  alias timed_rateless_nonstoichiometric_transitions \
+        timed_nonstoichiometric_transitions_without_rate
+  alias Tsr_transitions timed_nonstoichiometric_transitions_without_rate
+
+  # Names of _Tsr_ transitions in the net.
+  # 
+  def timed_nonstoichiometric_tt_without_rate
+    timed_nonstoichiometric_transitions_without_rate.map &:name
+  end
+  alias timed_rateless_nonstoichiometric_tt \
+        timed_nonstoichiometric_tt_without_rate
+  alias Tsr_tt timed_nonstoichiometric_tt_without_rate
+
+  # Array of _TSr_ transitions in the net.
+  # 
+  def timed_stoichiometric_transitions_without_rate
+    transitions.select { |t| t.timed? && t.stoichiometric? && t.rateless? }
+  end
+  alias timed_rateless_stoichiometric_transitions \
+        timed_stoichiometric_transitions_without_rate
+  alias TSr_transitions timed_stoichiometric_transitions_without_rate
+
+  # Names of _TSr_ transitions in the net.
+  # 
+  def timed_stoichiometric_tt_without_rate
+    timed_stoichiometric_transitions_without_rate.map &:name
+  end
+  alias timed_rateless_stoichiometric_tt timed_stoichiometric_tt_without_rate
+  alias Tsr_tt timed_stoichiometric_tt_without_rate
+
+  # Array of _sR_ transitions in the net.
+  # 
+  def nonstoichiometric_transitions_with_rate
+    transitions.select { |t| t.has_rate? && t.nonstoichiometric? }
+  end
+  alias sR_transitions nonstoichiometric_transitions_with_rate
+
+  # Names of _sR_ transitions in the net.
+  # 
+  def nonstoichiometric_tt_with_rate
+    nonstoichiometric_transitions_with_rate.map &:name
+  end
+  alias sR_tt nonstoichiometric_tt_with_rate
+
+  # Array of _SR_ transitions in the net.
+  # 
+  def stoichiometric_transitions_with_rate
+    transitions.select { |t| t.has_rate? and t.stoichiometric? }
+  end
+  alias SR_transitions stoichiometric_transitions_with_rate
+
+  # Names of _SR_ transitions in the net.
+  # 
+  def stoichiometric_tt_with_rate
+    stoichiometric_transitions_with_rate.map &:name
+  end
+  alias SR_tt stoichiometric_tt_with_rate
+
+  # Array of transitions with _explicit assignment action_ (_A transitions_)
+  # in the net.
+  # 
+  def assignment_transitions
+    transitions.select { |t| t.assignment_action? }
+  end
+  alias A_transitions assignment_transitions
+
+  # Names of transitions with _explicit assignment action_ (_A transitions_)
+  # in the net.
+  # 
+  def assignment_tt
+    assignment_transitions.map &:name
+  end
+  alias A_tt assignment_tt
+
+  # Array of _stoichiometric_ transitions in the net.
+  # 
+  def stoichiometric_transitions
+    transitions.select &:stoichiometric?
+  end
+  alias S_transitions stoichiometric_transitions
+
+  # Names of _stoichiometric_ transitions in the net.
+  # 
+  def stoichiometric_tt
+    stoichiometric_transitions.map &:name
+  end
+  alias S_tt stoichiometric_tt
+
+  # Array of _nonstoichiometric_ transitions in the net.
+  # 
+  def nonstoichiometric_transitions
+    transitions.select &:nonstoichiometric?
+  end
+  alias s_transitions nonstoichiometric_transitions
+
+  # Names of _nonstoichimetric_ transitions in the net.
+  # 
+  def nonstoichiometric_tt
+    nonstoichiometric_transitions.map &:name
+  end
+  alias s_tt nonstoichiometric_tt
+
+  # Array of _timed_ transitions in the net.
+  #
+  def timed_transitions; transitions.select &:timed? end
+  alias T_transitions timed_transitions
+
+  # Names of _timed_ transitions in the net.
+  # 
+  def timed_tt; timed_transitions.map &:name end
+  alias T_tt timed_tt
+
+  # Array of _timeless_ transitions in the net.
+  # 
+  def timeless_transitions; transitions.select &:timeless? end
+  alias t_transitions timeless_transitions
+
+  # Names of _timeless_ transitions in the net.
+  # 
+  def timeless_tt; timeless_transitions.map &:name end
+  alias t_tt timeless_tt
+
+  # Array of _transitions with rate_ in the net.
+  # 
+  def transitions_with_rate; transitions.select &:has_rate? end
+  alias R_transitions transitions_with_rate
+
+  # Names of _transitions with rate_ in the net.
+  # 
+  def tt_with_rate; transitions_with_rate.map &:name end
+  alias R_tt tt_with_rate
+
+  # Array of _rateless_ transitions in the net.
+  # 
+  def rateless_transitions; transitions.select &:rateless? end
+  alias transitions_without_rate rateless_transitions
+  alias r_transitions rateless_transitions
+
+  # Names of _rateless_ transitions in the net.
+  # 
+  def rateless_tt; rateless_transitions.map &:name end
+  alias tt_without_rate rateless_tt
+  alias r_tt rateless_tt
+end # class YPetri::Net

data/lib/y_petri/net/visualization.rb

@@ -0,0 +1,67 @@
+#encoding: utf-8
+
+# Own visualization capabilities of a Petri net.
+# 
+class YPetri::Net
+  # Visualizes the net with Graphviz.
+  # 
+  def visualize
+    require 'graphviz'
+    γ = GraphViz.new :G
+    # Add places and transitions.
+    place_nodes = places.map.with_object Hash.new do |pl, ꜧ|
+      ꜧ[pl] = γ.add_nodes pl.name.to_s,
+                          fillcolor: 'lightgrey',
+                          color: 'grey',
+                          style: 'filled'
+    end
+    transition_nodes = transitions.map.with_object Hash.new do |tr, ꜧ|
+      ꜧ[tr] = γ.add_nodes tr.name.to_s,
+                          shape: 'box',
+                          fillcolor: if tr.assignment? then 'yellow'
+                                     elsif tr.basic_type == :SR then 'lightcyan'
+                                     else 'ghostwhite' end,
+                          color: if tr.assignment? then 'goldenrod'
+                                 elsif tr.basic_type == :SR then 'cyan'
+                                 else 'grey' end,
+                          style: 'filled'
+    end
+    # Add Petri net arcs.
+    transition_nodes.each { |tr, tr_node|
+      if tr.assignment? then
+        tr.codomain.each { |pl|
+          γ.add_edges tr_node, place_nodes[pl], color: 'goldenrod'
+        }
+        ( tr.domain - tr.codomain ).each { |pl|
+          γ.add_edges tr_node, place_nodes[pl], color: 'grey', arrowhead: 'none'
+        }
+      elsif tr.basic_type == :SR then
+        tr.codomain.each { |pl|
+          if tr.stoichio[pl] > 0 then # producing arc
+            γ.add_edges tr_node, place_nodes[pl], color: 'cyan'
+          elsif tr.stoichio[pl] < 0 then # consuming arc
+            γ.add_edges place_nodes[pl], tr_node, color: 'cyan'
+          else
+            γ.add_edges place_nodes[pl], tr_node, color: 'grey', arrowhead: 'none'
+          end
+        }
+        ( tr.domain - tr.codomain ).each { |pl|
+          γ.add_edges tr_node, place_nodes[pl], color: 'grey', arrowhead: 'none'
+        }
+      end
+    }
+    # Generate output image.
+    γ.output png: File.expand_path( "~/y_petri_graph.png" )
+    # require 'y_support/kde'
+    YSupport::KDE.show_file_with_kioclient File.expand_path( "~/y_petri_graph.png" )
+  end
+
+  private
+
+  # Display a file with kioclient (KDE).
+  # 
+  def show_file_with_kioclient( file_name )
+    system "sleep 0.2; kioclient exec 'file:%s'" %
+      File.expand_path( '.', file_name )
+  end
+end # class YPetri::Net