For the most recent entries see the Petri Nets Newsletter.

Keyword: failure analysis

Tombuyses, B.:
Automatic construction of Markov transition matrices under state and functional dependences. 1999.
Yoneda, T.; Zhou, B.; Schlingloff, B.-H.:
Verification of bounded delay asynchronous circuits with timed traces. 1999.

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

Back to the Petri Nets Bibliography