有没有推荐的可靠性框图驱动petri网的建模软件？

我最近需要利用可靠性框图驱动的petri网的建模，希望有人可以推荐一下，十分感谢！