latest update: March 01, 2018, at 09:18 AM
Workshop Mathematical Modelling in Plants, Rothamsted Research, Harpenden/UK
2nd International Conference on Mathematics and Applications (ICMA 18), Cairo/Egypt, MUST University
CMSB 2018 - 16th International Conference on Computational Methods in Systems Biology, Brno/CZ
our paper 'Petri-net-based 2D Design of DNA Walker Circuits' in the journal 'Natural Computing' is now open access available.
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.
Dagstuhl seminar on Algorithmic Cheminformatics
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.
NETTAB - Methods, tools & platforms for Personalised Medicine in the Big Data Era, Palermo/Italy, extended abstract: Personalised models for human – gut microbiota interaction
our paper 'Towards dynamic genome scale models' in the journal 'Briefings in Bioinformatics' is now open access available.
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.
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.
Joint Advanced Tutorial Workshop for PhD Students, BTU Cottbus, Software Test and Validation
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's website for some results of the unofficial correct value ranking.
comprehensive 'User manual' for coloured hybrid Petri nets in Snoopy published as BTU CS report
Christian Rohr finished his Ph.D on 'Simulative analysis of coloured extended stochastic Petri nets' with excellent results.
comprehensive 'User manual' for our Marcie analyser published as BTU CS report
invited talk, DNA22 - 22nd International Conference on DNA Computing and Molecular Programming
invited talk: 'Model-driven design for Synthetic Systems Biology' , Bioinformaticsday@DAIS, Ca' Foscari University, Venice/Italy
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.
invited talk: 'Analysis and repair of whole genome bacterial metabolic models for synthetic biology' , Yamaguchi Workshop on Computational Network Biology
invited talk: 'Analysis and repair of whole genome bacterial metabolic models for synthetic biology' , Brunel University London, Computer Science Seminar
Ronny Richter, Softwaretestberater/Vertriebsingenieur, Philotech Systementwicklung und Software GmbH - Praxisbericht zu 'Grundlagen sicherheitsgerichteter Software-Entwicklung und -Test'
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).
Ph.D. student Atsushi Mizuta from the Yamaguchi University, Japan joins our group for one week.
invited talk/Van Leeuwenhoek Lecture on BioScience: From Petri nets to Partial Differential Equations, Leiden University, NL
45. GI-Jahrestagung Informatik 2015, Cottbus
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.
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
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
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.
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).
Anjali Sharma and Shubham Agarwal, students from Indian Institute of Information Technology (IIIT), Allahabad, India, join our group for a 6-month internship
Dagstuhl Seminar 14481 on Multiscale Spatial Computational Systems Biology
BTU-Präsident Jörg Steinbach: "Ich will die Goliaths ein bisschen ärgern", Lausitzer Rundschau
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)
BTU-Präsident Jörg Steinbach: "Wo Uni dransteht, muss auch Uni drin sein", Der Tagesspiegel
Alumni-Treffen der IT-Studiengänge an der BTU
Martin Schwarick finished his Ph.D on "Symbolic on-the-fly analysis of stochastic Petri nets" with excellent results.
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
So ruiniert Brandenburg eine Universität, Der Tagesspiegel
Die Märchenstunde der Ministerin, Der Tagesspiegel
Keine Forschung von großer Bedeutung !? – PNN.de
Präsident Jochen Zimmermann tritt vor Amtsantritt zurück, Der Tagesspiegel
Talk BioModel Engineering – a Petri Net Perspective, Università Ca' Foscari Di Venezia, DAIS (Dipartimento di Scienze Ambientali, Informatica e Statistica), Venice, Italy
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
LSV Seminar – Laboratoire Spécification et Vérification, Cachan/Paris
MeFoSyLoMa – Seminar Formal Methods for Hardware and Software Systems, Paris
Webseite des Volksbegehren Hochschulen erhalten ist online
Mostafa Herajy finished his Ph.D on "Computational Steering of Multi-Scale Biochemical Networks" with very good results.
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"
"Um nur die Highlights der jüngsten Zeit zu nennen:
aus der Rundmail von Prof. Zimmerli
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.
Hochschulen in der Lausitz erhalten – Sign the Petition
The 3rd International Workshop on Biological Processes & Petri Nets (BioPPN 2012), Hamburg/Germany
Frankfurter Rundschau: Uni-Fusion in der Lausitz schürt Unmut
Workshop on Algebraic Methods in Systems and Evolutionary Biology, MBI/Ohio State University
Fei Liu finished his Ph.D on "Coloured Petri nets in Systems Biology" with very good results.
BMBF project proposal NoPain survived first round
Petri nets for multiscale Systems Biology (EPSRC grant)
We updated our website technology – not entirely flawless; please accept our apologies for any inconvenience.
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
Semester final summer 2010, find out more
Start of the project Modelling Pain switches.
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