Quantitative Analysis of Value-Based Software Processes Using Decision-Based Stochastic Object Petri-Nets

2007 ◽  
Author(s):  
Reng Yin ◽  
Hao Hu ◽  
Jidong Ge ◽  
Jian Lu
Keyword(s):  
Quantitative Analysis ◽  
Petri Nets ◽  
Software Processes

Petri Net representations in systems biology

2003 ◽  
Vol 31 (6) ◽  
pp. 1513-1515 ◽  
Author(s):  
J.W. Pinney ◽  
D.R. Westhead ◽  
G.A. McConkey
Keyword(s):  
Quantitative Analysis ◽  
Systems Biology ◽  
Petri Nets ◽  
Petri Net ◽  
Biological Networks ◽  
Research Effort ◽  
Research Directions ◽  
Mathematical Structures ◽  
New Research

The mathematical structures known as Petri Nets have recently become the focus of much research effort in both the structural and quantitative analysis of all kinds of biological networks. This review provides a very brief summary of these interesting new research directions.

scholarly journals Quantitative Analysis of Information Leakage in Security-Sensitive Software Processes

2005 ◽  
Vol 1 ◽  
pp. 322-334
Author(s):  
Yuichiro Kanzaki ◽  
Hiroshi Igaki ◽  
Masahide Nakamura ◽  
Akito Monden ◽  
Ken-ichi Matsumoto
Keyword(s):  
Quantitative Analysis ◽  
Information Leakage ◽  
Software Processes

Vulnerability, Uncertainty and Probability (VUP) Quantification of a Network of Interacting Satellites Using Stochastic Petri Nets (SPN)

2013 ◽  
Author(s):  
Atefeh Einafshar ◽  
Farrokh Sassani
Keyword(s):  
Markov Chain ◽  
Quantitative Analysis ◽  
Petri Nets ◽  
State Space ◽  
Petri Net ◽  
Stochastic Petri Nets ◽  
Discrete State ◽  
New Approach ◽  
Stochastic Petri Net ◽  
Discrete State Space

A new approach to Vulnerability, Uncertainty and Probability (VUP) quantification procedure using Stochastic Petri Nets within a network of interacting satellites is presented. A Stochastic Petri Net based model is developed to quantify VUP in a network of interacting satellites. Three indicators are proposed to determine the VUP definitions in interacting network of satellites. The proposed VUP quantification scheme addresses a methodology which employs a Stochastic Petri Net for quantitative analysis of the behavior of the network. With the random variables associated with the Petri Net transitions, the dynamic behavior of the cooperating satellites in a SPN model can be mapped onto a time-continuous Markov chain with discrete state space. After generating a Markov Stochastic Petri Net model, the probability of a given condition in the network at a specified time can be computed and quantified as well as the vulnerability and uncertainty of the system using the identified indicators.

Sign in / Sign up

Export Citation Format

Share Document