Cart (Loading....) | Create Account
Close category search window
 

Knitting technique and structural matrix for deadlock analysis and synthesis of Petri nets with sequential exclusion

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Chao, D.Y. ; Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA ; Wang, D.T.

Zhou and DiCesare (1991) presented the deadlock-free condition (DFC) of a Petri net (PN) containing sequential mutual exclusion (SME). This paper generalizes the DFC found by Zhou and DiCesare. The structural matrix (S-Matrix) plays an important role in the knitting technique because it is used to record the structural relationship among the processes and thus can be used to detect the violation of the synthetic rules upon a new generation of paths in the PN. To synthesize the SME, the construction of S-Matrix need to be enhanced. This paper also discusses the algorithm to construct the S-Matrix for the use of knitting technique to synthesize PNs with and without SME. An example of this algorithm is given

Published in:

Systems, Man, and Cybernetics, 1994. Humans, Information and Technology., 1994 IEEE International Conference on  (Volume:2 )

Date of Conference:

2-5 Oct 1994

Need Help?


IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.