Reversing Place Transition Nets
- Submitting institution
-
The University of Leicester
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 2393
- Type
- D - Journal article
- DOI
-
10.23638/LMCS-16(4:5)2020
- Title of journal
- Logical Methods in Computer Science
- Article number
- 5
- First page
- 5:1
- Volume
- 16
- Issue
- 4
- ISSN
- 1860-5974
- Open access status
- Exception within 3 months of publication
- Month of publication
- October
- Year of publication
- 2020
- URL
-
-
- Supplementary information
-
https://doi.org/10.23638/LMCS-16(4:5)2020
- 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
-
2
- Research group(s)
-
-
- Citation count
- 0
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Until recently reversible models could not express adequately spatial properties of distributed systems such as wireless communication networks. Previous attempts to reverse Petri nets, which represent space very well, provided only partial solutions. It proposes the first causally-consistent reversible semantics of P/T nets, which shows how to reverse Petri nets. This semantics is one of the main theoretical achievements of COST Action on Reversible Computation. It inspired research on reversing cyclic nets (Philippou, Psara: RC2018, JLAMP2021), reversing steps (Frutos Escrig at al: FundamentaInformaticae2020), dependencies in event structures (Pinna: Coordination2020), and antenna selection in Massive MIMO (Siljak et al: IEEE WirelessCommLetters2019).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -