--- daze.ho.ua ---

Dmitry Zaitsev collection of models built in Tina (www.laas.fr/tina) and described in


1. Zaitsev D.A. Clans of Petri Nets: Verification of protocols and performance evaluation of networks, LAP LAMBERT Academic Publishing, 2013, 292 p.

2. Zaitsev D.A., Zaitsev I.D., Shmeleva T.R. Infinite Petri Nets as Models of Grids (pp. 187-204). Chapter 19 in Mehdi Khosrow-Pour (Ed.) Encyclopedia of Information Science and Technology, Third Edition (10 Volumes). IGI-Global: USA, 2014.

3. Zaitsev D.A. Universal Petri net, Cybernetics and Systems Analysis, Volume 48, Number 4 (2012), 498-511. 


BOL
---

[1], fig. 2.1. 

Simple net to test decomposition into functional subnets.


BGP
---

[1], fig. 4.1. 

Model of dynamic routing Borger Gateway Protocol (BGP) built on FRC 1771.
A deadlock is observed.


TCP
---

[1], fig. 4.5. 

Model of Transmission Control Protocol (TCP) built on FRC 793. 
Connection and disconnection procedures with a three way handshake.


IOTP (PuTr)
-----------

[1], fig. 4.22. 

Model of Internet Open Trade Protocol (IOTP) built on FRC 2801. 
Purchase Transaction.


Ether
-----

[1], fig. 4.24, 4.26. 

Model of Ethernet network with the common bus architecture.  
A linear structure parameterized with scaling parameter k - number of devices on a bus.


ECMA
----

[1], fig. A.1. 

Model of European Computer Manufacturer Association (ECMA) protocol. 
A deadlock is observed.


GRIDS
-----

[2], fig. 4, 6, 15, 16.

Models of grid structures: square on plane and hypercube.
A grid of switching nodes implements the packets delivery among attached on borders customer nodes, which send and receive packets.
Models are parameterized with scaling parameters: d - number of dimensions, k – size; other parameters define initial marking. 
C programs, which generate .net files for given values of parameters, are provided: sgen.c – generates a square grid, hcgen.c – generates a hypercube. 


AOP
---

[3], Appendix A.

Models of arithmetic operations used in construction of Universal Petri Net (UPN): addition, subtraction, multiplication, division, encoding/decoding, comparison etc


P.S.

Other sources of models' description for free download:

Zaitsev D.A. Functional Petri Nets, Universite Paris-Dauphine, Cahier du Lamsade 224 Avril 2005, 62p.

Shmeleva T.R., Zaitsev D.A., Zaitsev I.D. Analysis of Square Communication Grids via Infinite Petri Nets. Transactions of Odessa National Academy of Telecommunication, no. 1, 2009, p. 27-35.

Zaitsev D.A., Shmeleva T.R. Hypercube communication structures analysis via parametric Petri nets. Proceedings of 24th UK Performance Engineering Workshop (UKPEW 2008), 3-4 July 2008, Department of Computing, Imperial College London, p. 358-371.

Zaitsev D.A. Universal Inhibitor Petri Net. Proc. of the 17th German Workshop on Algorithms and Tools for Petri Nets, Cottbus, Germany, October 07-08, 2010, p. 1-15.


--- daze.ho.ua ---