de.mpg.escidoc.pubman.appbase.FacesBean
English
 
Help Guide Disclaimer Contact us Login
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
 
 
DownloadE-Mail
  Approximate Closed-Form Aggregation of a Fork-Join Structure in Generalised Stochastic Petri Nets

Lilith, N., Billington, J., & Freiheit, J. (2006). Approximate Closed-Form Aggregation of a Fork-Join Structure in Generalised Stochastic Petri Nets. In L. Lenzini, & R. L. Cruz (Eds.), Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2006 (pp. 1-10). New York, USA: ACM.

Item is

Basic

show hide
Item Permalink: http://hdl.handle.net/11858/00-001M-0000-000F-24BA-A Version Permalink: http://hdl.handle.net/11858/00-001M-0000-000F-24BB-8
Genre: Conference Paper

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Lilith, Nimrod, Author
Billington, Jonathan, Author
Freiheit, Jörn1, Author              
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, escidoc:1116545              

Content

show
hide
Free keywords: -
 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.

Details

show
hide
Language(s): eng - English
 Dates: 2007-04-272006
 Publication Status: Published in print
 Pages: -
 Publishing info: New York, USA : ACM
 Table of Contents: -
 Rev. Method: -
 Identifiers: eDoc: 521709
URI: http://delivery.acm.org/10.1145/1200000/1190136/a32-lilith.pdf?key1=1190136&key2=0674361711&coll=GUIDE&dl=GUIDE&CFID=11459750&CFTOKEN=14269599
Other: Local-ID: C125716C0050FB51-8A02F4CC721FACC7C12572C6002D7C8A-Freiheit2005c
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Pisa, Italy
Start-/End Date: 2006-10-11 - 2006-10-13

Legal Case

show

Project information

show

Source 1

show
hide
Title: Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2006
Source Genre: Proceedings
 Creator(s):
Lenzini, Luciano, Editor
Cruz, Rene L., Editor
Affiliations:
-
Publ. Info: New York, USA : ACM
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 1 - 10 Identifier: ISBN: 1-59593-504-5

Source 2

show
hide
Title: ACM International Conference Proceeding Series
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: - Identifier: -