A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems

Author(s):  
M. Ajmone Marsan ◽  
G. Balbo ◽  
G. Conte
2018 ◽  
Vol 8 (1) ◽  
pp. 01-13
Author(s):  
Muhammad Nabeel ◽  
Zeeshan Anwar ◽  
Ali Ahsan

Software maintenance is a time taking activity in the real world. Execution time of software maintenance process may get increased due to interdepartmental communication, thus, increasing the cost and decreasing the performance of the process. We suggested performance evaluation of software maintenance process through the transformation of activity diagram into generalised stochastic Petri nets (GSPN). For this study, execution time and cost of maintenance process are defined as performance measures, and the role-based approach is used to understand the flow of software maintenance activities in a software organisation. Activity diagram is constructed to be transformed into GSPN. We used PIPE2 to analyse the GSPN. PIPE2 calculates average number of tokens on a place in the GSPN, throughput of timed transition and state space analysis. State space involves calculation of the reachability of the GSPN net that shows whether a GSPN holds the property of safeness, boundness and is deadlock free.   Keywords: Generalised stochastic Petri nets (GSPN), GSPN analysis, performance evaluation, performance modelling, software maintenance process, stochastic Petri nets.  


SIMULATION ◽  
1995 ◽  
Vol 65 (4) ◽  
pp. 269-278 ◽  
Author(s):  
Koen De Bosschere ◽  
Jalal Almhana

Information ◽  
2018 ◽  
Vol 9 (10) ◽  
pp. 245 ◽  
Author(s):  
Leyi Shi ◽  
Yang Li ◽  
Haijie Feng

As one of the active defense technologies, the honeypot deceives the latent intruders to interact with the imitated systems or networks deployed with security mechanisms. Its modeling and performance analysis have not been well studied. In this paper, we propose a honeypot performance evaluation scheme based on Stochastic Petri Nets (SPN). We firstly set up performance evaluation models for three types of defense scenarios (i.e., firewall; firewall and Intrusion Detection System (IDS); firewall, IDS and honeypot) based on SPN. We then theoretically analyze the SPN models by constructing Markov Chains (MC), which are isomorphic to the models. With the steady state probabilities based on the MC, the system performance evaluation is done with theoretical inference. Finally, we implement the proposed three SPN models on the PIPE platform. Five parameters are applied to compare and evaluate the performance of the proposed SPN models. The analysis of the probability and delay of three scenarios shows that the simulation results validate the effectiveness in security enhancement of the honeypot under the SPN models.


Sign in / Sign up

Export Citation Format

Share Document