FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W78405526> ?p ?o ?g. }

• W78405526 endingPage "109" @default.
• W78405526 startingPage "90" @default.
• W78405526 abstract "Generalised Stochastic Petri Nets (GSPNs) are a popular modelling formalism for performance and dependability analysis. Their semantics is traditionally associated to continuous-time Markov chains (CTMCs), enabling the use of standard CTMC analysis algorithms and software tools. Due to ambiguities in the semantic interpretation of confused GSPNs, this analysis strand is however restricted to nets that do not exhibit non-determinism, the so-called well-defined nets. This paper defines a simple semantics for every GSPN. No restrictions are imposed on the presence of confusions. Immediate transitions may be weighted but are not required to be. Cycles of immediate transitions are admitted too. The semantics is defined using a non-deterministic variant of CTMCs, referred to as Markov automata. We prove that for well-defined bounded nets, our semantics is weak bisimulation equivalent to the existing CTMC semantics. Finally, we briefly indicate how every bounded GSPN can be quantitatively assessed." @default.
• W78405526 created "2016-06-24" @default.
• W78405526 creator A5028747794 @default.
• W78405526 creator A5040982144 @default.
• W78405526 creator A5080606370 @default.
• W78405526 creator A5081589298 @default.
• W78405526 date "2013-01-01" @default.
• W78405526 modified "2023-10-05" @default.
• W78405526 title "A Semantics for Every GSPN" @default.
• W78405526 cites W1485650462 @default.
• W78405526 cites W1494374840 @default.
• W78405526 cites W1504080271 @default.
• W78405526 cites W1507380329 @default.
• W78405526 cites W1520708882 @default.
• W78405526 cites W2012095234 @default.
• W78405526 cites W2056928795 @default.
• W78405526 cites W2079636926 @default.
• W78405526 cites W2081287319 @default.
• W78405526 cites W2083099459 @default.
• W78405526 cites W2111987809 @default.
• W78405526 cites W2114710208 @default.
• W78405526 cites W2115555017 @default.
• W78405526 cites W2123610695 @default.
• W78405526 cites W2130498896 @default.
• W78405526 cites W2163234015 @default.
• W78405526 cites W2914292476 @default.
• W78405526 cites W4230164823 @default.
• W78405526 doi "https://doi.org/10.1007/978-3-642-38697-8_6" @default.
• W78405526 hasPublicationYear "2013" @default.
• W78405526 type Work @default.
• W78405526 sameAs 78405526 @default.
• W78405526 citedByCount "60" @default.
• W78405526 countsByYear W784055262013 @default.
• W78405526 countsByYear W784055262014 @default.
• W78405526 countsByYear W784055262015 @default.
• W78405526 countsByYear W784055262016 @default.
• W78405526 countsByYear W784055262017 @default.
• W78405526 countsByYear W784055262018 @default.
• W78405526 countsByYear W784055262019 @default.
• W78405526 countsByYear W784055262020 @default.
• W78405526 countsByYear W784055262021 @default.
• W78405526 countsByYear W784055262022 @default.
• W78405526 countsByYear W784055262023 @default.
• W78405526 crossrefType "book-chapter" @default.
• W78405526 hasAuthorship W78405526A5028747794 @default.
• W78405526 hasAuthorship W78405526A5040982144 @default.
• W78405526 hasAuthorship W78405526A5080606370 @default.
• W78405526 hasAuthorship W78405526A5081589298 @default.
• W78405526 hasConcept C110251889 @default.
• W78405526 hasConcept C112505250 @default.
• W78405526 hasConcept C11413529 @default.
• W78405526 hasConcept C119857082 @default.
• W78405526 hasConcept C121375916 @default.
• W78405526 hasConcept C134306372 @default.
• W78405526 hasConcept C135315306 @default.
• W78405526 hasConcept C142362112 @default.
• W78405526 hasConcept C153349607 @default.
• W78405526 hasConcept C154945302 @default.
• W78405526 hasConcept C156325763 @default.
• W78405526 hasConcept C184337299 @default.
• W78405526 hasConcept C197551870 @default.
• W78405526 hasConcept C199360897 @default.
• W78405526 hasConcept C2780654840 @default.
• W78405526 hasConcept C33923547 @default.
• W78405526 hasConcept C34388435 @default.
• W78405526 hasConcept C38677869 @default.
• W78405526 hasConcept C41008148 @default.
• W78405526 hasConcept C558565934 @default.
• W78405526 hasConcept C73301696 @default.
• W78405526 hasConcept C80444323 @default.
• W78405526 hasConcept C98763669 @default.
• W78405526 hasConceptScore W78405526C110251889 @default.
• W78405526 hasConceptScore W78405526C112505250 @default.
• W78405526 hasConceptScore W78405526C11413529 @default.
• W78405526 hasConceptScore W78405526C119857082 @default.
• W78405526 hasConceptScore W78405526C121375916 @default.
• W78405526 hasConceptScore W78405526C134306372 @default.
• W78405526 hasConceptScore W78405526C135315306 @default.
• W78405526 hasConceptScore W78405526C142362112 @default.
• W78405526 hasConceptScore W78405526C153349607 @default.
• W78405526 hasConceptScore W78405526C154945302 @default.
• W78405526 hasConceptScore W78405526C156325763 @default.
• W78405526 hasConceptScore W78405526C184337299 @default.
• W78405526 hasConceptScore W78405526C197551870 @default.
• W78405526 hasConceptScore W78405526C199360897 @default.
• W78405526 hasConceptScore W78405526C2780654840 @default.
• W78405526 hasConceptScore W78405526C33923547 @default.
• W78405526 hasConceptScore W78405526C34388435 @default.
• W78405526 hasConceptScore W78405526C38677869 @default.
• W78405526 hasConceptScore W78405526C41008148 @default.
• W78405526 hasConceptScore W78405526C558565934 @default.
• W78405526 hasConceptScore W78405526C73301696 @default.
• W78405526 hasConceptScore W78405526C80444323 @default.
• W78405526 hasConceptScore W78405526C98763669 @default.
• W78405526 hasLocation W784055261 @default.
• W78405526 hasOpenAccess W78405526 @default.
• W78405526 hasPrimaryLocation W784055261 @default.
• W78405526 hasRelatedWork W1495820984 @default.

• next