y_nelson 2.3.3 → 2.3.4
Sign up to get free protection for your applications and to get access to all the features.
checksums.yaml
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
---
|
2
2
|
SHA1:
|
3
|
-
metadata.gz:
|
4
|
-
data.tar.gz:
|
3
|
+
metadata.gz: 85d50b50805e7e9d08cda75095496aa96a01dde2
|
4
|
+
data.tar.gz: a303a0e29c993c2f7e44ce4d85c5672c63f56bfa
|
5
5
|
SHA512:
|
6
|
-
metadata.gz:
|
7
|
-
data.tar.gz:
|
6
|
+
metadata.gz: 662e0eb31fd164624cf04e154593dadf842dc43aa90e92d1dd2706b31d633b85b8e893db2a9f80699361765861b2e57b305dbd58f874162a25bf1929478b44f8
|
7
|
+
data.tar.gz: 68203476bcd83d762f73499313cdbcf4374b27a567eec588a027937733de0945f9fff69051fbff2304ad3efa69ace2129b3ee81b84ee6aecd2979afb89459e09
|
@@ -65,7 +65,7 @@
|
|
65
65
|
\begin_body
|
66
66
|
|
67
67
|
\begin_layout Title
|
68
|
-
Introduction to YNelson (hands-on tutorial)
|
68
|
+
Introduction to YNelson and YPetri (hands-on tutorial)
|
69
69
|
\end_layout
|
70
70
|
|
71
71
|
\begin_layout Part*
|
@@ -92,7 +92,23 @@ Ruby
|
|
92
92
|
language.
|
93
93
|
It is not assumed that the reader is familiar with any of these, though
|
94
94
|
familiarity with Ruby syntax would be an advantage.
|
95
|
-
|
95
|
+
This document can at the same time serve as a guide to
|
96
|
+
\family typewriter
|
97
|
+
\color blue
|
98
|
+
YPetri
|
99
|
+
\family default
|
100
|
+
\color inherit
|
101
|
+
, which is one of the two main components of
|
102
|
+
\family typewriter
|
103
|
+
YNelson
|
104
|
+
\family default
|
105
|
+
, and which caters solely to the concerns of Petri net-based modelling of
|
106
|
+
dynamical systems.
|
107
|
+
|
108
|
+
\end_layout
|
109
|
+
|
110
|
+
\begin_layout Standard
|
111
|
+
If you have never heard about Nelson nets, do not wonder: it is a semi-novel
|
96
112
|
concept based on
|
97
113
|
\emph on
|
98
114
|
\color green
|
@@ -110,7 +126,8 @@ ZZ structures
|
|
110
126
|
introduction to each of these three.
|
111
127
|
(Remark:
|
112
128
|
\emph on
|
113
|
-
only the Petri net aspect is covered in this version
|
129
|
+
only the Petri net aspect defined by YPetri is covered in this version
|
130
|
+
of this guide.
|
114
131
|
ZZ structure aspect will be covered in the future versions of this manual.)
|
115
132
|
\emph default
|
116
133
|
Newly introduced
|
@@ -122,8 +139,11 @@ Ruby keywords and terms
|
|
122
139
|
Petri net terms
|
123
140
|
\color inherit
|
124
141
|
in green, and
|
142
|
+
\family typewriter
|
125
143
|
\color blue
|
126
|
-
YNelson
|
144
|
+
YNelson
|
145
|
+
\family default
|
146
|
+
keywords and terms
|
127
147
|
\color inherit
|
128
148
|
in blue throughout this document.
|
129
149
|
\end_layout
|
@@ -135,7 +155,8 @@ YNelson keywords and terms
|
|
135
155
|
YNelson
|
136
156
|
\family default
|
137
157
|
\color inherit
|
138
|
-
is a domain model and a simulator of Nelson nets,
|
158
|
+
is a domain model and a simulator of Nelson nets, a specific universal
|
159
|
+
type of
|
139
160
|
\emph on
|
140
161
|
\color green
|
141
162
|
functional
|
@@ -174,8 +195,8 @@ key "Bos2008mbs"
|
|
174
195
|
\family typewriter
|
175
196
|
YNelson
|
176
197
|
\family default
|
177
|
-
introduces its own Petri net
|
178
|
-
with
|
198
|
+
introduces its own universal Petri net type, which is similar, but not
|
199
|
+
identical with
|
179
200
|
\emph on
|
180
201
|
\color green
|
181
202
|
hybrid functional Petri nets (HFPN)
|
@@ -189,6 +210,16 @@ key "Matsuno2011brs"
|
|
189
210
|
\end_inset
|
190
211
|
|
191
212
|
.
|
213
|
+
This universal Petri net is defined in
|
214
|
+
\family typewriter
|
215
|
+
YPetri
|
216
|
+
\family default
|
217
|
+
gem, on which
|
218
|
+
\family typewriter
|
219
|
+
YNelson
|
220
|
+
\family default
|
221
|
+
is based, and it purports to provide a universal Petri net abstraction
|
222
|
+
and a DSL to rule them all and in Ruby bind them.
|
192
223
|
\end_layout
|
193
224
|
|
194
225
|
\begin_layout Standard
|
@@ -196,7 +227,11 @@ key "Matsuno2011brs"
|
|
196
227
|
\family typewriter
|
197
228
|
YNelson
|
198
229
|
\family default
|
199
|
-
|
230
|
+
(and
|
231
|
+
\family typewriter
|
232
|
+
YPetri
|
233
|
+
\family default
|
234
|
+
) is implemented as an
|
200
235
|
\emph on
|
201
236
|
\color red
|
202
237
|
internal domain-specific language (DSL)
|
@@ -546,21 +581,9 @@ irb
|
|
546
581
|
\color red
|
547
582
|
require
|
548
583
|
\color inherit
|
549
|
-
'y_nelson'
|
550
|
-
\end_layout
|
551
|
-
|
552
|
-
\begin_layout Standard
|
553
|
-
After succesful
|
554
|
-
\family typewriter
|
555
|
-
require
|
556
|
-
\family default
|
557
|
-
, type:
|
558
|
-
\end_layout
|
559
|
-
|
560
|
-
\begin_layout LyX-Code
|
561
|
-
|
584
|
+
'y_nelson' and
|
562
585
|
\color red
|
563
|
-
include
|
586
|
+
include
|
564
587
|
\color inherit
|
565
588
|
YNelson
|
566
589
|
\end_layout
|
@@ -575,7 +598,27 @@ YNelson
|
|
575
598
|
YNelson
|
576
599
|
\family default
|
577
600
|
DSL CI).
|
578
|
-
You
|
601
|
+
You may also choose to work only with
|
602
|
+
\family typewriter
|
603
|
+
YPetri
|
604
|
+
\family default
|
605
|
+
alone, in which case the require line is:
|
606
|
+
\end_layout
|
607
|
+
|
608
|
+
\begin_layout LyX-Code
|
609
|
+
|
610
|
+
\color red
|
611
|
+
require
|
612
|
+
\color inherit
|
613
|
+
'y_petri' and
|
614
|
+
\color red
|
615
|
+
include
|
616
|
+
\color inherit
|
617
|
+
YPetri
|
618
|
+
\end_layout
|
619
|
+
|
620
|
+
\begin_layout Standard
|
621
|
+
You have to re-run
|
579
622
|
\emph on
|
580
623
|
irb
|
581
624
|
\emph default
|
@@ -588,7 +631,7 @@ require
|
|
588
631
|
include
|
589
632
|
\family default
|
590
633
|
' statements before each of the usage examples written below.
|
591
|
-
|
634
|
+
Also, please notice that this guide itself is alpha stage, so the actual
|
592
635
|
|
593
636
|
\family typewriter
|
594
637
|
YNelson
|
Binary file
|
data/lib/y_nelson/version.rb
CHANGED
metadata
CHANGED
@@ -1,7 +1,7 @@
|
|
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.4
|
5
5
|
platform: ruby
|
6
6
|
authors:
|
7
7
|
- boris
|
@@ -97,8 +97,8 @@ files:
|
|
97
97
|
- Gemfile
|
98
98
|
- Introduction_to_Ruby_for_YNelson_Users.lyx
|
99
99
|
- Introduction_to_Ruby_for_YNelson_Users.pdf
|
100
|
-
-
|
101
|
-
-
|
100
|
+
- Introduction_to_YNelson_and_YPetri.lyx
|
101
|
+
- Introduction_to_YNelson_and_YPetri.pdf
|
102
102
|
- LICENSE.txt
|
103
103
|
- Object_model_of_YNelson_and_YPetri.lyx
|
104
104
|
- Object_model_of_YNelson_and_YPetri.pdf
|