GREATSPN-1.7 - GRAPHICAL EDITOR AND ANALYZER FOR TIMED AND STOCHASTIC PETRI NETS

被引：129

作者：

CHIOLA, G

FRANCESCHINIS, G

GAETA, R

RIBAUDO, M

机构：

[1] Dipartimento di Informatica, Università di Torino, 10149 Torino

来源：

PERFORMANCE EVALUATION | 1995年 / 24卷 / 1-2期

关键词：

PETRI NETS; MODELING TOOL; CTMC; SIMULATION;

D O I：

10.1016/0166-5316(95)00008-L

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper describes the GreatSPN 1.7 package for the modeling, validation, and performance evaluation of distributed systems using Generalized Stochastic Petri Nets and their colored extension. The tool provides a friendly framework to experiment with timed Petri net based modeling techniques. It implements efficient analysis algorithms to allow its use on ''real'' applications, not only toy examples. Developed in a university for non-profit purposes, it is distributed free of charge to other universities for educational and research purposes. An overview of the complete architecture of the package is given together with examples of its application. Then the various analysis and simulation modules are described.

引用

页码：47 / 68

页数：22

共 24 条

[1]

ALAIWAN H, 1985, TECHN SCI INFORM, V4

[2]

BERTHELOT G, 1987, LECT NOTES COMPUT SC, V254, P359

[3] GENERALIZED STOCHASTIC PETRI NETS - A DEFINITION AT THE NET LEVEL AND ITS IMPLICATIONS [J].

CHIOLA, G ;

MARSAN, MA ;

BALBO, G ;

CONTE, G .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (02) :89-107

[4]

CHIOLA G, 1992, PROC ANNU SIMUL SYMP, P192, DOI 10.1109/SIMSYM.1992.227562

[5] STOCHASTIC WELL-FORMED COLORED NETS AND SYMMETRICAL MODELING APPLICATIONS [J].

CHIOLA, G ;

DUTHEILLET, C ;

FRANCESCHINIS, G ;

HADDAD, S .

IEEE TRANSACTIONS ON COMPUTERS, 1993, 42 (11) :1343-1360

[6]

CHIOLA G, 1990, 9051 U PAR 6 TECHN R

[7]

CHIOLA G, 1991, 5TH P INT C MOD TECH

[8]

CHIOLA G, 1985, JUL P INT WORKSH TIM

[9]

CHIOLA G, 1993, 5TH P INT WORKSH PET

[10]

CHIOLA G, 1993, PARALLEL DISTRIBUTED, V1, P33

← 1 2 3 →