Matches in SemOpenAlex for { <https://semopenalex.org/work/W2136992253> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2136992253 endingPage "472" @default.
- W2136992253 startingPage "453" @default.
- W2136992253 abstract "Practical experiences show that only timed and coloured Petri nets are capable of modelling large and complex real-time systems. This is the reason we present the Interval Timed Coloured Petri Net (ITCPN) model. An interval timed coloured Petri net is a coloured Petri net extended with time; time is in tokens and transitions determine a delay for each produced token. This delay is specified by an upper and lower bound, i.e. an interval. The ITCPN model allows the modelling of the dynamic behaviour of large and complex systems, without losing the possibility of formal analysis. In addition to the existing analysis techniques for coloured Petri nets, we propose a new analysis method to analyse the temporal behaviour of the net. This method constructs a reduced reachability graph and exploits the fact that delays are described by an interval." @default.
- W2136992253 created "2016-06-24" @default.
- W2136992253 creator A5081345037 @default.
- W2136992253 date "1993-01-01" @default.
- W2136992253 modified "2023-09-25" @default.
- W2136992253 title "Interval timed coloured petri nets and their analysis" @default.
- W2136992253 cites W1504063638 @default.
- W2136992253 cites W1521377075 @default.
- W2136992253 cites W1574353843 @default.
- W2136992253 cites W1879415878 @default.
- W2136992253 cites W1997422892 @default.
- W2136992253 cites W2017349948 @default.
- W2136992253 cites W2042801853 @default.
- W2136992253 cites W2047562474 @default.
- W2136992253 cites W2079636926 @default.
- W2136992253 cites W2092311420 @default.
- W2136992253 cites W2151612633 @default.
- W2136992253 cites W3023064319 @default.
- W2136992253 cites W4249538237 @default.
- W2136992253 doi "https://doi.org/10.1007/3-540-56863-8_61" @default.
- W2136992253 hasPublicationYear "1993" @default.
- W2136992253 type Work @default.
- W2136992253 sameAs 2136992253 @default.
- W2136992253 citedByCount "114" @default.
- W2136992253 countsByYear W21369922532012 @default.
- W2136992253 countsByYear W21369922532013 @default.
- W2136992253 countsByYear W21369922532014 @default.
- W2136992253 countsByYear W21369922532015 @default.
- W2136992253 countsByYear W21369922532016 @default.
- W2136992253 countsByYear W21369922532018 @default.
- W2136992253 countsByYear W21369922532019 @default.
- W2136992253 countsByYear W21369922532020 @default.
- W2136992253 countsByYear W21369922532021 @default.
- W2136992253 countsByYear W21369922532022 @default.
- W2136992253 countsByYear W21369922532023 @default.
- W2136992253 crossrefType "book-chapter" @default.
- W2136992253 hasAuthorship W2136992253A5081345037 @default.
- W2136992253 hasBestOaLocation W21369922532 @default.
- W2136992253 hasConcept C111919701 @default.
- W2136992253 hasConcept C11413529 @default.
- W2136992253 hasConcept C114614502 @default.
- W2136992253 hasConcept C120314980 @default.
- W2136992253 hasConcept C132525143 @default.
- W2136992253 hasConcept C136155141 @default.
- W2136992253 hasConcept C136643341 @default.
- W2136992253 hasConcept C14166107 @default.
- W2136992253 hasConcept C197551870 @default.
- W2136992253 hasConcept C2524010 @default.
- W2136992253 hasConcept C2777669093 @default.
- W2136992253 hasConcept C2778067643 @default.
- W2136992253 hasConcept C33923547 @default.
- W2136992253 hasConcept C38677869 @default.
- W2136992253 hasConcept C41008148 @default.
- W2136992253 hasConcept C48145219 @default.
- W2136992253 hasConcept C80444323 @default.
- W2136992253 hasConceptScore W2136992253C111919701 @default.
- W2136992253 hasConceptScore W2136992253C11413529 @default.
- W2136992253 hasConceptScore W2136992253C114614502 @default.
- W2136992253 hasConceptScore W2136992253C120314980 @default.
- W2136992253 hasConceptScore W2136992253C132525143 @default.
- W2136992253 hasConceptScore W2136992253C136155141 @default.
- W2136992253 hasConceptScore W2136992253C136643341 @default.
- W2136992253 hasConceptScore W2136992253C14166107 @default.
- W2136992253 hasConceptScore W2136992253C197551870 @default.
- W2136992253 hasConceptScore W2136992253C2524010 @default.
- W2136992253 hasConceptScore W2136992253C2777669093 @default.
- W2136992253 hasConceptScore W2136992253C2778067643 @default.
- W2136992253 hasConceptScore W2136992253C33923547 @default.
- W2136992253 hasConceptScore W2136992253C38677869 @default.
- W2136992253 hasConceptScore W2136992253C41008148 @default.
- W2136992253 hasConceptScore W2136992253C48145219 @default.
- W2136992253 hasConceptScore W2136992253C80444323 @default.
- W2136992253 hasLocation W21369922531 @default.
- W2136992253 hasLocation W21369922532 @default.
- W2136992253 hasLocation W21369922533 @default.
- W2136992253 hasOpenAccess W2136992253 @default.
- W2136992253 hasPrimaryLocation W21369922531 @default.
- W2136992253 hasRelatedWork W1980200158 @default.
- W2136992253 hasRelatedWork W2016151994 @default.
- W2136992253 hasRelatedWork W2061769887 @default.
- W2136992253 hasRelatedWork W2136758214 @default.
- W2136992253 hasRelatedWork W2136992253 @default.
- W2136992253 hasRelatedWork W2148229336 @default.
- W2136992253 hasRelatedWork W2341552178 @default.
- W2136992253 hasRelatedWork W2362338208 @default.
- W2136992253 hasRelatedWork W2890208214 @default.
- W2136992253 hasRelatedWork W2993657370 @default.
- W2136992253 isParatext "false" @default.
- W2136992253 isRetracted "false" @default.
- W2136992253 magId "2136992253" @default.
- W2136992253 workType "book-chapter" @default.