Direct Construction of Complete Merged Processes
- Submitting institution
-
University of Newcastle upon Tyne
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 193110-80856-1292
- Type
- D - Journal article
- DOI
-
10.1093/comjnl/bxt014
- Title of journal
- The Computer Journal
- Article number
- -
- First page
- 693
- Volume
- 57
- Issue
- 5
- ISSN
- 0010-4620
- Open access status
- Compliant
- Month of publication
- May
- Year of publication
- 2014
- URL
-
http://dx.doi.org/10.1093/comjnl/bxt014
- 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
-
1
- Research group(s)
-
A - Advanced Model-Based Engineering and Reasoning (AMBER)
- Citation count
- 1
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- A ground-breaking paper that overcame the main hurdle in model checking based on complete merged processes of Petri nets – a very compact representation of reachable states – and made it practical by avoiding an exponential blow-up. The proposed algorithm was implemented in PUNF tool which is part of Workcraft toolset – the basis of “Efficient Power Management in Consumer Electronics” ICS. The algorithm can be efficiently parallelised on shared memory and distributed architectures, and was an important outcome of EPSRC projects EP/G037809/1 and EP/K001698/1.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -