de.mpg.escidoc.pubman.appbase.FacesBean
Deutsch
 
Hilfe Wegweiser Datenschutzhinweis Impressum Kontakt
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
  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

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: http://hdl.handle.net/11858/00-001M-0000-000F-24BA-A Versions-Permalink: http://hdl.handle.net/11858/00-001M-0000-000F-24BB-8
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Lilith, Nimrod, Autor
Billington, Jonathan, Autor
Freiheit, Jörn1, Autor              
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, escidoc:1116545              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: 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

einblenden:
ausblenden:
Sprache(n): eng - Englisch
 Datum: 2007-04-272006
 Publikationsstatus: Im Druck publiziert
 Seiten: -
 Ort, Verlag, Ausgabe: New York, USA : ACM
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: 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
Anderer: Local-ID: C125716C0050FB51-8A02F4CC721FACC7C12572C6002D7C8A-Freiheit2005c
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Pisa, Italy
Start-/Enddatum: 2006-10-11 - 2006-10-13

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2006
Genre der Quelle: Konferenzband
 Urheber:
Lenzini, Luciano, Herausgeber
Cruz, Rene L., Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: New York, USA : ACM
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 1 - 10 Identifikator: ISBN: 1-59593-504-5

Quelle 2

einblenden:
ausblenden:
Titel: ACM International Conference Proceeding Series
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: - Identifikator: -