%PDF-1.3
%
498 0 obj
<>
endobj
499 0 obj
<>stream
2017-06-05T15:43:30+05:00
Wolfram Mathematica 11.0.0.0 for Mac OS X x86 (32-bit, 64-bit Kernel) (August 1, 2016)
2017-06-12T09:48:22-05:00
2017-06-12T09:48:22-05:00
application/pdf
Infinite Petri Nets: Part 1, Modeling Square Grid Structures
A composition and analysis technique was developed for investigation of infinite Petri nets with regular structure. A case study of a square grid structure composition and analysis is presented. Parametric description of Petri nets, parametric representation of infinite systems for calculating place/transition invariants, and solving them in parametric form allowed the invariance proof for infinite Petri net models. Complex deadlocks were disclosed and a possibility of network blocking via ill-intentioned traffic revealed. Complex Systems 26, 2017.
Dmitry A. Zaitsev
Ivan D. Zaitsev
Tatiana R. Shmeleva
uuid:020a3c7c-f6d1-2b41-bd35-fa58b3553899
uuid:e5f5d524-a62a-234a-875a-692b1852d15d
endstream
endobj
1 0 obj
<>
endobj
19 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
34 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
41 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
47 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
52 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
58 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text/ImageC]/XObject<>>>/Type/Page>>
endobj
66 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
73 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
79 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
85 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
90 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
94 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
99 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
103 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
108 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
112 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
118 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text/ImageB]/XObject<>>>/Type/Page>>
endobj
123 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
128 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
132 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
140 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
144 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
149 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
154 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
159 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
166 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
171 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
175 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
180 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
184 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
191 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
195 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
200 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
204 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
209 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
213 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
218 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
227 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
238 0 obj
<>/MediaBox[0 0 432 648]/Parent 1 0 R/Resources<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
577 0 obj
<>stream
HW[s۶~ׯУ=R$f;N},5Ӻ)XBKHGg)E@kKF.{1a1hB!NoPR?a>eb8Y8zR''mob'=!tW'wm 9s'|))qQ "$DWzEAb$Z E-_yHC3ƿ(uT{NVbubT"_> UeXԹ;'V+=a>Xȭ)"-ҚJ5:-)6u)XonUeMXgUºJ/_oz nn>o#FH|ֶ>n)1_HS4SVa,IY)O(X/lo*iA:tZʨ