Output details
11 - Computer Science and Informatics
Newcastle University
Return to search
Output 0 of 0 in the submission
Article title
Synthesis of Elementary Net Systems with Context Arcs and Localities
Type
D - Journal article
DOI
-
Title of journal
Fundamenta Informaticae
Article number
-
Volume number
88
Issue number
3
First page of article
307
ISSN of journal
1875-8681
Year of publication
2008
Number of additional authors
1
Additional information
<10> This article forms part of a larger body of work (partly represented by 2 of the 4 papers in this submission) that led to the EPSRC award “GAELS: Globally Asynchronous Elastic Logic Synthesis” (EP/I038551). The article solved for the first time the synthesis problem for Petri nets with localities and activator/inhibitor arcs, showing that the previous region based-techniques were inadequate for this class of nets (relevant for ambient/biological/VLSI systems). This article was invited for journal publication as one of best papers of ICATPN'07.
Interdisciplinary
-
Cross-referral requested
-
Research group
B - Concurrent Asynchronous Systems
Citation count
6
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-