On the basis of the process of session initiation protocol's service, Petri net model of SIP was
established. In terms of properties of Petri net and the analysis of reachability tree, the …

Abstract Coloured Petri Nets are powerful models for different problems. This paper deals
with the modelling of a Bluetooth communication network, piconet and scatternet. The …

Verification methodologies like model terms. However, there are also some diferrences. Re-
checking and proving are part Of active system must respond to external stimuli within …

Quality assurance is an important part of communicating systems development. In order to
find errors communicating procedures are analysed as early as possible, during the …

In this paper we study a single-hop network for a passive star topology and suggest a
multichannel control architecture (MCA). The proposed WDM network with an appropriate …

It is well known that the best results regarding concurrent system design are obtained when
design errors are found in the earliest possible phase. For that purpose system specification …

This paper describes the development of linear network analyser software. The software
development is based on coordination between heterogenous software components within …