By Topic

A synthesis method for Petri net modeling of automated manufacturing systems with shared resources

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
$33 $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)
M. D. Jeng ; Dept. of Electr.-Comput. & Syst. Eng., Rensselaer Polytech. Inst., Troy, NY, USA ; F. DiCesare

A general approach to synthesizing a class of Petri nets that model shared-resource automated manufacturing systems is proposed. The approach imposes minimal restrictions on the interactions among the subsystems initially so that the modeler is given more freedom. To modularize the synthesis procedure, a shared-resource system is formulated as the processes, i.e., the subsystems, that control the system resources and the interactions among the processes. For modeling the processes, resource control nets are defined as the generic modules. The system model is built by merging these modules through their common transitions and common transition subnets, which denote the interactions among the processes. The merged net is proved to be conservative and thus bounded. An algorithm is also developed for checking two sufficient conditions for structural liveness of the net. This algorithm examines only the net's structure, and appears to be more efficient than state enumeration techniques such as the reachability graph method

Published in:

Decision and Control, 1992., Proceedings of the 31st IEEE Conference on

Date of Conference: