Modeling Fault Trees Using Petri Nets.

Janusz Grski, Jan Magott, Andrzej Wardzinski

Browse the full SAFECOMP paper archive.