Generator of hypertorus Petri net models
A hypertorus is obtained from a hypercube via closing (connecting) opposite facets in each dimension. A cell of hypertorus grid represents a packet switching device with ports situated on facets of the unit-sized hypercube. A device works in full-duplex mode using store-and-forward principle with limited capacity of buffer. Neighboring cells are connected via merging contact places situated on common facets.
htgen d k p b > ht_model.net
d the number of dimensions;
k the hypertorus size, actually k x k x k x ... x k - d times;
p the number of packets in each section of the internal buffer;
b the internal buffer available size.
.net “Time Petri nets textual format” according to http://www.laas.fr/tina
Tina Toolbox for analysis of Petri nets and Time Petri nets http://www.laas.fr/tina
Exported from Tina models are opened with other tools for Petri nets http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/quick.html
htgen 3 2 2 3 > ht3d2k2p3b.net
- Generate a model of a hypertorus with 3 dimensions of size 2 with 2 packets in each buffer section and available size of buffer 3.
nd ht3d2k2p3b.net
- Load the model into graphical environment of Tina.
Menue: "Edit - draw - nearto"
- Visualize the model.
Menue: "Tools - stepper simulator - Rand"
- Watch the token game.
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. http://ukpew.org/2008/papers/hypercube-petri-nets
Zaitsev D.A. Generators of Petri Net Models. Computer Communication & Collaboration, Vol. 2, Issue 2, 2014, 12-25. http://www.bapress.ca/ccc/ccc2014_2/2_14011024.pdf
Zaitsev D.A. Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets, Automatic Control and Computer Sciences, 2013, Vol. 47, No. 7, pp. 403–412. http://dx.doi.org/10.3103/S0146411613070262