of protocols, including automated code generation for different platforms from design-level models. Furthermore, the use of formal modelling in combination with model checking provides tech-niques to support the development of reliable protocol implementations. Coloured Petri Nets (CPNs) [3] is formal language

Abstract. This paper presents a method for designing a coloured Petri net model of a system starting from its high-level object oriented source code. The entire process is divided into two parts: grounding and code analysis. For each part detailed step-by-step guidelines are given. The approach

Abstract. TinyOS is a widely used platform for the development of networked embedded systems offering a programming model targeting resource constrained devices. We present a software engineering approach where Coloured Petri Net (CPNs) models are used as a starting point for developing protocol

Abstract. Automatic code generation based on Coloured Petri Net (CPN) models is challenging because CPNs allow for the construction of abstract models that intermix control flow and data processing, making translation into conventional programming constructs difficult. We intro-duce Process

Protocol Modelling can em-ploy different modelling notations, focusing particularly on Coloured Petri Nets and State Charts. Finally, we describe how it guarantees local reasoning about the trace behav-iour of a composite based on consideration of the compo-nents. We illustrate these explanations using a

, it avoids the state explosion problem. The work by T. Rak et al. reports a method of response time analysis of distributed Web systems using queueing Petri nets that are a formalism for the combined qualitative and quantitative analysis of concurrent systems. The proposed distributed Web systems modeling

motivation. • Roberto Samarone Araujo for hours of discussing various protocols with Evengelos and me. • Warren D. Smith for providing with a preliminary version of his upcoming book »How Mathematics can Improve Democracy«. • Ute Günther and Christian Burgmann for their proof-reading. Nonetheless, any

We present Flush, a reliable, high goodput bulk data trans-port protocol for wireless sensor networks. Flush provides end-to-end reliability, reduces transfer time, and adapts to time-varying network conditions. It achieves these proper-ties using end-to-end acknowledgments, implicit snooping

fun. My deepest thanks also go to my professor Per Gunningberg, Uppsala University. Per has in a seemingly easy way spotted erroneous assumptions, has valued my research contributions, and has connected my own work with another broader world of research. I want to thank all colleagues in the Networked

The Contract Net protocol is a general-purpose protocol for distributed problem solving. Many modern agent infrastructures facilitate the generation of agents supporting Contract Net. We used one such infrastructure to simulate a Contract Net-based approach to job scheduling and found that some