You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Newcastle University » Outputs » Detail

Output details

11 - Computer Science and Informatics

Newcastle University

Return to search Previous output Next output

Output 0 of 0 in the submission

Article title

Regions of Petri nets with a/sync connections

Type

D - Journal article

DOI

10.1016/j.tcs.2012.04.016

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

URL

http://dx.doi.org/10.1016/j.tcs.2012.04.016

Number of additional authors

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

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract