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.