Naif A. Mokhayesh Alzahrani

3 Questions 2 Answers 0 Followers

Questions related from Naif A. Mokhayesh Alzahrani

Can anyone give me a comprehensive comparison of PN extensions (SPN, GSPM, LGSPN, SRN, TPN .etc) in terms of features, tool support and scalability?

i.e.”Dependability Modeling Using Petri-Nets” by Malhotra & Trivedi. This paper compare GSPN with SRN

09 September 2013 5,198 0 View

Which PN extension is recommended for software state-based dependability modeling and analysis, and why? Some use SRN and others employ GSPN.

With considering state spaces that increase exponentially for the large applications!

09 September 2013 8,999 5 View

From your experience, what is the best free/academic tools for modelling dynamic fault tree and component fault tree?

FaultTree+ is commercial and used for static fault tree and OpenFTA is open source also for static fault tree. I'm looking for a trusted tool that can model DFT and/or CFT.

30 October 2012 480 12 View