Reversible computation vs. reversibility in Petri nets
- Submitting institution
-
University of Newcastle upon Tyne
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 243719-84859-1292
- Type
- D - Journal article
- DOI
-
10.1016/j.scico.2017.10.008
- Title of journal
- Science of Computer Programming
- Article number
- -
- First page
- 48
- Volume
- 151
- Issue
- -
- ISSN
- 0167-6423
- Open access status
- Not compliant
- Month of publication
- November
- Year of publication
- 2017
- URL
-
https://doi.org/10.1016/j.scico.2017.10.008
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
3
- Research group(s)
-
A - Advanced Model-Based Engineering and Reasoning (AMBER)
- Citation count
- 7
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper presents a novel study of reversible computation (fundamental for several software and hardware areas of computing) within Petri nets (an established model of concurrent computation). It addresses the decidability of problems related to state reachability in nets with added reverses. The paper - selected for a special issue of SCP - extends and completes one of the best papers presented at 8th Conference on Reversible Computation (RC2016). The result it contains form a set of major outcomes obtained within the EU COST Action IC1405 on Reversible Computation.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -