Output details
11 - Computer Science and Informatics
Newcastle University
Return to search
Output 0 of 0 in the submission
Article title
Regions of Petri nets with a/sync connections
Type
D - Journal article
Title of journal
Theoretical Computer Science
Article number
-
Volume number
454
Issue number
-
First page of article
189
ISSN of journal
0304-3975
Year of publication
2012
Number of additional authors
2
Additional information
<10> The work reported in this article was undertaken as part of the EPSRC award "VERDAD: Verification-Driven Asynchronous Design (EP/G037809/1)". The article presents the first solution to the synthesis problem for the recently introduced class of Petri nets that support flexible modelling of synchronous and asynchronous behaviours. This work led to invited talks at DESSERT’12 and MeCBIC’12.
Interdisciplinary
-
Cross-referral requested
-
Research group
B - Concurrent Asynchronous Systems
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-