Title :
Property-preserving composition of augmented marked graphs that share common resources
Author :
Huang, H.J. ; Jiao, L. ; Cheung, T.Y.
Author_Institution :
Dept. of Comput. Sci., City Univ. of Hong Kong, Hong Kong, China
Abstract :
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.
Keywords :
Petri nets; large-scale systems; manufacturing systems; production engineering; augmented marked graphs; composite system reversibility; manufacturing automatic system; property-preserving composition; resource sharing; subsystem sharing; Computer aided manufacturing; Computer science; Interconnected systems; Manufacturing automation; Manufacturing processes; Mathematics; Merging; Resource management; Robots; Systems engineering and theory;
Conference_Titel :
Robotics and Automation, 2003. Proceedings. ICRA '03. IEEE International Conference on
Print_ISBN :
0-7803-7736-2
DOI :
10.1109/ROBOT.2003.1241795
