petri 0.0.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA1:
+  metadata.gz: 499cdfa50c7df671582543bc17bbd5db4a7cab6f
+  data.tar.gz: a96adde8d148ed7cee62f2013c54ae54eda2dfaa
+SHA512:
+  metadata.gz: 21305eb0658d4b29b8696d287d69a83eff4fb150e4fd842f8cfc47622953c393f30ea93cc3f56ac6398470c60cdc367c9b6e0f54053417e7d805c891a54f5112
+  data.tar.gz: 07e2b532eb5edd038761de2300270073e4658c1172d92024b0288e2ede9ed66cd37ba7738ae4036b1210200bd62f06394f4ab6857e03ea22657a303fba50cf02

data/lib/petri.rb

@@ -0,0 +1,8 @@
+require 'petri/element'
+require 'petri/node'
+require 'petri/place'
+require 'petri/transition'
+require 'petri/arc'
+require 'petri/token'
+require 'petri/net_loader'
+require 'petri/net'

data/lib/petri/arc.rb

@@ -0,0 +1,12 @@
+module Petri
+  class Arc < Element
+    attr_reader :from_node, :to_node, :type
+
+    def initialize(net, from: nil, to: nil, type: nil, guid: nil)
+      super(net, {guid: guid})
+      @from_node = from
+      @to_node = to
+      @type = type || :regular
+    end
+  end
+end

data/lib/petri/element.rb

@@ -0,0 +1,13 @@
+module Petri
+  class Element
+    attr_reader :net, :data, :guid
+
+    # @param net [Net]
+    # @param data [Hash<Symbol>]
+    def initialize(net, data = {})
+      @net = net
+      @data = data.symbolize_keys || {}
+      @guid ||= data[:guid] if data[:guid]
+    end
+  end
+end

data/lib/petri/net.rb

@@ -0,0 +1,50 @@
+module Petri
+  class Net
+    include NetLoader
+
+    attr_reader :places, :transitions, :arcs, :tokens
+
+    def initialize
+      @transitions = []
+      @places = []
+      @arcs = []
+      @tokens = []
+    end
+
+    # Lets the process be started
+    # Populates tokens in start places
+    def init
+      places.each do |place|
+        put_token(place) if place.start?
+      end
+    end
+
+    # @param place [Place]
+    # @return [Token]
+    def put_token(place)
+      Token.new(place).tap do |token|
+        @tokens << token
+      end
+    end
+
+    # @param place [Place]
+    # @return [Token, nil]
+    def remove_token(place)
+      @tokens.each do |token|
+        if token.place == place
+          @tokens.delete(token)
+          return token
+        end
+      end
+      nil
+    end
+
+    protected
+
+    def node_by_guid(guid)
+      @places.each { |node| return node if node.guid == guid }
+      @transitions.each { |node| return node if node.guid == guid }
+      nil
+    end
+  end
+end

data/lib/petri/net_loader.rb

@@ -0,0 +1,75 @@
+module Petri
+  module NetLoader
+    extend ActiveSupport::Concern
+
+    # @param guid [String]
+    # @param title [String]
+    # @param start [true, false]
+    def add_place(guid: , title: , start: )
+      @places << Place.new(self, {guid: guid, title: title, start: start})
+    end
+
+    # @param guid [String]
+    # @param title [String]
+    # @param action [String]
+    def add_transition(guid: , title: , action: )
+      @transitions << Transition.new(self, {guid: guid, title: title, action: action})
+    end
+
+    # @param guid [String]
+    # @param title [String]
+    # @param from_guid [String]
+    # @param to_guid [String]
+    # @param type [String]
+    def add_arc(guid: , from_guid: , to_guid: , type: )
+      from_node = node_by_guid(from_guid)
+      to_node = node_by_guid(to_guid)
+      @arcs << Arc.new(self, from: from_node, to: to_node, type: type.try(:to_sym), guid: guid)
+    end
+
+    module ClassMethods
+      # @param path [String]
+      # @return [Net]
+      def from_file(path)
+        from_stream(File.new(path))
+      end
+
+      # @param io [IO]
+      # @return [Net]
+      def from_stream(io)
+        from_string(io.read)
+      end
+
+      # @param str [String]
+      # @return [Net]
+      def from_string(str)
+        from_hash(JSON.parse(str))
+      end
+
+      # @param hash [Hash<String>]
+      # @return [Net]
+      def from_hash(hash)
+        self.new.tap do |net|
+          hash['places'].each do |data|
+            net.add_place(guid: data['guid'],
+                          title: data['title'],
+                          start: data['start'])
+          end
+
+          hash['transitions'].each do |data|
+            net.add_transition(guid: data['guid'],
+                               title: data['title'],
+                               action: data['action'])
+          end
+
+          hash['arcs'].each do |data|
+            net.add_arc(guid: data['guid'],
+                        from_guid: data['from_guid'],
+                        to_guid: data['to_guid'],
+                        type: data['type'])
+          end
+        end
+      end
+    end
+  end
+end

data/lib/petri/node.rb

@@ -0,0 +1,9 @@
+module Petri
+  class Node < Element
+
+    # @return [String, nil]
+    def title
+      @data[:title]
+    end
+  end
+end

data/lib/petri/place.rb

@@ -0,0 +1,12 @@
+module Petri
+  class Place < Node
+
+    def has_token?
+      net.tokens.any? { |token| token.place == self }
+    end
+
+    def start?
+      !!@data[:start]
+    end
+  end
+end

data/lib/petri/token.rb

@@ -0,0 +1,10 @@
+module Petri
+  class Token
+    attr_reader :place
+
+    # @param place [Place]
+    def initialize(place)
+      @place = place
+    end
+  end
+end

data/lib/petri/transition.rb

@@ -0,0 +1,64 @@
+module Petri
+  class Transition < Node
+
+    # @return [String, nil]
+    def action
+      @data[:action].presence
+    end
+
+    def enabled?
+      input_places.all?(&:has_token?)
+    end
+
+    def fire!
+      raise ArgumentError, 'Transition is not enabled' unless enabled?
+      consume_tokens
+      callback.try(:call)
+      produce_tokens
+    end
+
+    # @param block [Proc]
+    def set_callback(&block)
+      @callback = block
+    end
+
+    # @return [Proc, nil]
+    def callback
+      @callback
+    end
+
+    private
+
+    def consume_tokens
+      input_places.each do |place|
+        net.remove_token(place)
+      end
+    end
+
+    def produce_tokens
+      output_places.each do |place|
+        net.put_token(place)
+      end
+    end
+
+    # @return [Array<Arc>]
+    def input_arcs
+      net.arcs.select { |arc| arc.to_node == self }
+    end
+
+    # @return [Array<Place>]
+    def input_places
+      input_arcs.map(&:from_node)
+    end
+
+    # @return [Array<Arc>]
+    def output_arcs
+      net.arcs.select { |arc| arc.from_node == self }
+    end
+
+    # @return [Array<Place>]
+    def output_places
+      output_arcs.map(&:to_node)
+    end
+  end
+end

metadata

@@ -0,0 +1,72 @@
+--- !ruby/object:Gem::Specification
+name: petri
+version: !ruby/object:Gem::Version
+  version: 0.0.0
+platform: ruby
+authors:
+- Sergei Zinin
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2016-02-22 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: activesupport
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.2'
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 3.2.16
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.2'
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 3.2.16
+description: A simple petri nets structure
+email: szinin@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- lib/petri.rb
+- lib/petri/arc.rb
+- lib/petri/element.rb
+- lib/petri/net.rb
+- lib/petri/net_loader.rb
+- lib/petri/node.rb
+- lib/petri/place.rb
+- lib/petri/token.rb
+- lib/petri/transition.rb
+homepage: http://github.com/einzige/petri
+licenses:
+- MIT
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.2.2
+signing_key: 
+specification_version: 4
+summary: Petri nets
+test_files: []