For the most recent entries see the
Petri Nets Newsletter
.
Keyword: parallel software/system engineering
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.
:
Petri Net Based Qualitative Analysis - A Case Study.
1995.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography