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

Volume

1

fYear

2003

fDate

14-19 Sept. 2003

Firstpage

1446

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Robotics and Automation, 2003. Proceedings. ICRA '03. IEEE International Conference on

ISSN

1050-4729

Print_ISBN

0-7803-7736-2

Type

conf

DOI

10.1109/ROBOT.2003.1241795

Filename

1241795