A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems

Marsan, Marco Ajmone; Conte, Gianni; Balbo, Gianfranco

doi:10.1145/190.191

Cited by 1,056 publications

(124 citation statements)

References 5 publications

Supporting

Mentioning

121

Contrasting

Unclassified

Order By: Relevance

“…반면 신뢰도 분석 다이어그램이나 고장수목 (fault tree) 분석 기법은 구성요소의 고장을 구체적 으로 표현할 수 있지만 동시성 및 동기화 기능 등 에 있어서 제약이 따른다 [11] . 이러한 문제점을 해결 하기 위한 대안으로 Petri Net의 일환인 GSPN(Generalized Stochastic Petri Nets) 기법이 사용되고 있다 [12] . 특히 참고문헌 [4] 에서는 …”

Section: ⅰ 서 론unclassified

Reliability Analysis of Dual-Channel CAN bus for Submarine Combat System

Song¹,

Kim²,

Lee³

2013

The Journal of Korean Institute of Communications and Informati

View full text Add to dashboard Cite

Since a communication network for submarine combat system must satisfy an extremely high level of reliability, a dual channel technique is commonly adopted. In this paper, a Petri Net based reliability model for dual-channel CAN is discussed. A reliability model called generalized stochastic Petri Nets (GSPN) is built by utilizing the information on physical faults with CAN. The effectiveness of the proposed model is analyzed in terms of unreliability with respect to failure rate and repair rate.※ 본 연구는 ㈜삼성탈레스 연구과제(STC-C-10-027) 지원으로 수행되었습니다.First Author：경북대학교 IT대학 전자공학부, moogeun

show abstract

Section: ⅰ 서 론unclassified

Reliability Analysis of Dual-Channel CAN bus for Submarine Combat System

Song¹,

Kim²,

Lee³

2013

The Journal of Korean Institute of Communications and Informati

View full text Add to dashboard Cite

show abstract

“…The formalism also supports macros, which allow new concepts to be created with the use of existing operators, and an abstract state-set specification mechanism to enable the user to specify groups of states relevant to a performance measure in terms of the corresponding high-level model (whether this be a stochastic Petri net, queueing network, stochastic process algebra etc.) Performance Trees have been fully integrated into the Platform Independent Petri net Editor (PIPE), thus allowing users to design Generalised Stochastic Petri Net (GSPN) [2] models and to specify relevant performance queries within a unified environment. PIPE communicates with an Analysis Server which employs a number of (potentially parallel and distributed) analysis tools [7,11] to calculate performance measures.…”

Section: Performance Treesmentioning

confidence: 99%

Natural Language Specification of Performance Trees

Wang

Dingle

Knottenbelt

2008

Computer Performance Engineering

View full text Add to dashboard Cite

Abstract. The accessible specification of performance queries is a key challenge in performance analysis. To this end, we seek to combine the intuitive aspects of natural language query specification with the expressive power and flexibility of the Performance Tree formalism. Specifically, we present a structured English grammar for Performance Trees, and use it to implement a Natural Language Query Builder (NLQB) for the Platform Independent Petri net Editor (PIPE). The NLQB guides users in the construction of performance queries in an iterative fashion, presenting at each step a range of natural language alternatives that are appropriate in the query context. We demonstrate our technique in the specification of performance queries on a model of a hospital's Accident and Emergency department.

show abstract

“…Fig. 2 shows a 22-place Generalised Stochastic Petri net (GSPN) [2] model of a flexible manufacturing system. Interested readers are directed to [3] as a good introduction to GSPNs, while a full description of this model, which we will refer to as the FMS model, can be found in [13].…”

Section: The Fms Generalised Stochastic Petrimentioning

confidence: 99%