The search functionality is under construction.

The search functionality is under construction.

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.

- Publication
- IEICE TRANSACTIONS on Fundamentals Vol.E91-A No.11 pp.3219-3228

- Publication Date
- 2008/11/01

- Publicized

- Online ISSN
- 1745-1337

- DOI
- 10.1093/ietfec/e91-a.11.3219

- Type of Manuscript
- Special Section PAPER (Special Section on Concurrent/Real-time and Hybrid Systems: Theory and Applications)

- Category

The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.

Copy

Kunihiko HIRAISHI, "Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds" in IEICE TRANSACTIONS on Fundamentals,
vol. E91-A, no. 11, pp. 3219-3228, November 2008, 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.

URL: https://global.ieice.org/en_transactions/fundamentals/10.1093/ietfec/e91-a.11.3219/_p

Copy

@ARTICLE{e91-a_11_3219,

author={Kunihiko HIRAISHI, },

journal={IEICE TRANSACTIONS on Fundamentals},

title={Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds},

year={2008},

volume={E91-A},

number={11},

pages={3219-3228},

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.},

keywords={},

doi={10.1093/ietfec/e91-a.11.3219},

ISSN={1745-1337},

month={November},}

Copy

TY - JOUR

TI - Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds

T2 - IEICE TRANSACTIONS on Fundamentals

SP - 3219

EP - 3228

AU - Kunihiko HIRAISHI

PY - 2008

DO - 10.1093/ietfec/e91-a.11.3219

JO - IEICE TRANSACTIONS on Fundamentals

SN - 1745-1337

VL - E91-A

IS - 11

JA - IEICE TRANSACTIONS on Fundamentals

Y1 - November 2008

AB - 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.

ER -