Electronic Proceedings Article
@InProceedings
Internet-Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Lilith, Nimrod
Billington, Jonathan
Freiheit, Jörn

dblp
dblp
dblp

Not MPG Author(s):

Lilith, Nimrod
Billington, Jonathan

Editor(s):

Lenzini, Luciano
Cruz, Rene L.

dblp
dblp

Not MPII Editor(s):

Lenzini, Luciano
Cruz, Rene L.

BibTeX cite key*:

Freiheit2005c

Title, Conference

Title*:

Approximate Closed-Form Aggregation of a Fork-Join Structure in Generalised Stochastic Petri Nets

Booktitle*:

Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2006

Event Address*:

Pisa, Italy

URL of the conference:

http://www.valuetools.org/

Event Date*:
(no longer used):


URL for downloading the paper:

http://delivery.acm.org/10.1145/1200000/1190136/a32-lilith.pdf?key1=1190136&key2=0674361711&coll=GUIDE&dl=GUIDE&CFID=11459750&CFTOKEN=14269599

Event Start Date:

11 October 2006

Event End Date:

13 October 2006

Language:

English

Organization:


Publisher

Publisher's Name:

ACM

Publisher's URL:


Address*:

New York, USA

Type:


Vol, No, pp., Year

Series:

ACM International Conference Proceeding Series

Volume:

180

Number:


Month:


Pages:

1-10



Sequence Number:

32

Year*:

2006

ISBN/ISSN:

1-59593-504-5





Abstract, Links, ©

URL for Reference:


Note:


(LaTeX) Abstract:

In this paper an aggregation technique for generalised stochastic Petri nets (GSPNs) possessing synchronised parallel structures is presented. Parallel processes featuring synchronisation constraints commonly occur in fields such as product assembly and computer process communications, however their existence in closed networks severely complicates analysis. This paper details the derivation of computationally-simple closed-form expressions which permit the aggregation of a GSPN subnet featuring a fork-join structure. The aggregation expressions presented in this paper do not require the generation of the underlying continuous time Markov chain of the original net, and do not follow an iterative procedure. The resulting aggregated GSPN accurately approximates the stationary token distribution behaviour of the original net, and this is shown by the analysis of a number of example GSPNs.

URL for the Abstract:

http://portal.acm.org/citation.cfm?doid=1190095.1190136#



Tags, Categories, Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography, VG Wort

BibTeX Entry:
@INPROCEEDINGS{Freiheit2005c,
AUTHOR = {Lilith, Nimrod and Billington, Jonathan and Freiheit, J{\"o}rn},
EDITOR = {Lenzini, Luciano and Cruz, Rene L.},
TITLE = {Approximate Closed-Form Aggregation of a Fork-Join Structure in Generalised Stochastic Petri Nets},
BOOKTITLE = {Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2006},
PUBLISHER = {ACM},
YEAR = {2006},
VOLUME = {180},
PAGES = {1--10},
SERIES = {ACM International Conference Proceeding Series},
ADDRESS = {Pisa, Italy},
ISBN = {1-59593-504-5},
}


Entry last modified by Uwe Brahm, 04/27/2007
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Jörn Freiheit
Created
04/23/2007 10:16:50 AM
Revisions
5.
4.
3.
2.
1.
Editor(s)
Uwe Brahm
Uwe Brahm
Christine Kiesel
Christine Kiesel
Christine Kiesel
Edit Dates
2007-04-27 19:42:29
04/10/2007 07:17:48 PM
16.02.2007 15:10:55
16.02.2007 15:10:19
02/12/2007 01:28:15 PM
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section