SPNP: Stochastic Petri Net Package

Gianfranco Ciardo; Jogesh Muppala; Kishor Trivedi

SPNP: Stochastic Petri Net Package

Gianfranco Ciardo^*, Jogesh Muppala, Kishor Trivedi

^*Corresponding author for this work

Research output: Chapter in Book/Conference Proceeding/Report › Conference Paper published in a book › peer-review

466 Citations (Scopus)

Abstract

SPNP, a powerful GSPN package that allows the modeling of complex system behaviors, is presented. Advanced constructs are available in SPNP such as marking-dependent arc multiplicities, enabling functions, arrays of places or transitions, and subnets; the full expressive power of the C programming language is also available to increase the flexibility of the net description. Sophisticated steady-state and transient solvers are available including cumulative and up-to-absorption measures. The user is not limited to a predefined set of measures; detailed expressions reflecting exactly the measures sought can be easily specified. The authors conclude by comparing SPNP with two other SPN-based packages, Great SPN and METASAN.

Original language	English
Title of host publication	Proc Third Int Workshop Petri Nets Perform Models PNPM89
Editors	Anon
Publisher	Publ by IEEE
Pages	142-151
Number of pages	10
ISBN (Print)	0818620013
Publication status	Published - 1989
Externally published	Yes
Event	Proceedings of the Third International Workshop on Petri Nets and Performance Models (PNPM89) - Kyoto, Japan Duration: 11 Dec 1989 → 13 Dec 1989

Publication series

Name	Proc Third Int Workshop Petri Nets Perform Models PNPM89

Conference

Conference	Proceedings of the Third International Workshop on Petri Nets and Performance Models (PNPM89)
City	Kyoto, Japan
Period	11/12/89 → 13/12/89

Cite this

@inproceedings{e3c9915f71df4426bd9d555537559f9c,

title = "SPNP: Stochastic Petri Net Package",

abstract = "SPNP, a powerful GSPN package that allows the modeling of complex system behaviors, is presented. Advanced constructs are available in SPNP such as marking-dependent arc multiplicities, enabling functions, arrays of places or transitions, and subnets; the full expressive power of the C programming language is also available to increase the flexibility of the net description. Sophisticated steady-state and transient solvers are available including cumulative and up-to-absorption measures. The user is not limited to a predefined set of measures; detailed expressions reflecting exactly the measures sought can be easily specified. The authors conclude by comparing SPNP with two other SPN-based packages, Great SPN and METASAN.",

author = "Gianfranco Ciardo and Jogesh Muppala and Kishor Trivedi",

year = "1989",

language = "English",

isbn = "0818620013",

series = "Proc Third Int Workshop Petri Nets Perform Models PNPM89",

publisher = "Publ by IEEE",

pages = "142--151",

editor = "Anon",

booktitle = "Proc Third Int Workshop Petri Nets Perform Models PNPM89",

note = "Proceedings of the Third International Workshop on Petri Nets and Performance Models (PNPM89) ; Conference date: 11-12-1989 Through 13-12-1989",

}

SPNP: Stochastic Petri Net Package. / Ciardo, Gianfranco; Muppala, Jogesh; Trivedi, Kishor.
Proc Third Int Workshop Petri Nets Perform Models PNPM89. ed. / Anon. Publ by IEEE, 1989. p. 142-151 (Proc Third Int Workshop Petri Nets Perform Models PNPM89).

Research output: Chapter in Book/Conference Proceeding/Report › Conference Paper published in a book › peer-review

TY - GEN

T1 - SPNP

T2 - Proceedings of the Third International Workshop on Petri Nets and Performance Models (PNPM89)

AU - Ciardo, Gianfranco

AU - Muppala, Jogesh

AU - Trivedi, Kishor

PY - 1989

Y1 - 1989

N2 - SPNP, a powerful GSPN package that allows the modeling of complex system behaviors, is presented. Advanced constructs are available in SPNP such as marking-dependent arc multiplicities, enabling functions, arrays of places or transitions, and subnets; the full expressive power of the C programming language is also available to increase the flexibility of the net description. Sophisticated steady-state and transient solvers are available including cumulative and up-to-absorption measures. The user is not limited to a predefined set of measures; detailed expressions reflecting exactly the measures sought can be easily specified. The authors conclude by comparing SPNP with two other SPN-based packages, Great SPN and METASAN.

AB - SPNP, a powerful GSPN package that allows the modeling of complex system behaviors, is presented. Advanced constructs are available in SPNP such as marking-dependent arc multiplicities, enabling functions, arrays of places or transitions, and subnets; the full expressive power of the C programming language is also available to increase the flexibility of the net description. Sophisticated steady-state and transient solvers are available including cumulative and up-to-absorption measures. The user is not limited to a predefined set of measures; detailed expressions reflecting exactly the measures sought can be easily specified. The authors conclude by comparing SPNP with two other SPN-based packages, Great SPN and METASAN.

UR - https://www.scopus.com/pages/publications/0024908784

M3 - Conference Paper published in a book

AN - SCOPUS:0024908784

SN - 0818620013

T3 - Proc Third Int Workshop Petri Nets Perform Models PNPM89

SP - 142

EP - 151

BT - Proc Third Int Workshop Petri Nets Perform Models PNPM89

A2 - Anon, null

PB - Publ by IEEE

Y2 - 11 December 1989 through 13 December 1989

ER -

SPNP: Stochastic Petri Net Package

Abstract

Publication series

Conference

Other files and links

Fingerprint

Cite this