By Topic

Liveness analysis of sequence control specifications described in capacity designated Petri net using reduction

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)
Murata, Tomohiro ; Systems Development Laboratory, Kawasaki, Japan ; Komoda, N.

The capacity designated Petri net (CPN), each of its places can have at most designated number of tokens, is a suitable model for describing real systems behavior. Liveness analysis of CPN is important to guarantee that a system described by using CPN is deadlock free. CPN liveness problem can be completely determined by reachability tree analysis, but reachability tree analysis needs a large amount of calculation time in propotion to net size power. In this paper, three reduction rules are proposed, which can be directly applied to the CPN model and preserves the liveness property of original net. The heuristic algorithms for realizing the reduction rules are also proposed and an example of reduction process using these algorithms is demonstrated. These algorithms have been experimentally applied to several CPN models which represent sequence control specifications, and their net sizes have become 1/2 - 1/10 compared with that of original nets.

Published in:

Robotics and Automation. Proceedings. 1987 IEEE International Conference on  (Volume:4 )

Date of Conference:

Mar 1987