For the most recent entries see the
Petri Nets Newsletter.
Keyword: static analysis
-
Heiner, Monika:
Petri Net Based System Analysis without State Explosion.
1998.
-
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.
-
Heiner, Monika;
Deussen, P.:
Petri Net Based Qualitative Analysis - A Case Study.
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.
-
Divine, D.;
Fowles, M.:
A Simple Implementation of a Petri Net for an Automated Static Analysis of Ada Task Intercommunication.
1990.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography