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
Der Speckgürtel von Potsdam und eine abgehängte Lausitz
March 2012
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