Output details
11 - Computer Science and Informatics
Imperial College London
Return to search
Output 0 of 0 in the submission
Article title
Methodological construction of product-form stochastic Petri nets for performance evaluation
Type
D - Journal article
Title of journal
Journal of Systems and Software
Article number
-
Volume number
85
Issue number
7
First page of article
1520
ISSN of journal
0164-1212
Year of publication
2012
URL
-
Number of additional authors
2
Additional information
<13> Defines and illustrates a methodology for finding product-forms in a significant, hierarchcical class of Petri-nets, a problem which has hitherto only been solved by direct non-constructive methods. The key advance is that the method is incremental and can be mechanised in software. It is joint with coauthors from Universita Ca'Foscari Venice, and has led to the EPSRC funded project APROPOS -- Approximate product-forms and reversed processes for performance analysis (EP/I030921/1).
Interdisciplinary
-
Cross-referral requested
-
Research group
D - Quantitative Analysis and Decision Science
Citation count
7
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
