ACM Transactions on Computer Systems (TOCS)
GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets
Performance Evaluation - Special issue: performance modeling tools
Efficient Discrete-Event Simulation of Colored Petri Nets
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Journal of Systems Architecture: the EUROMICRO Journal - Special double issue: real-time systems
Modeling ATM systems with GSPNs and SWNs
ACM SIGMETRICS Performance Evaluation Review - Special issue on Stochastic Petri Nets
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
IEEE Transactions on Computers
SWN Analysis and Simulation of Large Knockout ATM Switches
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Stable Memory in Substation Automation: A Case Study
FTCS '98 Proceedings of the The Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing
| Hi-index | 0.00 |
The use of formal methods for specification and analysis of dependable systems is considered a promising opportunity to support the evaluation of critical issues since the early design phases. Stochastic Petri nets can play an important role not only for the specification of functional issues of a system, but also for the predictive evaluation of performance and dependability properties. In this paper we investigate the possibility of using Stochastic Well-formed Nets (SWN) as a framework for specifying, validating and evaluating fault tolerance mechanisms used in plant automation. A temporal redundancy technique currently adopted in several electric plants to deal with transient faults is taken as a case-study. The peculiar feature of SWNs is the capability of directly generating an aggregated state space thus allowing for efficient model analysis.