Wolter, Katinka, Reinecke, Philipp ![]() |
Abstract
Gnetworks extend standard queueing networks as to include different types of customers or jobs. In addition to ordinary jobs also signals, or negative jobs can arrive to a queue. A signal removes a job from the queue instead of adding one. The interpretation of a signal as retry is very natural and induces semantics to the arrival of a signal. The job that is hit by the signal first leaves the queue but then immediately returns as a new job. The mathematical specification of Gnetworks with retry has become a cumbersome task. Therefore we present in this tool-demo paper a new tool that will support the specification and analysis of Gnetwork models with retries.
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Status: | Published |
Schools: | Computer Science & Informatics |
Publisher: | ACM |
Date of Acceptance: | 28 January 2015 |
Last Modified: | 26 Oct 2022 07:14 |
URI: | https://orca.cardiff.ac.uk/id/eprint/124333 |
Citation Data
Cited 1 time in Scopus. View in Scopus. Powered By Scopus® Data
Actions (repository staff only)
![]() |
Edit Item |