y_nelson 2.3.6 → 2.3.7
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/{Introduction_to_Ruby_for_YNelson_Users.lyx → Introduction_to_Ruby_for_YPetri_and_YNelson_Users.lyx} +21 -33
- data/Introduction_to_Ruby_for_YPetri_and_YNelson_Users.pdf +0 -0
- data/{Introduction_to_YNelson_and_YPetri.lyx → Introduction_to_YPetri_and_YNelson.lyx} +404 -522
- data/Introduction_to_YPetri_and_YNelson.pdf +0 -0
- data/{Object_model_of_YNelson_and_YPetri.lyx → Object_model_of_YPetri_and_YNelson.lyx} +48 -51
- data/Object_model_of_YPetri_and_YNelson.pdf +0 -0
- data/lib/y_nelson/version.rb +1 -1
- metadata +8 -8
- data/Introduction_to_Ruby_for_YNelson_Users.pdf +0 -0
- data/Introduction_to_YNelson_and_YPetri.pdf +0 -0
- data/Object_model_of_YNelson_and_YPetri.pdf +0 -0
Binary file
|
@@ -1,5 +1,5 @@
|
|
1
|
-
#LyX 2.
|
2
|
-
\lyxformat
|
1
|
+
#LyX 2.1 created this file. For more info see http://www.lyx.org/
|
2
|
+
\lyxformat 474
|
3
3
|
\begin_document
|
4
4
|
\begin_header
|
5
5
|
\textclass article
|
@@ -12,13 +12,13 @@
|
|
12
12
|
\font_roman default
|
13
13
|
\font_sans default
|
14
14
|
\font_typewriter default
|
15
|
+
\font_math auto
|
15
16
|
\font_default_family default
|
16
17
|
\use_non_tex_fonts false
|
17
18
|
\font_sc false
|
18
19
|
\font_osf false
|
19
20
|
\font_sf_scale 100
|
20
21
|
\font_tt_scale 100
|
21
|
-
|
22
22
|
\graphics default
|
23
23
|
\default_output_format default
|
24
24
|
\output_sync 0
|
@@ -29,15 +29,24 @@
|
|
29
29
|
\use_hyperref false
|
30
30
|
\papersize default
|
31
31
|
\use_geometry true
|
32
|
-
\
|
33
|
-
\
|
34
|
-
\
|
35
|
-
\
|
36
|
-
\
|
32
|
+
\use_package amsmath 1
|
33
|
+
\use_package amssymb 1
|
34
|
+
\use_package cancel 1
|
35
|
+
\use_package esint 1
|
36
|
+
\use_package mathdots 1
|
37
|
+
\use_package mathtools 1
|
38
|
+
\use_package mhchem 1
|
39
|
+
\use_package stackrel 1
|
40
|
+
\use_package stmaryrd 1
|
41
|
+
\use_package undertilde 1
|
42
|
+
\cite_engine natbib
|
43
|
+
\cite_engine_type authoryear
|
44
|
+
\biblio_style plainnat
|
37
45
|
\use_bibtopic false
|
38
46
|
\use_indices false
|
39
47
|
\paperorientation portrait
|
40
48
|
\suppress_date false
|
49
|
+
\justification true
|
41
50
|
\use_refstyle 0
|
42
51
|
\index Index
|
43
52
|
\shortcut idx
|
@@ -119,7 +128,7 @@ key "Dattolo2009fdz"
|
|
119
128
|
\end_inset
|
120
129
|
|
121
130
|
.
|
122
|
-
|
131
|
+
|
123
132
|
\family typewriter
|
124
133
|
YNelson
|
125
134
|
\family default
|
@@ -129,15 +138,14 @@ YNelson
|
|
129
138
|
YPetri
|
130
139
|
\family default
|
131
140
|
\color inherit
|
132
|
-
gem
|
141
|
+
gem that provides Petri nets and
|
133
142
|
\family typewriter
|
134
143
|
\color blue
|
135
144
|
Yzz
|
136
145
|
\family default
|
137
146
|
\color inherit
|
138
|
-
gem
|
139
|
-
|
140
|
-
Up to minor conveniences,
|
147
|
+
gem that provides ZZ structures.
|
148
|
+
|
141
149
|
\family typewriter
|
142
150
|
YNelson
|
143
151
|
\family default
|
@@ -145,55 +153,44 @@ YNelson
|
|
145
153
|
\family typewriter
|
146
154
|
YPetri
|
147
155
|
\family default
|
148
|
-
, so this document
|
156
|
+
, so this document is (except for
|
149
157
|
\family typewriter
|
150
|
-
|
158
|
+
Yzz
|
151
159
|
\family default
|
152
|
-
|
153
|
-
\end_layout
|
154
|
-
|
155
|
-
\begin_layout Standard
|
156
|
-
For the beginners, there is tutorial available for
|
160
|
+
features) applicable also to
|
157
161
|
\family typewriter
|
158
162
|
YPetri
|
159
163
|
\family default
|
160
|
-
|
161
|
-
\family typewriter
|
162
|
-
YNelson
|
163
|
-
\family default
|
164
|
-
, and the classes are more or less fully documented, the internal workings
|
165
|
-
and the design intent might not be immediately obvious.
|
166
|
-
The purpose of is document is to make the reader faster achieve their understan
|
167
|
-
ding.
|
164
|
+
.
|
168
165
|
\end_layout
|
169
166
|
|
170
167
|
\begin_layout Standard
|
168
|
+
You should also take a look at the tutorial,
|
169
|
+
\begin_inset Quotes eld
|
170
|
+
\end_inset
|
171
|
+
|
172
|
+
Introduction_to_YNelson_and_YPetri
|
173
|
+
\begin_inset Quotes erd
|
174
|
+
\end_inset
|
171
175
|
|
172
|
-
\family typewriter
|
173
|
-
YNelson
|
174
|
-
\family default
|
175
|
-
requires Ruby 2.1, and can be installed from the command line by
|
176
|
-
\family typewriter
|
177
|
-
gem install y_nelson
|
178
|
-
\family default
|
179
176
|
.
|
180
|
-
|
181
|
-
|
182
|
-
Yzz
|
183
|
-
\family default
|
184
|
-
and
|
177
|
+
However, the tutorial is a hands-on guide, while this document describes
|
178
|
+
the abstraction of
|
185
179
|
\family typewriter
|
186
180
|
YPetri
|
187
181
|
\family default
|
188
|
-
|
182
|
+
/
|
189
183
|
\family typewriter
|
190
|
-
|
184
|
+
YNelson
|
191
185
|
\family default
|
192
|
-
|
186
|
+
.
|
187
|
+
The described gems need Ruby 2.3 or newer and can be installed by typing
|
188
|
+
|
193
189
|
\family typewriter
|
194
|
-
gem install
|
190
|
+
gem install y_nelson
|
195
191
|
\family default
|
196
|
-
.
|
192
|
+
in your command prompt.
|
193
|
+
(The dependencies will install automatically.)
|
197
194
|
\end_layout
|
198
195
|
|
199
196
|
\begin_layout Part*
|
@@ -214,8 +211,8 @@ wiring diagrams
|
|
214
211
|
|
215
212
|
– production lines, railway networks, electronic circuits, computer architectur
|
216
213
|
es, parallel execution diagrams, or chemical systems.
|
217
|
-
In fact,
|
218
|
-
|
214
|
+
In fact, Petri himself has designed Petri nets with chemical systems in
|
215
|
+
mind.
|
219
216
|
\end_layout
|
220
217
|
|
221
218
|
\begin_layout Standard
|
@@ -271,15 +268,15 @@ State
|
|
271
268
|
\end_layout
|
272
269
|
|
273
270
|
\begin_layout Standard
|
274
|
-
Petri nets
|
271
|
+
Classical Petri nets are
|
275
272
|
\emph on
|
276
273
|
\color green
|
277
274
|
timeless
|
278
275
|
\emph default
|
279
276
|
\color inherit
|
280
277
|
.
|
281
|
-
In
|
282
|
-
timing is not specified.
|
278
|
+
In timeless Petri nets, firing of a transition is a discrete event, whose
|
279
|
+
exact timing is not specified.
|
283
280
|
Instead, conditions are specified, under which the transition is allowed
|
284
281
|
or prohibited to fire (
|
285
282
|
\emph on
|
@@ -3833,7 +3830,7 @@ Agent
|
|
3833
3830
|
\begin_layout LyX-Code
|
3834
3831
|
\begin_inset CommandInset bibtex
|
3835
3832
|
LatexCommand bibtex
|
3836
|
-
bibfiles "/home/boris/b/
|
3833
|
+
bibfiles "/home/boris/b/8oav/hos/hos"
|
3837
3834
|
options "plainnat"
|
3838
3835
|
|
3839
3836
|
\end_inset
|
Binary file
|
data/lib/y_nelson/version.rb
CHANGED
metadata
CHANGED
@@ -1,14 +1,14 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: y_nelson
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version: 2.3.
|
4
|
+
version: 2.3.7
|
5
5
|
platform: ruby
|
6
6
|
authors:
|
7
7
|
- boris
|
8
8
|
autorequire:
|
9
9
|
bindir: bin
|
10
10
|
cert_chain: []
|
11
|
-
date: 2016-06-
|
11
|
+
date: 2016-06-28 00:00:00.000000000 Z
|
12
12
|
dependencies:
|
13
13
|
- !ruby/object:Gem::Dependency
|
14
14
|
name: yzz
|
@@ -98,13 +98,13 @@ files:
|
|
98
98
|
- ".gitignore"
|
99
99
|
- ACKNOWLEDGMENT.txt
|
100
100
|
- Gemfile
|
101
|
-
-
|
102
|
-
-
|
103
|
-
-
|
104
|
-
-
|
101
|
+
- Introduction_to_Ruby_for_YPetri_and_YNelson_Users.lyx
|
102
|
+
- Introduction_to_Ruby_for_YPetri_and_YNelson_Users.pdf
|
103
|
+
- Introduction_to_YPetri_and_YNelson.lyx
|
104
|
+
- Introduction_to_YPetri_and_YNelson.pdf
|
105
105
|
- LICENSE.txt
|
106
|
-
-
|
107
|
-
-
|
106
|
+
- Object_model_of_YPetri_and_YNelson.lyx
|
107
|
+
- Object_model_of_YPetri_and_YNelson.pdf
|
108
108
|
- README.md
|
109
109
|
- Rakefile
|
110
110
|
- lib/y_nelson.rb
|
Binary file
|
Binary file
|
Binary file
|