Logo

data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

latest update: February 03, 2022, at 09:01 AM


UPCOMING EVENTS

PETRI NETS 2022 - 43rd International Conference on Application and Theory of Petri Nets and Concurrency, Bergen/Norway, 19-24 JUNE 2022

CMSB 2022 - 20th International Conference on Computational Methods in Systems Biology, Bucharest/Romania, 14-16 September 2022


NEWS

April 19, 2021

Our paper on 'Colouring Fuzziness for Systems Biology' in the journal 'Theoretical Computer Science' went online.

January, 2021

Wondering what this means? Then explore From Epidemics to Pandemics Modelling.

December 27, 2018

Our paper on 'Fuzzy Petri nets for modelling of uncertain biological systems' in the journal 'Briefings in Bioinformatics' went online.

December 9-12, 2018

WSC 2018 - Winter Simulation Conference, Gothenburg, Sweden

December 10, 2018

M.Sc. Niloofar Nickaeen, PhD student at the Isfahan University of Technology (IUT), Isfahan, Iran, is visiting our group.

October 15, 2018

M.Sc. George Assaf from Syria joined our group as PhD student.

October 11-12, 2018

Spike made its first public appearance at AWPN 2018 - Algorithms and Tools for Petri nets, University of Augsburg, Germany

September 12-14, 2018

CMSB 2018 - 16th International Conference on Computational Methods in Systems Biology, Brno, CZ

June 15, 2018

Business Insider Deutschland: Tech-Giganten reißen sich um die Absolventen einer kleinen deutschen Uni

May 28, 2018

Our paper on 'Coloured Hybrid Petri Nets: an Adaptable Modelling Approach for Multi-scale Biological Networks)' in the journal 'Computational Biology and Chemistry' went online.

May, 5th 2018

Our special issue on 'Advances in Biological processes and Petri nets (BioPPN)' in the journal 'Fundamenta Informaticae' is out, finally - Volume 160, issue 1-2.

April 5-7, 2018

2nd International Conference on Mathematics and Applications (ICMA 18), Cairo/Egypt, MUST University

April 06, 2018

Wirtschaftswoche: Cottbuser Informatiker für die Welt

March 6, 2018

Workshop Mathematical Modelling in Plants, Rothamsted Research, Harpenden/UK

February 28, 2018

our paper 'Petri-net-based 2D Design of DNA Walker Circuits' in the journal 'Natural Computing' is now open access available.

January 15, 2018

our paper 'Genomic, biochemical and modelling analyses of asparagine synthetases from wheat' in the journal 'Frontiers in Plant Science' is now open access available. It explores, among others, the potentially carcinogenic nature of wheat by means of a continuous Petri net.


November 05-10, 2017

Dagstuhl seminar on Algorithmic Cheminformatics

November 3, 2017

our paper 'Coloured Petri nets for multi-level, multiscale, and multi-dimensional modelling of biological systems' in the journal 'Briefings in Bioinformatics' is now open access available.

October 16-18, 2017

NETTAB - Methods, tools & platforms for Personalised Medicine in the Big Data Era, Palermo/Italy, extended abstract: Personalised models for human – gut microbiota interaction

October 13, 2017

our paper 'Towards dynamic genome scale models' in the journal 'Briefings in Bioinformatics' is now open access available.

October 10, 2017

our paper 'Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights' in the journal 'Nonlinear Analysis: Hybrid Systems' is now available online for 50 days.

October 1st, 2017

M.Sc. Jacek Chodak joined our group as scientific staff member.

July 28, 2017

our paper 'Snoopy's Hybrid Simulator: a Tool to Construct and Simulate Hybrid Biological Models' in the journal 'BMC Systems Biology' is now open access available.

July 12, 2017

Joint Advanced Tutorial Workshop for PhD Students, BTU Cottbus, Software Test and Validation

June 27, 2017

The report for the Model Checking Contest @ Petri Nets 2017 is online; 10 tools participated in five categories;
Marcie reached a reliability of 100% based on 27,041 examinations, and scored bronze in the category upper bounds.
See Marcie & MCC'2017 and Marcie's website for some results of the unofficial correct value ranking.

April, 2017

comprehensive 'User manual' for coloured hybrid Petri nets in Snoopy published as BTU CS report

January 10, 2017

Christian Rohr finished his Ph.D on 'Simulative analysis of coloured extended stochastic Petri nets' with excellent results.


December 2016

comprehensive 'User manual' for our Marcie analyser published as BTU CS report

September 04-08, 2016

invited talk, DNA22 - 22nd International Conference on DNA Computing and Molecular Programming

July, 2016

Graduate School, Ca' Foscari University, Venice/Italy, Advanced Tutorial on 'Biomodel Engineering: a Petri Net Perspective on Systems and Synthetic Biology'

July 07, 2016

invited talk: 'Model-driven design for Synthetic Systems Biology' , Bioinformaticsday@DAIS, Ca' Foscari University, Venice/Italy

July 01, 2016

The report for the Model Checking Contest @ Petri Nets 2016 is online; 10 tools participated in five categories; Marcie scored GOLD in the category upper bounds, SILVER in the category state space examination and BRONZE in the category CTL model checking.

June 20, 2016

The 7th International Workshop on Biological Processes & Petri Nets (BioPPN 2016), Torun/Poland, a satellite event of PETRI NETS 2016 and ACSD 2016

March 21, 2016

invited talk: 'Analysis and repair of whole genome bacterial metabolic models for synthetic biology' , Yamaguchi Workshop on Computational Network Biology

February 24, 2016

invited talk: 'Analysis and repair of whole genome bacterial metabolic models for synthetic biology' , Brunel University London, Computer Science Seminar

February 05, 2016

Ronny Richter, Softwaretestberater/Vertriebsingenieur, Philotech Systementwicklung und Software GmbH - Praxisbericht zu 'Grundlagen sicherheitsgerichteter Software-Entwicklung und -Test'

January 15, 2016

Collaboration partners from Port Said University, Egypt, join our group for a research stay, funded by DAAD/GE-SEED grant (German Egyptian Mobility Program for Scientific Exchange and Excellence Development): Mostafa Herajy (1 mounth), Moutaz Ramadan (3 months), and Amr Ismail (6 month).


December 3, 2015

Ph.D. student Atsushi Mizuta from the Yamaguchi University, Japan joins our group for one week.

November 19, 2015

invited talk/Van Leeuwenhoek Lecture on BioScience: From Petri nets to Partial Differential Equations, Leiden University, NL

October 18, 2015

Im Staatstheater Cottbus wurde Dr. rer. nat. Martin Schwarick mit dem Max-Grünebaum-Preises 2015 der Max-Grünebaum-Stiftung ausgezeichnet. BTU Presse - Berliner Morgenpost

October 08 – 12, 2015

Sino-German Workshop on Multiscale spatial computational systems biology took place in Beijing, funded by the Sino-German Center for Research Promotion (Grant no. GZ1203); see public workshop report.

September 28 – Oktober 02, 2015

45. GI-Jahrestagung Informatik 2015, Cottbus

September 02, 2015

The report for the Model Checking Contest @ Petri Nets 2015 is online; 10 tools participated in four categories; Marcie scored GOLD in the categories state space examination and CTL model checking, and BRONZE in the category reachability; no other tool got more than one medal.

August 18, 2015

We received the funding confirmation for our Sino-German Workshop on Multiscale spatial computational systems biology which will be held in Beijing, October 08 – 12, 2015

June 23, 2015

Model Checking Contest @ Petri Nets 2015: Marcie scored GOLD (again) in the categories state space examination and CTL examination, and BRONZE in reachability examination; official report to be published soon, see slides for now

June 22, 2015

The 6th International Workshop on Biological Processes & Petri Nets (BioPPN 2015), Brussels/Belgium, a satellite event of PETRI NETS 2015

May, 20, 2015

Dr. rer. nat. Martin Schwarick ist einer der zwei Preisträger des Max-Grünebaum-Preises 2015. Die Verleihung wird am 18. Oktober 2015 im Staatstheater Cottbus stattfinden.

January, 19, 2015

Mostafa Herajy and two of his PhD students, Moutaz Ramadan and Amr Esmail, from Port Said University, Egypt, join our group for a research stay, funded by DAAD/GE-SEED grant (German Egyptian Mobility Program for Scientific Exchange and Excellence Development).

January, 12, 2015

Anjali Sharma and Shubham Agarwal, students from Indian Institute of Information Technology (IIIT), Allahabad, India, join our group for a 6-month internship


November 24–28, 2014

Dagstuhl Seminar 14481 on Multiscale Spatial Computational Systems Biology

September 02, 2014

The report for the Model Checking Contest @ Petri Nets 2014 is online,
see http://mcc.lip6.fr,
Marcie scored GOLD in the category state space examination.

July 9, 2014

BTU-Präsident Jörg Steinbach: "Ich will die Goliaths ein bisschen ärgern", Lausitzer Rundschau

July 4, 2014

DAAD supports our 2-years project Efficient Simulation of Coloured Hybrid Petri Nets, pursued in collaboration with Mostafa Herajy/Port Said University, Egypt within GE-SEED (German Egyptian Program for Scientific Exchange and Excellence Development)

June 30, 2014

BTU-Präsident Jörg Steinbach: "Wo Uni dransteht, muss auch Uni drin sein", Der Tagesspiegel

June 24, 2014

Advanced Tutorial Petri nets for multiscale systems biology, Tunis/Tunisia, a satellite event of PETRI NETS 2014

June 23, 2014

The 5th International Workshop on Biological Processes & Petri Nets (BioPPN 2014), Tunis/Tunisia, a satellite event of PETRI NETS 2014

June 20, 2014

Alumni-Treffen der IT-Studiengänge an der BTU

June 11, 2014

Martin Schwarick finished his Ph.D on "Symbolic on-the-fly analysis of stochastic Petri nets" with excellent results.

May 15, 2014

Chiru Swapnil, student from the Department of Computer Engineering, Sardar Vallabhbhai National Institute of Technology, Surat, India, joins our group for a 2-month summer internship

May, 2014

The power of Petri nets, Courtesy of International Innovation – a leading scientific dissemination service

April 14, 2014

So ruiniert Brandenburg eine Universität, Der Tagesspiegel

April 1, 2014

Die Märchenstunde der Ministerin, Der Tagesspiegel

March 31, 2014

Keine Forschung von großer Bedeutung !? – PNN.de

March 27, 2014

Präsident Jochen Zimmermann tritt vor Amtsantritt zurück, Der Tagesspiegel

March 25, 2014

Talk BioModel Engineering – a Petri Net Perspective, Università Ca' Foscari Di Venezia, DAIS (Dipartimento di Scienze Ambientali, Informatica e Statistica), Venice, Italy

March 7, 2014

Aman Sinha, student from the Department of Information Technology, Indian Institute of Information Technology (IIIT), Allahabad, India, joins our group for a 3-month summer internship

February 27, 2014

Rot-Rot muss Uni-Fusion nachbessern Koalition räumt Probleme mit Verfassung ein – PNN.de


October 1, 2013

LSV Seminar – Laboratoire Spécification et Vérification, Cachan/Paris

October 4, 2013

MeFoSyLoMa – Seminar Formal Methods for Hardware and Software Systems, Paris

July 2013

Virtuelle Ehe, SZ, July 29, 2013
Was für ein Start, Tagesspiegel, July 21, 2013

June 25, 2013

Advanced Tutorial Petri nets for multiscale systems biology, Milano/Italy, a satellite event of PETRI NETS 2013

June 24, 2013

The 5th International Workshop on Biological Processes & Petri Nets (BioPPN 2014), Milano/Italy, a satellite event of PETRI NETS 2013

May 31, 2013

7. Alumni-Treffen der IT-Studiengänge

February 18, 2013

Webseite des Volksbegehren Hochschulen erhalten ist online

January 29, 2013

Mostafa Herajy finished his Ph.D on "Computational Steering of Multi-Scale Biochemical Networks" with very good results.

January 1, 2013

Projektstart "The Nociceptor Pain Model (NoPain)", BMBF-Verbundprojekt mit 7 Projektpartnern. Wir bearbeiten das Teilprojekt "Simulationslabor für gefärbte hybride Petrinetze zur Modellierung und Analyse inhibitorischer Schmerzmechanismen"


December 21, 2012

"Um nur die Highlights der jüngsten Zeit zu nennen:

  • Der DAAD fördert einen internationalen Studiengang zum Kulturerbe mit einer Million Euro,
  • die BTU Cottbus erzielt nach 2011 erneut den zweiten Platz im Wettbewerb um den Titel „Die internationale Hochschule Deutschland“,
  • der Allgemeine Deutsche Hochschulverband zeichnet die BTU Cottbus als „Die Hochschule des Jahres 2012“ aus,
  • die BTU wird zum fünften Mal als „Ort im Land der Ideen“ ausgezeichnet,
  • die Informatik gehört deutschlandweit zur Spitzengruppe der Informatik-Studiengänge beim neuesten CHE-Master-Ranking
  • und, und, und …"

aus der Rundmail von Prof. Zimmerli

December 9–12, 2012

Winter Simulation Conference (WSC 2012), Berlin/Germany, special track on Petri nets, simulation and applications organized to commemorate the 50th anniversary since Adam Petri laid the foundation of this research field with his PhD.

October 30, 2012

Hochschulen in der Lausitz erhalten – Sign the Petition

October 3–5, 2012

The 10th Conference on Computational Methods in Systems Biology (CMSB 2012), London/UK, here some pics

June 25, 2012

The 3rd International Workshop on Biological Processes & Petri Nets (BioPPN 2012), Hamburg/Germany

May 2012

Frankfurter Rundschau: Uni-Fusion in der Lausitz schürt Unmut

Workshop on Algebraic Methods in Systems and Evolutionary Biology, MBI/Ohio State University

April 2012

campus tv

Der Speckgürtel von Potsdam und eine abgehängte Lausitz

March 2012

Infos zur Debatte um die BTU

January 31, 2012

Fei Liu finished his Ph.D on "Coloured Petri nets in Systems Biology" with very good results.


October 2011

BMBF project proposal NoPain survived first round

Summer term 2011

Petri nets for multiscale Systems Biology (EPSRC grant)

August 27/28, 2011

Advanced Tutorial:
Scaling up from single molecules to multicellular systems: modelling over time and space with advanced Petri net techniques
at ICSB 2011 in Heidelberg.


December 23, 2010

We updated our website technology – not entirely flawless; please accept our apologies for any inconvenience.

October 2010

17. Workshop ALGORITHMEN UND WERKZEUGE FUER PETRINETZE (AWPN)
Cottbus, October 7/8, 2010. find out more (all credits go to Dmitry Zaitsev)

Indian Summer School – Petri Net Modeling in Systems Biology
Magdeburg Centre for Systems Biology (MaCS), October 3–5, 2010. find out more

30.07.2010

Semester final summer 2010, find out more


01.02.2009

Start of the project Modelling Pain switches.

10 / 2008:

We moved from EHS to the main campus, still busy in getting our stuff sorted in our new home in LG1c, 2nd floor. find out more

… the end …

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