By Topic

Synthesis using resource control nets for modeling shared-resource systems

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)
Mu Der Jeng ; Dept. of Electr. Eng., Nat. Taiwan Ocean Univ., Keelung, Taiwan ; F. DiCesare

This paper proposes a general approach to synthesize a class of Petri nets that model shared-resource automated manufacturing systems. The approach imposes minimal restrictions on the interactions among subsystems initially so that the modeler is given significant freedom. To modularize the synthesis procedure, a shared-resource system is formulated from 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 basic generic modules. Then, 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 proven to be conservative and thus bounded. An algorithm is also developed to check 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:

IEEE Transactions on Robotics and Automation  (Volume:11 ,  Issue: 3 )