petri 0.0.1 → 0.0.2
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/.gitignore +1 -0
- data/lib/petri.rb +14 -0
- data/lib/version.rb +1 -1
- metadata +3 -1
checksums.yaml
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
---
|
2
2
|
SHA1:
|
3
|
-
metadata.gz:
|
4
|
-
data.tar.gz:
|
3
|
+
metadata.gz: dac5d748c953fa6127703f611829df963ee75027
|
4
|
+
data.tar.gz: 64d0935aff7daab3d7e48c0a6ce36ab492cbf946
|
5
5
|
SHA512:
|
6
|
-
metadata.gz:
|
7
|
-
data.tar.gz:
|
6
|
+
metadata.gz: 57bb3d874d51d8f68116ce05aeb87eb767f2cbc22e5a34b9224a92c705aea7ba74d7a3dcedb3a5e96381a379c9cf00f5c025f2a9b4e68223b213283efc4a5e21
|
7
|
+
data.tar.gz: da424565deba166e2b9aa3e1c7f5924fcbb6244118167ee61c0e22c0c453825748d53c5b1bdb1cb327b6f080487f6e2814edbda315fa9fcd44db8b065df3eb1f
|
data/.gitignore
ADDED
@@ -0,0 +1 @@
|
|
1
|
+
*.gem
|
data/lib/petri.rb
ADDED
@@ -0,0 +1,14 @@
|
|
1
|
+
require 'petri/arc'
|
2
|
+
require 'petri/element'
|
3
|
+
require 'petri/message'
|
4
|
+
require 'petri/net'
|
5
|
+
require 'petri/net_loader'
|
6
|
+
require 'petri/node'
|
7
|
+
require 'petri/place'
|
8
|
+
require 'petri/subprocess'
|
9
|
+
require 'petri/task_transition'
|
10
|
+
require 'petri/token'
|
11
|
+
require 'petri/transition'
|
12
|
+
|
13
|
+
module Petri
|
14
|
+
end
|
data/lib/version.rb
CHANGED
metadata
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: petri
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version: 0.0.
|
4
|
+
version: 0.0.2
|
5
5
|
platform: ruby
|
6
6
|
authors:
|
7
7
|
- Sergei Zinin (einzige)
|
@@ -17,7 +17,9 @@ extensions: []
|
|
17
17
|
extra_rdoc_files:
|
18
18
|
- README.md
|
19
19
|
files:
|
20
|
+
- ".gitignore"
|
20
21
|
- README.md
|
22
|
+
- lib/petri.rb
|
21
23
|
- lib/petri/arc.rb
|
22
24
|
- lib/petri/element.rb
|
23
25
|
- lib/petri/message.rb
|