FRINK Linked Data Fragments server

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

• W2948682255 endingPage "36" @default.
• W2948682255 startingPage "19" @default.
• W2948682255 abstract "Petri Nets are a well-known model of concurrency and provide an ideal setting for the study of fundamental aspects in concurrent systems. Despite their simplicity, they still lack a satisfactory causally reversible semantics. We develop such semantics for Place/Transitions Petri Nets (P/T nets) based on two observations. Firstly, a net that explicitly expresses causality and conflict among events, e.g., an occurrence net, can be straightforwardly reversed by adding reversal for each of its transitions. Secondly, the standard unfolding construction associates a P/T net with an occurrence net that preserves all of its computation. Consequently, the reversible semantics of a P/T net can be obtained as the reversible semantics of its unfolding. We show that such reversible behaviour can be expressed as a finite net whose tokens are coloured by causal histories. Colours in our encoding resemble the causal memories that are typical in reversible process calculi." @default.
• W2948682255 created "2019-06-14" @default.
• W2948682255 creator A5009589984 @default.
• W2948682255 creator A5022494285 @default.
• W2948682255 creator A5075535381 @default.
• W2948682255 date "2019-01-01" @default.
• W2948682255 modified "2023-09-27" @default.
• W2948682255 title "Reversing P/T Nets" @default.
• W2948682255 cites W1464356876 @default.
• W2948682255 cites W1497640022 @default.
• W2948682255 cites W1508383245 @default.
• W2948682255 cites W1987371135 @default.
• W2948682255 cites W1991052229 @default.
• W2948682255 cites W1995845908 @default.
• W2948682255 cites W1999005577 @default.
• W2948682255 cites W2000492932 @default.
• W2948682255 cites W2059141487 @default.
• W2948682255 cites W2087066740 @default.
• W2948682255 cites W2087749569 @default.
• W2948682255 cites W2131390887 @default.
• W2948682255 cites W2170151971 @default.
• W2948682255 cites W2272823372 @default.
• W2948682255 cites W2284037492 @default.
• W2948682255 cites W2414789439 @default.
• W2948682255 cites W2787322743 @default.
• W2948682255 cites W2799377964 @default.
• W2948682255 cites W2883963932 @default.
• W2948682255 cites W2888053017 @default.
• W2948682255 cites W2888125949 @default.
• W2948682255 cites W2888681406 @default.
• W2948682255 cites W2888768890 @default.
• W2948682255 cites W2951122528 @default.
• W2948682255 cites W2963900848 @default.
• W2948682255 cites W2993657370 @default.
• W2948682255 cites W3102146244 @default.
• W2948682255 cites W40444246 @default.
• W2948682255 doi "https://doi.org/10.1007/978-3-030-22397-7_2" @default.
• W2948682255 hasPublicationYear "2019" @default.
• W2948682255 type Work @default.
• W2948682255 sameAs 2948682255 @default.
• W2948682255 citedByCount "9" @default.
• W2948682255 countsByYear W29486822552019 @default.
• W2948682255 countsByYear W29486822552020 @default.
• W2948682255 countsByYear W29486822552021 @default.
• W2948682255 crossrefType "book-chapter" @default.
• W2948682255 hasAuthorship W2948682255A5009589984 @default.
• W2948682255 hasAuthorship W2948682255A5022494285 @default.
• W2948682255 hasAuthorship W2948682255A5075535381 @default.
• W2948682255 hasBestOaLocation W29486822552 @default.
• W2948682255 hasConcept C111472728 @default.
• W2948682255 hasConcept C11413529 @default.
• W2948682255 hasConcept C121332964 @default.
• W2948682255 hasConcept C125411270 @default.
• W2948682255 hasConcept C138885662 @default.
• W2948682255 hasConcept C14166107 @default.
• W2948682255 hasConcept C154945302 @default.
• W2948682255 hasConcept C156325763 @default.
• W2948682255 hasConcept C184337299 @default.
• W2948682255 hasConcept C193702766 @default.
• W2948682255 hasConcept C199360897 @default.
• W2948682255 hasConcept C2524010 @default.
• W2948682255 hasConcept C2776372474 @default.
• W2948682255 hasConcept C2776639384 @default.
• W2948682255 hasConcept C33923547 @default.
• W2948682255 hasConcept C38677869 @default.
• W2948682255 hasConcept C41008148 @default.
• W2948682255 hasConcept C45374587 @default.
• W2948682255 hasConcept C62520636 @default.
• W2948682255 hasConcept C64357122 @default.
• W2948682255 hasConcept C80444323 @default.
• W2948682255 hasConceptScore W2948682255C111472728 @default.
• W2948682255 hasConceptScore W2948682255C11413529 @default.
• W2948682255 hasConceptScore W2948682255C121332964 @default.
• W2948682255 hasConceptScore W2948682255C125411270 @default.
• W2948682255 hasConceptScore W2948682255C138885662 @default.
• W2948682255 hasConceptScore W2948682255C14166107 @default.
• W2948682255 hasConceptScore W2948682255C154945302 @default.
• W2948682255 hasConceptScore W2948682255C156325763 @default.
• W2948682255 hasConceptScore W2948682255C184337299 @default.
• W2948682255 hasConceptScore W2948682255C193702766 @default.
• W2948682255 hasConceptScore W2948682255C199360897 @default.
• W2948682255 hasConceptScore W2948682255C2524010 @default.
• W2948682255 hasConceptScore W2948682255C2776372474 @default.
• W2948682255 hasConceptScore W2948682255C2776639384 @default.
• W2948682255 hasConceptScore W2948682255C33923547 @default.
• W2948682255 hasConceptScore W2948682255C38677869 @default.
• W2948682255 hasConceptScore W2948682255C41008148 @default.
• W2948682255 hasConceptScore W2948682255C45374587 @default.
• W2948682255 hasConceptScore W2948682255C62520636 @default.
• W2948682255 hasConceptScore W2948682255C64357122 @default.
• W2948682255 hasConceptScore W2948682255C80444323 @default.
• W2948682255 hasLocation W29486822551 @default.
• W2948682255 hasLocation W29486822552 @default.
• W2948682255 hasLocation W29486822553 @default.
• W2948682255 hasLocation W29486822554 @default.
• W2948682255 hasLocation W29486822555 @default.
• W2948682255 hasOpenAccess W2948682255 @default.
• W2948682255 hasPrimaryLocation W29486822551 @default.

• next