Matches in SemOpenAlex for { <https://semopenalex.org/work/W2797999931> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2797999931 abstract "Reversible computation is an unconventional form of computing where any executed sequence of operations can be executed in reverse at any point during computation. It has recently been attracting increasing attention in various research communities as on the one hand it promises low-power computation and on the other hand it is inherent or of interest in a variety of applications. In this paper, we propose a reversible approach to Petri nets by introducing machinery and associated operational semantics to tackle the challenges of the three main forms of reversibility, namely, backtracking, causal reversing and out-of-causal-order reversing. Our proposal concerns a variation of Petri nets where tokens are persistent and are distinguished from each other by an identity which allows for transitions to be reversed spontaneously in or out of causal order. Our design decisions are influenced by applications in biochemistry but the methodology can be applied to a wide range of problems that feature reversibility. In particular, to demonstrate the applicability of our approach we use an example of a biochemical system and an example of a transaction-processing system both of which naturally embed reversible behaviour." @default.
- W2797999931 created "2018-04-24" @default.
- W2797999931 creator A5061911254 @default.
- W2797999931 creator A5078957431 @default.
- W2797999931 date "2018-04-10" @default.
- W2797999931 modified "2023-09-27" @default.
- W2797999931 title "Reversible Computation in Petri Nets" @default.
- W2797999931 cites W138832829 @default.
- W2797999931 cites W1464356876 @default.
- W2797999931 cites W1497640022 @default.
- W2797999931 cites W1511833631 @default.
- W2797999931 cites W1557052422 @default.
- W2797999931 cites W1596111286 @default.
- W2797999931 cites W169695028 @default.
- W2797999931 cites W1986968087 @default.
- W2797999931 cites W2059141487 @default.
- W2797999931 cites W2068967633 @default.
- W2797999931 cites W2131390887 @default.
- W2797999931 cites W2148570690 @default.
- W2797999931 cites W2170151971 @default.
- W2797999931 cites W2284037492 @default.
- W2797999931 cites W2293751100 @default.
- W2797999931 cites W2341552178 @default.
- W2797999931 cites W2414789439 @default.
- W2797999931 cites W2571587163 @default.
- W2797999931 cites W58532547 @default.
- W2797999931 hasPublicationYear "2018" @default.
- W2797999931 type Work @default.
- W2797999931 sameAs 2797999931 @default.
- W2797999931 citedByCount "0" @default.
- W2797999931 crossrefType "posted-content" @default.
- W2797999931 hasAuthorship W2797999931A5061911254 @default.
- W2797999931 hasAuthorship W2797999931A5078957431 @default.
- W2797999931 hasConcept C120314980 @default.
- W2797999931 hasConcept C121332964 @default.
- W2797999931 hasConcept C127413603 @default.
- W2797999931 hasConcept C136155141 @default.
- W2797999931 hasConcept C136197465 @default.
- W2797999931 hasConcept C154945302 @default.
- W2797999931 hasConcept C156884757 @default.
- W2797999931 hasConcept C171146098 @default.
- W2797999931 hasConcept C184337299 @default.
- W2797999931 hasConcept C199360897 @default.
- W2797999931 hasConcept C24890656 @default.
- W2797999931 hasConcept C2778355321 @default.
- W2797999931 hasConcept C2781085045 @default.
- W2797999931 hasConcept C38677869 @default.
- W2797999931 hasConcept C41008148 @default.
- W2797999931 hasConcept C45374587 @default.
- W2797999931 hasConcept C80444323 @default.
- W2797999931 hasConceptScore W2797999931C120314980 @default.
- W2797999931 hasConceptScore W2797999931C121332964 @default.
- W2797999931 hasConceptScore W2797999931C127413603 @default.
- W2797999931 hasConceptScore W2797999931C136155141 @default.
- W2797999931 hasConceptScore W2797999931C136197465 @default.
- W2797999931 hasConceptScore W2797999931C154945302 @default.
- W2797999931 hasConceptScore W2797999931C156884757 @default.
- W2797999931 hasConceptScore W2797999931C171146098 @default.
- W2797999931 hasConceptScore W2797999931C184337299 @default.
- W2797999931 hasConceptScore W2797999931C199360897 @default.
- W2797999931 hasConceptScore W2797999931C24890656 @default.
- W2797999931 hasConceptScore W2797999931C2778355321 @default.
- W2797999931 hasConceptScore W2797999931C2781085045 @default.
- W2797999931 hasConceptScore W2797999931C38677869 @default.
- W2797999931 hasConceptScore W2797999931C41008148 @default.
- W2797999931 hasConceptScore W2797999931C45374587 @default.
- W2797999931 hasConceptScore W2797999931C80444323 @default.
- W2797999931 hasLocation W27979999311 @default.
- W2797999931 hasOpenAccess W2797999931 @default.
- W2797999931 hasPrimaryLocation W27979999311 @default.
- W2797999931 hasRelatedWork W1516172575 @default.
- W2797999931 hasRelatedWork W1522846680 @default.
- W2797999931 hasRelatedWork W2020588945 @default.
- W2797999931 hasRelatedWork W2037829572 @default.
- W2797999931 hasRelatedWork W2060105961 @default.
- W2797999931 hasRelatedWork W2079420020 @default.
- W2797999931 hasRelatedWork W2130423160 @default.
- W2797999931 hasRelatedWork W2281921707 @default.
- W2797999931 hasRelatedWork W2555941479 @default.
- W2797999931 hasRelatedWork W2734352139 @default.
- W2797999931 hasRelatedWork W2809465996 @default.
- W2797999931 hasRelatedWork W2884732586 @default.
- W2797999931 hasRelatedWork W2963900848 @default.
- W2797999931 hasRelatedWork W3016916883 @default.
- W2797999931 hasRelatedWork W3045278271 @default.
- W2797999931 hasRelatedWork W3175218081 @default.
- W2797999931 hasRelatedWork W3199313806 @default.
- W2797999931 hasRelatedWork W3207721189 @default.
- W2797999931 hasRelatedWork W58532547 @default.
- W2797999931 hasRelatedWork W971450223 @default.
- W2797999931 isParatext "false" @default.
- W2797999931 isRetracted "false" @default.
- W2797999931 magId "2797999931" @default.
- W2797999931 workType "article" @default.