JAIST Repository >
School of Information Science >
Articles >
Journal Articles >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/8516

Title: Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds
Authors: HIRAISHI, Kunihiko
Keywords: fluidification
interval methods
performance evaluation
hybrid systems
Issue Date: 2008-11-01
Publisher: 電子情報通信学会
Magazine name: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Volume: E91-A
Number: 11
Start page: 3219
End page: 3228
DOI: 10.1093/ietfec/e91-a.11.3219
Abstract: In this paper, we study performance evaluation of workflow-based information systems. Because of state space explosion, analysis by stochastic models, such as stochastic Petri nets and queuing models, is not suitable for workflow systems in which a large number of flow instances run concurrently. We use fluid-flow approximation technique to overcome this difficulty. In the proposed method, GSPN (Generalized Stochastic Petri Nets) models representing workflows are approximated by a class of timed continuous Petri nets, called routing timed continuous Petri nets (RTCPN). In RTCPN models, each discrete set is approximated by a continuous region on a real-valued vector space, and variance in probability distribution is replaced with a real-valued interval. Next we derive piecewise linear systems from RTCPN models, and use interval methods to compute guaranteed enclosures for state variables. As a case study, we solve an optimal resource assignment problem for a paper review process.
Rights: Copyright (C)2008 IEICE. Kunihiko HIRAISHI, IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, E91-A(11), 2008, 3219-3228. http://www.ieice.org/jpn/trans_online/
URI: http://hdl.handle.net/10119/8516
Material Type: publisher
Appears in Collections:b10-1. 雑誌掲載論文 (Journal Articles)

Files in This Item:

File Description SizeFormat
13773.pdf372KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.


Contact : Library Information Section, Japan Advanced Institute of Science and Technology