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

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 1, Issue , 2003, Pages 1446-1451

  Huang, H J ^a,b   Jiao, L ^a,c   Cheung, T Y ^a  

^a CITY UNIVERSITY OF HONG KONG   (Hong Kong)

^b SHAANXI NORMAL UNIVERSITY   (China)

^c INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY; MATHEMATICAL MODELS; OPERATIONS RESEARCH; RESOURCE ALLOCATION; SYSTEMS ANALYSIS;

AUGMENTED MARKED GRAPHS; PROPERTY-RESERVING COMPOSITION; RESOURCE SHARING;

FACTORY AUTOMATION;

EID: 0344013178     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (6)

1. T. Agerwala and Y. Choed-Amphai, "A synthesis rule for concurrent systems", in Proceedings of 15th Design Automation Conference, Las Vegas, June 1978, pp. 305-311.
2. K. S. Cheung, Use-case-driven system design: A synthesis methodology based on labelled Petri nets, PhD thesis, City University of Hong Kong, 2002.
3. Feng Chu and Xiao-Lan Xie, "Deadlock analysis of Petri nets using siophons and mathematical programming", IEEE Transaction on Robotics and Automation vol. 13, no.6, 1997, pp. 793-799.
4. J. Desel, "Place/Transition Petri nets", Lecture Notes in Computer Science, vol. 1491, 1998, pp. 122-173.
5. Y. Narahari and N. Viswandham, "A Petri net approach to the modeling and analysis of flexible manufacturing systems", Annals of Operations Research 3, 1995, pp. 449-472.
6. Meng Chu Zhou and Frank DiCesare, Petri Net Synthesis for Descrete Event Control of Manufacturing Systems. Kluwer Academic Publishers, 1993.