Matches in SemOpenAlex for { <https://semopenalex.org/work/W1750781857> ?p ?o ?g. }
- W1750781857 abstract "In this paper we first give an overview of the dierent approaches to time in Petri nets. If time is considered for performance analysis then we need also probability distributions for choices. So then we have Petri nets with time and stochastics. In literature most attention is paid to models where the time is connected to the transitions and for the stochastic case to continuous time models with exponential enabling distributions, none by its software tools as GSPN. Here we focuss on discrete models where the time is discrete and the probability distributions are discrete, because we believe that this model class has some advantages. We study the expressive power of dierent discrete models and we show how several approaches can be unified by transformations from one into the other, which is also useful for the application of software tools. We also consider timed automata and compare them with the Petri net models. We show how model checking methods can be applied for the non-stochastic case. We show when the tools for timed automata, UPPAAL, can be used for this purpose. For the stochastic case we show how Markov techniques can be used. We also consider structural analysis techniques, that do not need the state space, for the class of workflownets and we show how these techniques can be applied to reduce the computational eort." @default.
- W1750781857 created "2016-06-24" @default.
- W1750781857 creator A5022941233 @default.
- W1750781857 creator A5053568949 @default.
- W1750781857 creator A5078346412 @default.
- W1750781857 date "2013-01-01" @default.
- W1750781857 modified "2023-09-25" @default.
- W1750781857 title "Discrete timed Petri nets" @default.
- W1750781857 cites W1529059198 @default.
- W1750781857 cites W1533440204 @default.
- W1750781857 cites W1543145547 @default.
- W1750781857 cites W1589725893 @default.
- W1750781857 cites W1591301942 @default.
- W1750781857 cites W1777350991 @default.
- W1750781857 cites W1853568628 @default.
- W1750781857 cites W1873098740 @default.
- W1750781857 cites W1943309769 @default.
- W1750781857 cites W1986755980 @default.
- W1750781857 cites W1991534723 @default.
- W1750781857 cites W2023808162 @default.
- W1750781857 cites W2033839526 @default.
- W1750781857 cites W2035930260 @default.
- W1750781857 cites W2042801853 @default.
- W1750781857 cites W2050890381 @default.
- W1750781857 cites W2074016802 @default.
- W1750781857 cites W2074388532 @default.
- W1750781857 cites W2079636926 @default.
- W1750781857 cites W2098981343 @default.
- W1750781857 cites W2101508170 @default.
- W1750781857 cites W2117754596 @default.
- W1750781857 cites W2119567691 @default.
- W1750781857 cites W2120601740 @default.
- W1750781857 cites W2126325350 @default.
- W1750781857 cites W2129140418 @default.
- W1750781857 cites W2136992253 @default.
- W1750781857 cites W2139069080 @default.
- W1750781857 cites W2151612633 @default.
- W1750781857 cites W2151720555 @default.
- W1750781857 cites W2160883697 @default.
- W1750781857 cites W2165856726 @default.
- W1750781857 cites W2176357470 @default.
- W1750781857 cites W27638968 @default.
- W1750781857 cites W1836758419 @default.
- W1750781857 hasPublicationYear "2013" @default.
- W1750781857 type Work @default.
- W1750781857 sameAs 1750781857 @default.
- W1750781857 citedByCount "1" @default.
- W1750781857 countsByYear W17507818572014 @default.
- W1750781857 crossrefType "journal-article" @default.
- W1750781857 hasAuthorship W1750781857A5022941233 @default.
- W1750781857 hasAuthorship W1750781857A5053568949 @default.
- W1750781857 hasAuthorship W1750781857A5078346412 @default.
- W1750781857 hasConcept C105795698 @default.
- W1750781857 hasConcept C110251889 @default.
- W1750781857 hasConcept C112505250 @default.
- W1750781857 hasConcept C11413529 @default.
- W1750781857 hasConcept C119857082 @default.
- W1750781857 hasConcept C149441793 @default.
- W1750781857 hasConcept C154945302 @default.
- W1750781857 hasConcept C197551870 @default.
- W1750781857 hasConcept C199360897 @default.
- W1750781857 hasConcept C2777212361 @default.
- W1750781857 hasConcept C2777904410 @default.
- W1750781857 hasConcept C33923547 @default.
- W1750781857 hasConcept C38677869 @default.
- W1750781857 hasConcept C41008148 @default.
- W1750781857 hasConcept C55689738 @default.
- W1750781857 hasConcept C72434380 @default.
- W1750781857 hasConcept C80444323 @default.
- W1750781857 hasConcept C98763669 @default.
- W1750781857 hasConceptScore W1750781857C105795698 @default.
- W1750781857 hasConceptScore W1750781857C110251889 @default.
- W1750781857 hasConceptScore W1750781857C112505250 @default.
- W1750781857 hasConceptScore W1750781857C11413529 @default.
- W1750781857 hasConceptScore W1750781857C119857082 @default.
- W1750781857 hasConceptScore W1750781857C149441793 @default.
- W1750781857 hasConceptScore W1750781857C154945302 @default.
- W1750781857 hasConceptScore W1750781857C197551870 @default.
- W1750781857 hasConceptScore W1750781857C199360897 @default.
- W1750781857 hasConceptScore W1750781857C2777212361 @default.
- W1750781857 hasConceptScore W1750781857C2777904410 @default.
- W1750781857 hasConceptScore W1750781857C33923547 @default.
- W1750781857 hasConceptScore W1750781857C38677869 @default.
- W1750781857 hasConceptScore W1750781857C41008148 @default.
- W1750781857 hasConceptScore W1750781857C55689738 @default.
- W1750781857 hasConceptScore W1750781857C72434380 @default.
- W1750781857 hasConceptScore W1750781857C80444323 @default.
- W1750781857 hasConceptScore W1750781857C98763669 @default.
- W1750781857 hasLocation W17507818571 @default.
- W1750781857 hasOpenAccess W1750781857 @default.
- W1750781857 hasPrimaryLocation W17507818571 @default.
- W1750781857 hasRelatedWork W1538906230 @default.
- W1750781857 hasRelatedWork W1545632625 @default.
- W1750781857 hasRelatedWork W1603479876 @default.
- W1750781857 hasRelatedWork W1836481452 @default.
- W1750781857 hasRelatedWork W2042244914 @default.
- W1750781857 hasRelatedWork W2073841996 @default.
- W1750781857 hasRelatedWork W2106993935 @default.
- W1750781857 hasRelatedWork W2143669551 @default.
- W1750781857 hasRelatedWork W2161617103 @default.