Discrete-event simulation of fluid stochastic Petri nets

被引：53

作者：

Ciardo, G ^{[1
]}

Nicol, DM

Trivedi, KS

机构：

[1] Coll William & Mary, Dept Comp Sci, Williamsburg, VA 23187 USA

[2] Dartmouth Coll, Dept Comp Sci, Hanover, NH 03755 USA

[3] Duke Univ, CACC, Dept Elect & Comp Engn, Durham, NC 27708 USA

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1999年 / 25卷 / 02期

基金：

美国国家航空航天局; 美国国家科学基金会;

关键词：

discrete-event simulation; continuous system simulation; stochastic Petri nets;

D O I：

10.1109/32.761446

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The purpose of this paper is to describe a method for the simulation of the recently introduced fluid stochastic Petri nets. Since such nets result in rather complex system of partial differential equations, numerical solution becomes a formidable task. Because of a mixed (discrete and continuous) state space, simulative solution also poses some interesting challenges, which are addressed in the paper.

引用

页码：207 / 217

页数：11

共 25 条

[1]

AGERWALA T, 1974, 32 J HOPK U

[2]

AJMONEMARSAN M, 1984, ACM T COMPUT SYST, V2, P93

[3] STOCHASTIC-THEORY OF A DATA-HANDLING SYSTEM WITH MULTIPLE SOURCES [J].

ANICK, D ;

MITRA, D ;

SONDHI, MM .

BELL SYSTEM TECHNICAL JOURNAL, 1982, 61 (08) :1871-1894

[4]

Araki T., 1976, Theoretical Computer Science, V3, P85, DOI 10.1016/0304-3975(76)90067-0

[5] REACHABILITY ANALYSIS OF DYNAMICAL-SYSTEMS HAVING PIECEWISE-CONSTANT DERIVATIVES [J].

ASARIN, E ;

MALER, O ;

PNUELI, A .

THEORETICAL COMPUTER SCIENCE, 1995, 138 (01) :35-65

[6]

Cassandras Christos., 1993, Discrete Event Systems: Modeling and Performance Analysis

[7]

Ciardo G, 1995, COMPUTATIONS WITH MARKOV CHAINS, P339

[8] ANALYZING CONCURRENT AND FAULT-TOLERANT SOFTWARE USING STOCHASTIC REWARD NETS [J].

CIARDO, G ;

MUPPALA, JK ;

TRIVEDI, KS .

JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1992, 15 (03) :255-269

[9]

CIARDO G, 1989, THESIS DUKE U DURHAM

[10]

Ciardo G., 1989, P INT WORKSH PETR NE, P142, DOI DOI 10.1109/PNPM.1989.68548

← 1 2 3 →