Jean-Pierre Signoret, Yves Dutuit, Pierre-Joseph Cacheux, Cyrille Folleau, Stéphane Collas, Philippe Thomas. Make your Petri nets understandable: Reliability block diagrams driven Petri nets. Rel. Eng. & Sys. Safety, 113:61-75, 2013. [doi]
Abstract is missing.