Logo

projects

data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

Efficient Simulation of Coloured Hybrid Petri Nets

   


latest update: January 20, 2015, at 02:19 PM

Project description

  • Hybrid methods which combine both discrete and continuous modelling and analysis regimes are of increasing importance. However, the simulation of such models tends to be time-consuming and is in many cases prohibitively slow. In this project we aim to explore and develop efficient algorithms to substantially speed up the simulation of coloured hybrid Petri nets.
  • funded by DAAD (German Academic Exchange Service), GE-SEED programme (German Egyptian Mobility Program for Scientific Exchange and Excellence Development)
  • duration: July 2014 - June 2016

Objectives

  1. Developing a parallel simulation algorithm for coloured hybrid Petri nets. As one way to achieve the project main goal, we aim to develop a parallel algorithm to simulate coloured HPN. The outcome will be an efficient parallel algorithm to simulate coloured HPN. This objective also contains some important tasks such as developing a partitioning algorithm to split the whole net into smaller nets. The implementation of the designed algorithms will be part of Snoopy.
  2. Investigating other approaches to simulate coloured HPN without unfolding. We aim to survey the literature for other approaches that can be used to simulate coloured HPN without unfolding. The output of this objective is an efficient algorithm to simulate coloured HPN on the coloured level.
  3. Studying the performance of the developed algorithms by help of some case studies. After developing and implementing the efficient simulation algorithms, a comparative study will be conducted to analyse the runtime behaviour of the designed algorithms and to compare it with previously available simulation techniques.
  4. Disseminating the project results. As a final objective of the project we aim to publish the project results at international conferences and/or in international journals as well as disseminating the resulting software tool among interested scientists.

Project Partners

Related material

Outcome

Links

the end

Any comments or questions are welcome. Please direct them to monika [period] heiner [snail] b-tu [period] de Privacy Policy