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
Modelling with Generalized Stochastic Petri Nets
Modelling with Generalized Stochastic Petri Nets
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
IEEE Transactions on Computers
The PSR Methodology: Integrating Hardware and Software Models
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Modeling Symmetric Computer Architectures by SWNs
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Efficient simulation of SWN models
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Hi-index | 0.00 |
This paper presents the modeling and performance evaluation of a high voltage substation simulator with real time constraints, running on a multiprocessor architecture. The Stochastic Well-formed Net models of the simulator and of the target multiprocessor have been designed with the goal of providing guidelines as well as automatic tools for the generalization to several software and hardware configurations as well as mappings. Quantitative results have been obtained using the simulation faciliities (both ordinary and symbolic) offered by the GreatSPN2.0 tool.