Learn More
According to MIT's Technology Review[1], wireless sensor networks are one of the ten emerging technologies that will change the world. Undoubtedly, this fact has been widely understood by the research community and explains the interest received by the research area of sensor networks. Many issues still need to be solved, one of them is enabling software to(More)
Preface This special issue is dedicated to selected papers from the 33rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2012), which took place in June 2012 in Hamburg, Germany. In a careful reviewing process, 18 regular papers have been accepted for presentation at the conference among 55 submissions. Then,(More)
Firefighting is a serious undertaking that requires skilled individuals who are able to work fast and efficiently to save lives and property. It is a stressful and dangerous activity where each firefighter has to keep check on many things simultaneously: Where is he? Is there any persons in this room? Is the raging fire to close? Is there enough oxygen(More)
The LIWAS Traffic Warning System aims at providing early warning to vehicles about slippery conditions on the road. The LIWAS system is currently under development and consists of two main parts: sensors for measuring and classifying the state of the road, and a communication infrastructure for distributing road-state information to vehicles. This paper(More)
A storage system with file replication is an important element in supporting reliable and fault tolerant file access in many grid computing systems. The Chelonia distributed storage system is being developed in the context of the NorduGrid project. It provides transparent access to replicated files stored on a heterogeneous collection of storage nodes with(More)
Copyright for the individual papers is held by the papers' authors. Copying is permitted only for private and academic purposes. This volume is published and copyrighted by its editors. For the successful realization of complex systems of interacting and reactive software and hardware components the use of a precise language at different stages of the(More)
ACKNOWLEDGEMENTS The editors would like to thank Professor Dina Iordanova who has given them a lot of guidance, encouragement and inspiration during the entire process of editing this book. Special thanks should be given to the editor Andy Nercessian from Cambridge Scholars Publishing for undertaking this project and making the publication process a smooth(More)
Formal methods can be used to verify refinements made in the design stages of systems. For example, the state space of a detailed design model can be compared with that of an abstract design model to see if it preserves sequences of events. Problems with state space analysis (state explosion, fixed initial states) make this difficult for real applications.(More)