For the most recent entries see the Petri Nets Newsletter.

Petri Net Based Software Dependability Engineering.

Heiner, Monika

In: Tutorial Notes from Int. Symposium on Software Reliability Engineering (ISSRE `95), Toulouse, Oct. 1995, pages 1-101. 1995. Available at

Keywords: dependability engineering; software validation; Petri net generation; place/transition Petri nets; coloured Petri nets; time-dependent Petri nets; qualitative analysis; quantitative analysis; temporal logics; production cell.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography