Property-preserving composition of augmented marked graphs that share common resources

H. J. Huang; L. Jiao; T. Y. Cheung

Property-preserving composition of augmented marked graphs that share common resources

H. J. Huang^*
, L. Jiao
, T. Y. Cheung

^*Corresponding author for this work

City University of Hong Kong
Shaanxi Normal University
Chinese Academy of Sciences

Research output: Contribution to journal › Conference article › peer-review

27 Scopus citations

Abstract

A large automatic system in manufacturing engineering 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 resources. Conditions are provided under which siphons, traps, liveness, boundedness and reversibility of the subsystems are preserved in the composite system.

Original language	English
Pages (from-to)	1446-1451
Number of pages	6
Journal	Proceedings - IEEE International Conference on Robotics and Automation
Volume	1
State	Published - 2003
Externally published	Yes
Event	2003 IEEE International Conference on Robotics and Automation - Taipei, Taiwan, Province of China Duration: 14 Sep 2003 → 19 Sep 2003

Cite this

@article{024684a955f04ad7992ee5410d720412,

title = "Property-preserving composition of augmented marked graphs that share common resources",

abstract = "A large automatic system in manufacturing engineering 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 resources. Conditions are provided under which siphons, traps, liveness, boundedness and reversibility of the subsystems are preserved in the composite system.",

author = "Huang, \{H. J.\} and L. Jiao and Cheung, \{T. Y.\}",

year = "2003",

language = "英语",

volume = "1",

pages = "1446--1451",

journal = "Proceedings - IEEE International Conference on Robotics and Automation",

issn = "1050-4729",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

note = "2003 IEEE International Conference on Robotics and Automation ; Conference date: 14-09-2003 Through 19-09-2003",

}

TY - JOUR

T1 - Property-preserving composition of augmented marked graphs that share common resources

AU - Huang, H. J.

AU - Jiao, L.

AU - Cheung, T. Y.

PY - 2003

Y1 - 2003

N2 - A large automatic system in manufacturing engineering 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 resources. Conditions are provided under which siphons, traps, liveness, boundedness and reversibility of the subsystems are preserved in the composite system.

AB - A large automatic system in manufacturing engineering 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 resources. Conditions are provided under which siphons, traps, liveness, boundedness and reversibility of the subsystems are preserved in the composite system.

UR - https://www.scopus.com/pages/publications/0344013178

M3 - 会议文章

AN - SCOPUS:0344013178

SN - 1050-4729

VL - 1

SP - 1446

EP - 1451

JO - Proceedings - IEEE International Conference on Robotics and Automation

JF - Proceedings - IEEE International Conference on Robotics and Automation

T2 - 2003 IEEE International Conference on Robotics and Automation

Y2 - 14 September 2003 through 19 September 2003

ER -

Property-preserving composition of augmented marked graphs that share common resources

Abstract

Other files and links

Fingerprint

Cite this