30 search results - page 2 / 6 » Modeling and verifying asynchronous communication mechanisms... |
ICWN
2003
13 years 6 months ago
2003
Coloured Petri Nets are powerful models for different problems. This paper deals with the modelling of a Bluetooth communication network, piconet and scatternet. The developed Pet...
ACSC
2009
IEEE
13 years 8 months ago
2009
IEEE
The Session Initiation Protocol (SIP) is one of the leading protocols for multimedia control over the Internet, including initiating, maintaining and terminating multimedia sessio...
CNSR
2006
IEEE
13 years 10 months ago
2006
IEEE
Network protocol performance and evaluation study is often carried out using a couple of widely used simulation toolkits, such as ns-2 and OPNET. These toolkits usually contain ma...
ACSD
2005
IEEE
13 years 10 months ago
2005
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, syst...
APN
1994
Springer
13 years 8 months ago
1994
Springer
This paper shows how Coloured Petri Nets (CP-nets) can be extended to support synchronous communication. We introduce coloured communication channels through which transitions are...