Selected References - Slides of Presentations
Visitors
2010
2009
2008
2007
2006 2005
2004
2003
2002 2000 1999
1998 1997 1996
Index
2010
M Heiner:
Biochemical Networks - a Petri Net Perspective;
College of William and Mary, Dep. of Computer Science, Williamsburg, August 2010.
M Heiner:
Biochemical Networks - a Petri Net Perspective;
Virginia Bioinformatics Institute at Virginia Tech, Blacksburg, August 2010.
F Liu, M Heiner:
Colored Petri nets to model and simulate biological systems;
Workshop on Biological Processes & Petri Nets (BioPPN), Braga, June 2010.
M Heiner, C Mahulea, M Silva:
On the Importance of the Deadlock Trap Property for Monotonic Liveness;
Workshop on Biological Processes & Petri Nets (BioPPN), Braga, June 2010.
M Heiner
Schaltkreise des Lebens -
wie die Informatik beim Lösen der Rätsel hilft,
die uns die Evolution aufgibt;
BTU Cottbus, SeniorenKolleg, Juni 2010.
M Heiner:
Modularization and hierarchical representation of biomolecular networks
with Petri nets transition invariants;
Workshop on Integrative Biological Pathway Analysis and Simulation (IB-PAS), Bielefeld, May 2010.
M Heiner:
Snoopy - a unifying Petri net framework to investigate biomolecular networks;
Summer School on Integrative Biological Pathway Analysis and Simulation (IB-PAS 2010), Bielefeld, May 2010.
F Liu, M Heiner:
A colored Petri nets-based framework for modeling and simulating biological systems;
Summer School on Integrative Biological Pathway Analysis and Simulation (IB-PAS 2010), Bielefeld, May 2010.
2009
M Schwarick, M Heiner:
CSL model checking of biochemical networks with Interval Decision
Diagrams;
CMSB 2009, Bologna, September 2009.
M Heiner, M Schwarick, A Tovchigrechko:
DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets;
PETRI NETS 2009, Paris, June 2009.
M Heiner:
A Petri Net Perspective on Systems and Synthetic Biology;
Brunel University, London, June 2009.
2008
M Heiner, D Gilbert, R Donaldson:
Petri Nets for Systems and
Synthetic Biology;
Schools
on Formal Methods (SFM), Bertinoro, June 2008.
M Heiner, D Gilbert, R Donaldson:
Petri Nets for Systems and
Synthetic Biology;
Workshop on Computational
Models for Cell Processes, Satellite event to Formal Methods 2008,
Turku, May 2008.
M Heiner:
Modularization of Biochemical
Networks by T-invariants;
MPI Martinsried, January 2008.
for improved version see: talk given at IB-PAS 2010
2007
M Heiner:
Modularization of Biochemical
Networks by T-invariants;
Univ. Rostock, CS Dep. November 2007.
for improved version see: talk given at IB-PAS 2010
D Gilbert, M Heiner, S Lehrack:
A Unifying Framework for
Modelling and Analysing Biochemical Pathways
Using Petri Nets;
CMSB 2007, Edinburgh, September 2007.
M Heiner:
Modularization by
T-invariants;
4ème réunion de l'ARC MOCA, Paris, June 2007.
for improved version see: talk given at MPI Martinsried, January
2008
M Heiner:
Biochemically
Interpreted Petri Nets - Two Open Problems;
Seminaire MeFoSyLoMa, Université Paris 13; June 2007.
M M Heiner:
Mathematical Modelling
of Biochemical Networks with Petri Nets;
FMP Berlin, February 2007.
2006
M Heiner:
Systems Biology - A Petri Net
Perspective;
TU Ilmenau, Fakultätskolloquium zum Informatikjahr, July 2006
M Heiner:
Pathway Analysis of Biochemical Networks with Petri Nets: animated version / printable;
FU Berlin, DFG-Research Center Matheon, May 2006.
K Winder:
Strukturelle Charakterisierung der
Invarianten eines Petrinetzes;
FU Berlin, DFG-Research Center Matheon, May 2006.
2005
M Heiner:
Petri Nets as Partial Order
Semantics for Biochemical Networks;
European Conference on Mathematical and Theoretical Biology (ECMTB
'05), Mini-Symposium on Qualitative and Structual Analysis of
Biological Regulatory Networks, Dresden, July 2005.
M Heiner:
An Integrative Approach for
Qualitative and Quantitative Analysis of Biochemical Networks Using
Petri Nets;
Max Planck Institute for Dynamics
of Complex Technical Systems, Magdeburg, June 2005.
M Heiner:
From Petri Nets to
Differential
Equations - an Integrative Approach for Biochemical Network Analysis;
Munich Systems Biology Forum, Munich, May 2005.
M Heiner:
Modelling of Biochemical Networks
with Time Petri Nets;
HU Berlin, CS Dep., Seminar "Logic in Computer Science" April 2005.
2004
I Koch, M Heiner:
Qualitative
Modelling and Analysis of Biochemical Pathways with Petri
Nets;
Tutorial Notes, 5th Int. Conference on Systems Biology - ICSB 2004,
Heidelberg/Germany, October 2004, 52 p..
L Popova-Zeugmann, M Heiner, I Koch:
Modelling and Analysis of
Biochemical Networks with Time Peri Nets;
CS&P 2004, Caputh, September 2004, 44 p.
M Heiner:
Modelchecking in der
Automatisierungstechnik; Wie formal müssen formale Methoden sein?
Software Forum Berlin-Brandenburg, September 2004, 20 p.
M Heiner, I Koch:
Model
Checking of Biological Networks Using Petri Nets;
IPK Gatersleben, August 2004, 33 p.
I Koch, M Heiner:
The Petri Net Model of
the
Sucrose-to-Starch Breakdown in the Potato Tuber;
IPK Gatersleben, August 2004, 41 p.
M Heiner, I Koch:
Model
Checking of Biological Networks Using Petri Nets - Three Styles of
Environment Models;
Schloss Dagstuhl, Workshop Integrative Bioinformatics, July 2004, 66 p.
M Heiner, I Koch:
Petri
Net Based Model Validation in Systems Biology;
ICATPN 2004, Bologna, June 2004, 48 p.
I Koch, M Heiner:
Possibilities of Petri net
Theory to
Validate Metabolic Pathways;
2nd BCB 2004, Bertinoro, June 2004, 48 p.
I Koch, M Heiner:
Qualitative Biochemical Pathway
Analysis Using Petri Nets;
CNRS, Structural & Genomic Information Lab., Marseille,
February 2004, 49 p.
M Heiner:
Dependable Software for Embedded
Systems;
VW Wolfsburg, Februray 2004, 23 p.
2003
M Heiner:
About some
Applications of Petri Net Theory - My Petri Net Picture Book;
Adventmatik 2003, Paderborn, December 2003, 43 p.
2002
M Heiner:
Increased Safety by
Fault Tolerant Software - Just another Way to Waste Money?
Bosch-Zuverlässigkeits-Workshop, Böblingen, October 2002, 8
p.
M Heiner, I Koch:
Biopathways &
Petri Nets - Demonstrated for Apoptosis;
Charité Berlin, September 2002, 52 p.
M Heiner:
Concurrency
Patterns - A Petri Net Perspective;
Workshop Dependable Components, Schloss Dagstuhl, November 2002, 15 p.
2000
M Heiner, R Heinrich:
Metabolic
Petri
Nets;
Schloss Hohenkammer, DFG-Kolloquium, October 2000, 15 p.
M Heiner:
Time-related Modelling of
PLC systems with Time-less Petri Nets;
WODES 2000, Gent, August 2000, 6 p.
M Heiner:
Dependable Software -
an
Unrealistic Dream or Just a Reality Far Away ?
Bosch-Zuverlässigkeits-Workshop, Böblingen, April 2000, 10 p.
1999
M Heiner:
Software Testing -
State of the Art, Methods, and Limitations;
March 1999, 8 p.
1998
M Heiner:
Application of Petri Nets to Metabolic Networks (in German);
HU Berlin, August 1998, 13 p.
1997
J Spranger:
Symbolic Petri Net Analysis
Using Polynomials;
AWPN97, October 1997, 10 p.
J Spranger:
FUNlite - A Parallel
Petri Net Simulator;
42. IWK Ilmenau, September 1997, 8 p.
1996
M Heiner:
Safety-related
Certification of PLC Application Programs with Petri
Nets;
December 1996, 12 p.
M Heiner, P Deussen, J Spranger:
Production Cell I, A
Case Study in Petri Net Based Design and
Analysis;
August 1996, 16 p.
Visitors
Mostafa Herajy
A Distributed Computational Steering Environment for E-learning Applications
BTU Cottbus, CS Dept., Institutskolloquium; November 2009.
B Baumgarten:
Zeitbewertete Netzmodelle;
BTU Cottbus, CS Dept., Institutskolloquium; December 2004.
M Sturm:
Rechnen mit Molekuelen
(DNA-Computing);
BTU Cottbus, CS Dept., Institutskolloquium; November 2004.
I Koch:
Bioinformatics and Computer
Science;
BTU Cottbus, CS Dept., Institutskolloquium; November 2004.
. . . t h e e n d . . .
Any comments or questions are welcome. Please direct them to: