For the most recent entries see the
Petri Nets Newsletter.
Heiner, M.
-
Gilbert, David;
Heiner, Monika:
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis.
2006.
-
Sackmann, Andrea;
Heiner, Monika;
Koch, Ina:
Application of Petri net based analysis techniques to signal transduction pathways.
2006.
-
Heiner, M.;
Koch, I.;
Will, J.:
Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis.
2004.
-
Koch, I.;
Schüler, M.;
Heiner, M.:
STEPP - Search Tool for Exploration of Petri net Paths: A new tool for Petri net-based path analysis in biochemical networks.
2004.
-
Koch, I.;
Heiner, M.:
Qualitative Modelling and Analysis of Biochemical Pathways with Petri Nets.
2004.
-
Heiner, Monika;
Koch, Ina:
Petri Net Based Model Validation in Systems Biology.
2004.
-
Popova-Zeugmann, L.;
Heiner, Monika;
Koch, I.:
Modelling and Analysis of Biochemical Networks with Time Petri Nets.
2004.
-
Voss, K.;
Heiner, M.;
Koch, I.:
Steady State Analysis of Metabolic Pathways Using Petri Nets.
2003.
-
Heiner, Monika;
Koch, Ina;
Will, Jürgen:
Model Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis (Presentation Abstract).
2003.
-
Will, J.;
Heiner, M.:
Petri Nets in Biology, Chemistry, and Medicine - Bibliography.
2002.
-
Heiner, M.;
Mertke, T.;
Deusen, P.:
A Safety-Oriented Technical Language for the Requirement Specification in Control Engineering (Eine Sicherheitsfachsprache zur Formulierung steuerungstechnischer Anforderungen).
2001.
-
Heiner, Monika;
Koch, Ina;
Voss, Klaus:
Analysis and Simulation of Steady States in Metabolic Pathways with Petri Nets.
2001.
-
Mertke, T.;
Deussen, P.;
Heiner, M.:
Eine anwenderorientierte Sicherheitsfachsprache zur Verifikation von Steuerungsprogrammen.
2001.
-
Heiner, M.;
Menzel, Th.:
Time-related Modelling of PLC Systems with Time-less Petri Nets.
2000.
-
Heiner, M.;
Koch, I.;
Schuster, St.:
Using Time-Dependent Petri Nets for the Analysis of Metabolic Networks.
2000.
-
Heiner, M.;
Deussen, P.;
Spranger, J.:
A case study in design and verification of manufacturing system control software with hierarchical Petri nets.
1999.
-
Heiner, M.;
Heisel, M.:
Modeling safety-critical systems with Z and Petri nets.
1999.
-
Popova-Zeugmann, Louchka;
Heiner, Monika:
Modeling and Verification of Control Systems by Interval Duration Petri Nets.
1999.
-
Koch, I.;
Schuster, S.;
Heiner, M.:
Simulation and Analysis of Metabolic Networks Using Time-Dependent Petri Nets.
1999.
-
Heiner, M.;
Menzel, Th.:
Modellierung und Analyse von SPS-Anwenderprogrammen mit Petri-Netzen.
1999.
-
Heiner, Monika:
Petri Net Based System Analysis without State Explosion.
1998.
-
Heiner, M.;
Menzel, T.:
A Petri Net Semantics for the PLC Language Instruction List.
1998.
-
Heiner, M.;
Menzel, T.:
Instruction List Verification Using a Petri Net Semantics.
1998.
-
Heiner, Monika:
On Exploiting the Analysis Power of Petri nets for the Validation of Discrete Event Systems.
1997.
-
Heiner, Monika:
Verification and Optimization of Control Programs by Petri Nets without State Explosion.
1997.
-
Heiner, Monika;
Popova, L.:
Worst-case Analysis of Concurrent Systems with Duration Interval Petri Nets.
1997.
-
Heiner, M.;
Popova-Zeugmann, L.:
On Integration of Qualitative and Quantitative Analysis of Manufacturing Systems Using Petri Nets.
1997.
-
Heiner, Monika;
Deussen, P.:
A Case Study in Design and Validation of Reactive Systems by Means of Petri Nets.
1996.
-
Heiner, Monika;
Deussen, P.:
Petri Net Based Design and Analysis of Reactive Systems.
1996.
-
Heiner, Monika;
Deussen, P.;
Spranger, J.:
A Case Study in Developing Control Software of Manufacturing Systems with Hierarchical Petri Nets.
1996.
-
Lindner, G.;
Heiner, M.;
Kobienia, T.:
Deadlock Detection in a Distributed Implementation of a Visualization System for Medical Measurement Signals.
1996.
-
Heiner, Monika:
Petri Net Based Software Dependability Engineering.
1995.
-
Heiner, Monika:
Petri Net Based Software Dependability Engineering.
1995.
-
Heiner, Monika;
Deussen, P.:
Petri Net Based Qualitative Analysis - A Case Study.
1995.
-
Wikarski, Dietmar;
Heiner, Monika:
On the Application of Markovian Object Nets to Integrated Qualitative and Quantitative Software Analysis.
1995.
-
Heiner, M.;
Ventre, G.;
Wikarski, D.:
A Petri Net Based Methodology to Integrate Qualitative and Quantitative Analysis.
1994.
-
Heiner, Monika;
Wikarski, D.:
An Approach to Petri Net Based Integration of Qualitative and Quantitative Analysis of Parallel Systems.
1994.
-
Heiner, Monika:
A Petri Net View of Process Communication.
1993.
-
Heiner, Monika;
Ventre, G.;
Wikarski, D.:
A Petri Net Based Tool Kit to Integrate Qualitative and Quantitative Analysis.
1993.
-
Heiner, M.:
Petri Net Based Software Validation.
1992.
-
Dahmen, J.-H.;
Heiner, M.:
An Assessment of Systematic Testing of Distributed Programs.
1990.
-
Heiner, M.:
Prospects and Limitations of Petri Net Based Software Validation.
1990.
-
Heiner, M.:
Petri Net Based Verification of Communication Protocols Specified by Language Means.
1989.
-
Heiner, M.:
A Complexity Measure of Distributed Programs.
1988.
-
Heiner, Monika:
Experience with Petri Net Based Verification of Communication Protocols Specified by Language Means.
1988.
-
Heiner, Monika:
Some Remarks on Time-Independently Live Petri Nets.
1988.
-
Heiner, M.;
König, H.:
Experiences with Petri Net Verifications of Protocols Based on Language-oriented Specifications.
1987.
-
König, H.;
Heiner, M.:
The PDL-System: An Unified Approach to the Specification, Verification, and Implementation of Protocols.
1986.
-
Heiner, M.;
König, H.:
Ein Ansatz zur Verifikation sprachlich spezifizierter Protokolle mittels Petri-Netzen.
1985.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The link to the author's homepage is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography