Scientific and Technical Journal

ELECTROTECHNIC AND COMPUTER SYSTEMS

ISSN Print 2221-3937
ISSN Online 2221-3805
WI-fi MECHANISMS TESTING MODELS
Abstract:

The models verification and testing are considered for implementations of protocol mechanisms for the construction of network systems. The initial models adopted an expanded Petri nets, which investigated the properties of relations incident to identify the places and transitions. Proposed special tree reachable identifying fragments to build a model of behavior.

Authors:
Keywords
DOI
References

1. Piterson, J. Theory of Petri nets and simulation systems / J. Peterson. – Moscow: Mir, 1984. – 264 p. [in Russian].

2. Grunsky, I. S. Synthesis and identification machines. / I. S. Grunsky, V. A. Kozlowski. – Kyiv: Publishing House Naukova Dumka, 2004. – 246 p. [in Russian].

Published:
Last download:
2017-11-16 11:26:16

[ © KarelWintersky ] [ All articles ] [ All authors ]
[ © Odessa National Polytechnic University, 2014. Any use of information from the site is possible only under the condition that the source link! ]
Яндекс.Метрика