Verification of Ethernet Protocols via Parametric Composition of Petri Net

Zaitsev, Dmitry A.; Zaitsev, Ivan D.

doi:10.3182/20060517-3-fr-2903.00146

Cited by 2 publications

(3 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We substitute each parametric row of matrix (3) into each parametric equation of system (2) and, as a result, we obtain a correct equality. In substituting, different names of indices are chosen.…”

Section: Lemma 1 Each Row Of Matrix (3) Is a Solution Of System (2)mentioning

confidence: 99%

“…These sums must be computed using arc multiplicities, but the multiplicity of every arc in description (1) equals unity. The total number of equations of system (2) amounts to N d d t ,1 2 4 = × , and the total number of variables of system (2) amounts to N d d p ,1 10 1 = × + .…”

Section: P-invariants Of the Communication Device Modelmentioning

confidence: 99%

“…He constructed a linear structure, but any methodology of analysis of an arbitrary number of components was not presented. In [2], a parametric composition of functional Petri nets [3] is applied to the analysis of linear structures of interacting devices. A simpler approach [4] is applied to treelike structures with a view to verifying protocols of switched Ethernet networks.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Verification of hypercube communication structures via parametric Petri nets1

Zaitsev

Shmeleva

2010

Cybern Syst Anal

View full text Add to dashboard Cite

A model of a hypercube communication structure of arbitrary size with an arbitrary number of dimensions is constructed in the form of a parametric Petri net. A technique for calculating linear invariants of parametric Petri nets is developed that allows one to analyze information transmission processes in such a hypercube. The structure of complicated deadlocks caused by a path (loop) of blockings and the isolation of devices is investigated. In real-life networks, the described deadlocks lead to a considerable decrease in performance and can be induced by some ill-intentioned traffic.

show abstract

Section: Lemma 1 Each Row Of Matrix (3) Is a Solution Of System (2)mentioning

confidence: 99%

Section: P-invariants Of the Communication Device Modelmentioning

confidence: 99%