Matches in SemOpenAlex for { <https://semopenalex.org/work/W97599027> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W97599027 abstract "Passage time measures specification and computation for Generalized Stochastic Petri Net models have been faced in the literature from different points of view. In particular three aspects have been developed: (1) how to select a specific token (called the tagged token) and measure the distribution of the time employed from an entry to an exit point in a subnet; (2) how to specify in a flexible way any condition on the paths of interest to be measured, (3) how to efficiently compute the required distribution. In this paper we focus on the last two points: the specification and computation of complex passage time measures in (Tagged) GSPNs using the Hybrid Automata Stochastic Logic (HASL) and the statistical model checker COSMOS. By considering GSPN models of two different systems (a flexible manufacturing system and a workflow), we identify a number of relevant performance measures (mainly passage-time distributions), formally express them in HASL terms and assess them by means of simulation in the COSMOS tool. The interest from the measures specification point of view is provided by the possibility of setting one or more timers along the paths, and setting the conditions for the paths selection, based on the measured values of such timers. With respect to other specification languages allowing to use timers in the specification of performance measures, HASL provides timers suspension, reactivation, and rate change along a path." @default.
- W97599027 created "2016-06-24" @default.
- W97599027 creator A5002392135 @default.
- W97599027 creator A5040639980 @default.
- W97599027 creator A5067435617 @default.
- W97599027 creator A5077535441 @default.
- W97599027 creator A5084007973 @default.
- W97599027 date "2013-01-01" @default.
- W97599027 modified "2023-10-07" @default.
- W97599027 title "Expressing and Computing Passage Time Measures of GSPN Models with HASL" @default.
- W97599027 cites W1534108160 @default.
- W97599027 cites W1976061003 @default.
- W97599027 cites W1995691455 @default.
- W97599027 cites W2041226400 @default.
- W97599027 cites W2069679358 @default.
- W97599027 cites W2114671730 @default.
- W97599027 cites W2136380704 @default.
- W97599027 cites W2139630871 @default.
- W97599027 cites W2143909814 @default.
- W97599027 cites W2146235009 @default.
- W97599027 cites W2154071973 @default.
- W97599027 cites W2158776910 @default.
- W97599027 cites W2175095366 @default.
- W97599027 cites W2653646069 @default.
- W97599027 cites W4233959905 @default.
- W97599027 doi "https://doi.org/10.1007/978-3-642-38697-8_7" @default.
- W97599027 hasPublicationYear "2013" @default.
- W97599027 type Work @default.
- W97599027 sameAs 97599027 @default.
- W97599027 citedByCount "4" @default.
- W97599027 countsByYear W975990272013 @default.
- W97599027 countsByYear W975990272014 @default.
- W97599027 countsByYear W975990272020 @default.
- W97599027 crossrefType "book-chapter" @default.
- W97599027 hasAuthorship W97599027A5002392135 @default.
- W97599027 hasAuthorship W97599027A5040639980 @default.
- W97599027 hasAuthorship W97599027A5067435617 @default.
- W97599027 hasAuthorship W97599027A5077535441 @default.
- W97599027 hasAuthorship W97599027A5084007973 @default.
- W97599027 hasBestOaLocation W975990272 @default.
- W97599027 hasConcept C41008148 @default.
- W97599027 hasConceptScore W97599027C41008148 @default.
- W97599027 hasLocation W975990271 @default.
- W97599027 hasLocation W975990272 @default.
- W97599027 hasLocation W975990273 @default.
- W97599027 hasLocation W975990274 @default.
- W97599027 hasLocation W975990275 @default.
- W97599027 hasOpenAccess W97599027 @default.
- W97599027 hasPrimaryLocation W975990271 @default.
- W97599027 hasRelatedWork W1596801655 @default.
- W97599027 hasRelatedWork W2130043461 @default.
- W97599027 hasRelatedWork W2350741829 @default.
- W97599027 hasRelatedWork W2358668433 @default.
- W97599027 hasRelatedWork W2376932109 @default.
- W97599027 hasRelatedWork W2382290278 @default.
- W97599027 hasRelatedWork W2390279801 @default.
- W97599027 hasRelatedWork W2748952813 @default.
- W97599027 hasRelatedWork W2899084033 @default.
- W97599027 hasRelatedWork W2530322880 @default.
- W97599027 isParatext "false" @default.
- W97599027 isRetracted "false" @default.
- W97599027 magId "97599027" @default.
- W97599027 workType "book-chapter" @default.