MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Introduction to Generalized Stochastic Petri Nets." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

ATOM

CSL model checking for the GreatSPN tool
by Susanna Donatelli, Jeremy Sproston — 2004 — In Proc. ISCIS 2004, LNCS 3280
… the literature. 1 Introduction Generalized Stochastic Petri Nets (GSPN) [1] and their coloured counterpart…
Cited by 8 (0 self) – Add To MetaCart

Efficient Handling of Phase-type Distributions in Generalized Stochastic Petri Nets
by Serge Haddad, Patrice Moreaux, Giovanni Chiola — 1997
…EOEcient Handling of Phase-type Distributions in Generalized Stochastic Petri Nets Serge Haddad…
Cited by 4 (0 self) – Add To MetaCart

CSL model- checking for Generalized Stochastic Petri Nets
by Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston — 2006 — In Proceedings of the 3rd International Conference on Quantitative Evaluation of Systems (QEST 2006). IEEE
… according to the formula being checked. 1. Introduction Generalized Stochastic Petri Nets (GSPNs) [1] are a…
Cited by 1 (0 self) – Add To MetaCart

SNS 1.0: Synchronized Network Solver
by Marco Tilgner, Yukio Takahashi, Gianfranco Ciardo — 1996 — In 1st International Workshop on Manufacturing and Petri Nets
… algebra, numerical linear algebra. 1 Introduction Generalized stochastic Petri nets (GSPNs) [4] are very…
Cited by 6 (5 self) – Add To MetaCart

GSPN and SPA Compared in Practice - Modelling A Distributed Mail System
by Modelling A Distributed, Mail System, Susanna Donatelli, Marina Ribaudo, Holger Hermanns, Jane Hillston
… Modelling in Parallel Systems, Springer, 1995 Summary. Generalized Stochastic Petri Nets (GSPN…
Add To MetaCart

A data structure for the efficient Kronecker solution of GSPNs
by Gianfranco Ciardo, Andrew S. Miner — 1999 — Proc. 8th Int. Workshop on Petri Nets and Performance Models (PNPM’99
… Generalized Stochastic Petri Nets (GSPNs) [1] and related models (e.g., stochastic reward nets [15…
Cited by 54 (14 self) – Add To MetaCart

unknown title
by unknown authors
… in a very efficient overall solution process. 1. Introduction Generalized Stochastic Petri Nets (GSPNs…
Add To MetaCart

unknown title
by unknown authors
… in a very efficient overall solution process. 1. Introduction Generalized Stochastic Petri Nets (GSPNs…
Add To MetaCart

Numerical Analysis of Superposed GSPNs
by Peter Kemper, Informatik Iv — IEEE Transactions on Software Engineering
… common workstation. 1 Introduction Generalized stochastic Petri nets (GSPNs) [1, 8] provide a concise…
Cited by 55 (9 self) – Add To MetaCart

Efficient solution of GSPNs using Canonical Matrix Diagrams
by Andrew S. Miner — 2001 — Proceedings of the 9th International Workshop on Petri Nets and Performance Models
… Science Iowa State University asminer@(email omitted); Abstract The solution of a generalized stochastic Petri…
Cited by 17 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB