For the most recent entries see the
Petri Nets Newsletter
.
Keyword: software validation
Heiner, Monika
:
Petri Net Based Software Dependability Engineering.
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.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography