Skip Navigation



The Computer Journal Advance Access published online on September 3, 2009
The Computer Journal, doi:10.1093/comjnl/bxp081
This Article
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Shih, Y.-Y.
Right arrow Articles by Chao, D.
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

© The Author 2009. Published by Oxford University Press on behalf of The British Computer Society. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

Sequence of Control in S3PMR

Yu-Ying Shih1,2 and Daniel Chao3,*

1 Department of Information Management, National Taipei College of Business, Taipei, ROC
2 Department of Graduate Institute of Industrial and Business Management, National Taipei University of Technology, Taipei, ROC
3 Department of MIS, National Cheng Chi University, Taipei, ROC

* Corresponding author: yaw{at}mis.nccu.edu.tw, du2004tw{at}yahoo.com

Received 26 January 2009; revised 29 July 2009

Huang et al. propose a more permissive siphon-based algorithm for deadlock prevention of a subclass of Petri nets, S3PMR. It iteratively (based on a mixed integer programming (MIP) technique) adds two kinds of control places called ordinary control (OC) places and weighted control (WC) places to the original model to prevent siphons from becoming unmarked. Numerical experiments indicate that the proposed policy appears to be more permissive than closely related approaches in the literature. The presence of WC renders the net a generalized Petri net, which is harder to analyze, and it is unclear how the above traditional MIP must be modified. We show that all monitors with WC places in all cases presented are redundant and can be removed while maintaining the maximal number of good states. We also (1) show that OC places and WC places are associated with resource and mixture siphons, respectively; (2) identify the condition and examples for a WC places to be redundant; (3) explore different types of problematic siphons; and (4) identify the correct sequence of adding monitors to avoid redundant monitors.

Key Words: Petri nets • siphons • deadlock prevention

Handling editor: Jane Hillston


Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?




Disclaimer: Please note that abstracts for content published before 1996 were created through digital scanning and may therefore not exactly replicate the text of the original print issues. All efforts have been made to ensure accuracy, but the Publisher will not be held responsible for any remaining inaccuracies. If you require any further clarification, please contact our Customer Services Department.