Skip Navigation

The Computer Journal 1994 37(1):67-76; doi:10.1093/comjnl/37.1.67
© 1994 by British Computer Society
This Article
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Similar articles in ISI Web of Science
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrow Search for citing articles in:
ISI Web of Science (4)
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Chao, D. Y.
Right arrow Articles by Wang, D. T.
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

Extending the Knitting Technique to Petri Net Synthesis of Automated Manufacturing Systems

D. Y. Chao *, M.C. Zhou1 § and D. T. Wang

1 Department of Electrical & Computer Engineering, Center for Manufacturing Systems, New Jersey Institute of Technology, Newark, NJ 07102, USA, 2 Computer &; Information Science Department, Institute for Integrated Systems Research

The modelling or synthesis of ordinary Petri nets has been recognized as a key step for applying Petri nets to performance analysis, control and simulation of industrial production systems. This paper addresses this synthesis problem by adopting a global and incremental synthesis approach: the knitting technique for manufacturing systems. The knitting technique has been applied to Petri net modelling and analysis of communication networks. The idea behind this technique is to introduce details in an incremental way, i.e. by adding new paths and/or cycles to a Petri net. At each step the Petri net model grows according to certain rules which will guarantee such system properties as boundedness, liveness and reversibility. Thus the cumbersome analysis for these properties can be avoided while designers can still build up a Petri net model for a complicated system. The knitting rules are divided into two types: TT and PP with a number of variations. This paper formulates and discusses these rules in the context of manufacturing. The theoretical results on the preservation of system properties using the proposed rules are presented. The results are illustrated through Petri net modelling of an automated manufacturing system which consists of two robots, five machines and two automatic guided vehicles. This approach is compared with other existing synthesis and its distinguishing advantages are indicated in the conclusion. Future research along this direction is also discussed.


* D. Y. Chao published papers prior to 1990 under the name Y. Yaw.

§ Department of Electrical & Computer Engineering, Center for Manufacturing Systems, New Jersey Institute of Technology, Newark, NJ 07102, USA

Computer &; Information Science Department, Institute for Integrated Systems Research


Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?




Disclaimer:
Please note that abstracts for content published before 1996 were created through digital scanning and may therefore not exactly replicate the text of the original print issues. All efforts have been made to ensure accuracy, but the Publisher will not be held responsible for any remaining inaccuracies. If you require any further clarification, please contact our Customer Services Department.