By Topic

Property-preserving composition of augmented marked graphs that share common 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.

The purchase and pricing options are temporarily unavailable. Please try again later.
3 Author(s)
H. J. Huang ; Dept. of Comput. Sci., City Univ. of Hong Kong, Hong Kong, China ; L. Jiao ; T. Y. Cheung

A large automatic system in manufacturing is usually composed of a set of subsystems sharing the usage of some resources. It is a major design issue to prove the liveness, boundedness and reversibility of the composite system. In this paper, the subsystems are modeled as augmented marked graphs. These augmented marked graphs are then composed into a composite system by merging those places representing the same sources. Conditions are provided under which siphons, traps, liveness, boundedness and reversibility of the subsystems are preserved in the composite system.

Published in:

Robotics and Automation, 2003. Proceedings. ICRA '03. IEEE International Conference on  (Volume:1 )

Date of Conference:

14-19 Sept. 2003