FRINK Linked Data Fragments server

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

• W2809561657 abstract "In this work, we show how time constraints can be specified with WED-flow – an alternative process modeling approach characterized as being transactional, event-based, and data-driven – and address the challenge of mapping processes modeled with WED-flow into colored Petri net structures. First, we show how time constraints can be specified with WED-flow. Although the correctness of so-called time-critical processes depends on the time their activities are performed, WED-flow has not been used for specifying time constraints up to now. As a concrete example, we specify a time constraint of SISAUT: a real-time system built using WED-flow techniques and tools that coordinates interacting parallel processes to collect and process materials from autopsies for research projects while questionnaires and consent forms are being filled out. We then address the challenge of mapping processes modeled with WED-flow into colored Petri net structures. We also show how to describe the temporal behavior of time-critical processes with time Petri nets. Therefore, we become able to reason about the functional (e.g., decide whether a certain state is definitely reached) and temporal (e.g., decide whether a deadline can be met) behaviors of instances of those processes through existing tools and methods of analysis. In SISAUT, for instance, timeliness is critical to success: the processing of collected materials must not take longer than 24 h from the declared time of death of the deceased. Up to now, the timeliness verification of SISAUT cases has been done manually, in an ad hoc manner. Thus, we present a method to automatically calculate the minimum time it takes to process the collected materials of a given SISAUT case through the analysis of an equivalent time colored Petri net." @default.
• W2809561657 created "2018-06-29" @default.
• W2809561657 creator A5008405795 @default.
• W2809561657 creator A5020514100 @default.
• W2809561657 creator A5024135237 @default.
• W2809561657 creator A5072805796 @default.
• W2809561657 creator A5081442372 @default.
• W2809561657 creator A5087726295 @default.
• W2809561657 date "2018-01-01" @default.
• W2809561657 modified "2023-09-22" @default.
• W2809561657 title "Modeling Time-Critical Processes with WED-Flow" @default.
• W2809561657 cites W146674755 @default.
• W2809561657 cites W1826622293 @default.
• W2809561657 cites W1972633463 @default.
• W2809561657 cites W1996109622 @default.
• W2809561657 cites W2011639698 @default.
• W2809561657 cites W2034987010 @default.
• W2809561657 cites W2056716940 @default.
• W2809561657 cites W2131407845 @default.
• W2809561657 cites W2162868766 @default.
• W2809561657 cites W2621271156 @default.
• W2809561657 cites W2703727338 @default.
• W2809561657 cites W2735828331 @default.
• W2809561657 cites W2775596846 @default.
• W2809561657 cites W3028549128 @default.
• W2809561657 cites W4243171016 @default.
• W2809561657 doi "https://doi.org/10.1007/978-3-319-94289-6_3" @default.
• W2809561657 hasPublicationYear "2018" @default.
• W2809561657 type Work @default.
• W2809561657 sameAs 2809561657 @default.
• W2809561657 citedByCount "0" @default.
• W2809561657 crossrefType "book-chapter" @default.
• W2809561657 hasAuthorship W2809561657A5008405795 @default.
• W2809561657 hasAuthorship W2809561657A5020514100 @default.
• W2809561657 hasAuthorship W2809561657A5024135237 @default.
• W2809561657 hasAuthorship W2809561657A5072805796 @default.
• W2809561657 hasAuthorship W2809561657A5081442372 @default.
• W2809561657 hasAuthorship W2809561657A5087726295 @default.
• W2809561657 hasConcept C120314980 @default.
• W2809561657 hasConcept C121332964 @default.
• W2809561657 hasConcept C127413603 @default.
• W2809561657 hasConcept C136155141 @default.
• W2809561657 hasConcept C15569618 @default.
• W2809561657 hasConcept C17744445 @default.
• W2809561657 hasConcept C199360897 @default.
• W2809561657 hasConcept C199539241 @default.
• W2809561657 hasConcept C2524010 @default.
• W2809561657 hasConcept C2775907273 @default.
• W2809561657 hasConcept C2776036281 @default.
• W2809561657 hasConcept C2779662365 @default.
• W2809561657 hasConcept C33923547 @default.
• W2809561657 hasConcept C38349280 @default.
• W2809561657 hasConcept C38677869 @default.
• W2809561657 hasConcept C41008148 @default.
• W2809561657 hasConcept C489000 @default.
• W2809561657 hasConcept C55439883 @default.
• W2809561657 hasConcept C62520636 @default.
• W2809561657 hasConcept C77088390 @default.
• W2809561657 hasConcept C78519656 @default.
• W2809561657 hasConcept C80444323 @default.
• W2809561657 hasConcept C98045186 @default.
• W2809561657 hasConceptScore W2809561657C120314980 @default.
• W2809561657 hasConceptScore W2809561657C121332964 @default.
• W2809561657 hasConceptScore W2809561657C127413603 @default.
• W2809561657 hasConceptScore W2809561657C136155141 @default.
• W2809561657 hasConceptScore W2809561657C15569618 @default.
• W2809561657 hasConceptScore W2809561657C17744445 @default.
• W2809561657 hasConceptScore W2809561657C199360897 @default.
• W2809561657 hasConceptScore W2809561657C199539241 @default.
• W2809561657 hasConceptScore W2809561657C2524010 @default.
• W2809561657 hasConceptScore W2809561657C2775907273 @default.
• W2809561657 hasConceptScore W2809561657C2776036281 @default.
• W2809561657 hasConceptScore W2809561657C2779662365 @default.
• W2809561657 hasConceptScore W2809561657C33923547 @default.
• W2809561657 hasConceptScore W2809561657C38349280 @default.
• W2809561657 hasConceptScore W2809561657C38677869 @default.
• W2809561657 hasConceptScore W2809561657C41008148 @default.
• W2809561657 hasConceptScore W2809561657C489000 @default.
• W2809561657 hasConceptScore W2809561657C55439883 @default.
• W2809561657 hasConceptScore W2809561657C62520636 @default.
• W2809561657 hasConceptScore W2809561657C77088390 @default.
• W2809561657 hasConceptScore W2809561657C78519656 @default.
• W2809561657 hasConceptScore W2809561657C80444323 @default.
• W2809561657 hasConceptScore W2809561657C98045186 @default.
• W2809561657 hasLocation W28095616571 @default.
• W2809561657 hasOpenAccess W2809561657 @default.
• W2809561657 hasPrimaryLocation W28095616571 @default.
• W2809561657 hasRelatedWork W105732303 @default.
• W2809561657 hasRelatedWork W106347463 @default.
• W2809561657 hasRelatedWork W110612528 @default.
• W2809561657 hasRelatedWork W1592314966 @default.
• W2809561657 hasRelatedWork W1874131803 @default.
• W2809561657 hasRelatedWork W1952732242 @default.
• W2809561657 hasRelatedWork W1974446124 @default.
• W2809561657 hasRelatedWork W2037829572 @default.
• W2809561657 hasRelatedWork W2047055270 @default.
• W2809561657 hasRelatedWork W2059883901 @default.
• W2809561657 hasRelatedWork W2202657245 @default.
• W2809561657 hasRelatedWork W2398966787 @default.
• W2809561657 hasRelatedWork W2407427225 @default.

• next