Matches in SemOpenAlex for { <https://semopenalex.org/work/W2084365280> ?p ?o ?g. }
- W2084365280 abstract "This paper deals with a formal approach for the detection of situations in the context of complex event processing, which is a technique particularly employed in the aerospace field. Indeed, aerospace systems generally involve numerous interacting agents, to each of which are associated various possible events, thus yielding a huge flow of events. A common issue when dealing with the safety of such systems consists in being able to detect in this flow certain event correlations, from which one may then deduce that the system is in a particular (often critical or hazardous) state. This work is based on a situation description language called chronicles, and provides for it a formal recognition model based on coloured Petri nets. A two-layer compositional model is provided: a concurrent, nondeterministic recognition model for each chronicle construct, together with additional control structures allowing to overview the recognition treatments performed on the event flow." @default.
- W2084365280 created "2016-06-24" @default.
- W2084365280 creator A5000992663 @default.
- W2084365280 creator A5019253037 @default.
- W2084365280 creator A5020592352 @default.
- W2084365280 creator A5021426516 @default.
- W2084365280 date "2013-12-01" @default.
- W2084365280 modified "2023-09-30" @default.
- W2084365280 title "A Formal Coloured Petri Net Model for Hazard Detection in Large Event Flows" @default.
- W2084365280 cites W1494261652 @default.
- W2084365280 cites W1505704561 @default.
- W2084365280 cites W1568573127 @default.
- W2084365280 cites W1570372094 @default.
- W2084365280 cites W1600386283 @default.
- W2084365280 cites W1815494026 @default.
- W2084365280 cites W1860137378 @default.
- W2084365280 cites W2069162149 @default.
- W2084365280 cites W2167254662 @default.
- W2084365280 cites W2899987233 @default.
- W2084365280 doi "https://doi.org/10.1109/apsec.2013.51" @default.
- W2084365280 hasPublicationYear "2013" @default.
- W2084365280 type Work @default.
- W2084365280 sameAs 2084365280 @default.
- W2084365280 citedByCount "3" @default.
- W2084365280 countsByYear W20843652802018 @default.
- W2084365280 countsByYear W20843652802019 @default.
- W2084365280 countsByYear W20843652802022 @default.
- W2084365280 crossrefType "proceedings-article" @default.
- W2084365280 hasAuthorship W2084365280A5000992663 @default.
- W2084365280 hasAuthorship W2084365280A5019253037 @default.
- W2084365280 hasAuthorship W2084365280A5020592352 @default.
- W2084365280 hasAuthorship W2084365280A5021426516 @default.
- W2084365280 hasConcept C110251889 @default.
- W2084365280 hasConcept C111498074 @default.
- W2084365280 hasConcept C120314980 @default.
- W2084365280 hasConcept C121332964 @default.
- W2084365280 hasConcept C123606473 @default.
- W2084365280 hasConcept C127413603 @default.
- W2084365280 hasConcept C146978453 @default.
- W2084365280 hasConcept C151730666 @default.
- W2084365280 hasConcept C154945302 @default.
- W2084365280 hasConcept C160191386 @default.
- W2084365280 hasConcept C167740415 @default.
- W2084365280 hasConcept C176181172 @default.
- W2084365280 hasConcept C178790620 @default.
- W2084365280 hasConcept C185592680 @default.
- W2084365280 hasConcept C199360897 @default.
- W2084365280 hasConcept C202444582 @default.
- W2084365280 hasConcept C2779343474 @default.
- W2084365280 hasConcept C2779662365 @default.
- W2084365280 hasConcept C2780801425 @default.
- W2084365280 hasConcept C33923547 @default.
- W2084365280 hasConcept C38677869 @default.
- W2084365280 hasConcept C41008148 @default.
- W2084365280 hasConcept C49261128 @default.
- W2084365280 hasConcept C62520636 @default.
- W2084365280 hasConcept C75606506 @default.
- W2084365280 hasConcept C80444323 @default.
- W2084365280 hasConcept C86803240 @default.
- W2084365280 hasConcept C9652623 @default.
- W2084365280 hasConcept C98045186 @default.
- W2084365280 hasConceptScore W2084365280C110251889 @default.
- W2084365280 hasConceptScore W2084365280C111498074 @default.
- W2084365280 hasConceptScore W2084365280C120314980 @default.
- W2084365280 hasConceptScore W2084365280C121332964 @default.
- W2084365280 hasConceptScore W2084365280C123606473 @default.
- W2084365280 hasConceptScore W2084365280C127413603 @default.
- W2084365280 hasConceptScore W2084365280C146978453 @default.
- W2084365280 hasConceptScore W2084365280C151730666 @default.
- W2084365280 hasConceptScore W2084365280C154945302 @default.
- W2084365280 hasConceptScore W2084365280C160191386 @default.
- W2084365280 hasConceptScore W2084365280C167740415 @default.
- W2084365280 hasConceptScore W2084365280C176181172 @default.
- W2084365280 hasConceptScore W2084365280C178790620 @default.
- W2084365280 hasConceptScore W2084365280C185592680 @default.
- W2084365280 hasConceptScore W2084365280C199360897 @default.
- W2084365280 hasConceptScore W2084365280C202444582 @default.
- W2084365280 hasConceptScore W2084365280C2779343474 @default.
- W2084365280 hasConceptScore W2084365280C2779662365 @default.
- W2084365280 hasConceptScore W2084365280C2780801425 @default.
- W2084365280 hasConceptScore W2084365280C33923547 @default.
- W2084365280 hasConceptScore W2084365280C38677869 @default.
- W2084365280 hasConceptScore W2084365280C41008148 @default.
- W2084365280 hasConceptScore W2084365280C49261128 @default.
- W2084365280 hasConceptScore W2084365280C62520636 @default.
- W2084365280 hasConceptScore W2084365280C75606506 @default.
- W2084365280 hasConceptScore W2084365280C80444323 @default.
- W2084365280 hasConceptScore W2084365280C86803240 @default.
- W2084365280 hasConceptScore W2084365280C9652623 @default.
- W2084365280 hasConceptScore W2084365280C98045186 @default.
- W2084365280 hasLocation W20843652801 @default.
- W2084365280 hasOpenAccess W2084365280 @default.
- W2084365280 hasPrimaryLocation W20843652801 @default.
- W2084365280 hasRelatedWork W1502896170 @default.
- W2084365280 hasRelatedWork W1514336744 @default.
- W2084365280 hasRelatedWork W1833056993 @default.
- W2084365280 hasRelatedWork W1871464630 @default.
- W2084365280 hasRelatedWork W206281402 @default.
- W2084365280 hasRelatedWork W2084365280 @default.
- W2084365280 hasRelatedWork W2128218709 @default.