y_nelson 2.3.3 → 2.3.4
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
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
|