Adding a/sync Places to the Synthesis Procedure for Whole-place Operations Nets with Localities
- Submitting institution
-
University of Newcastle upon Tyne
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 243552-83499-1292
- Type
- D - Journal article
- DOI
-
10.7561/SACS.2017.2.177
- Title of journal
- Scientific Annals of Computer Science
- Article number
- -
- First page
- 177
- Volume
- XXVII
- Issue
- 2
- ISSN
- 1843-8121
- Open access status
- Compliant
- Month of publication
- December
- Year of publication
- 2017
- URL
-
http://www.info.uaic.ro/bin/Annals/Article?v=XXVII2&a=2
- 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
-
2
- Research group(s)
-
A - Advanced Model-Based Engineering and Reasoning (AMBER)
- Citation count
- 0
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper was invited for journal publication after being presented at the 13th International Colloquium on Theoretical Aspects of Computing (ICTAC) 2016. It introduces a new class of Petri nets with action localities capable to model: backward non-deterministic behaviour, locally maximal execution of actions, and the instantaneous transfer of resources between actions involved in the same concurrent step. The main challenge of the paper was to adapt and extend the procedure for synthesising nets from step transition systems to this class of nets.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -