A Case Study in Design and Verification of Manufacturing System Control Software with Hierarchical Petri Nets

M. Heiner; P. Deussen; J. Spranger

doi:10.1007/s001700050051

A Case Study in Design and Verification of Manufacturing System Control Software with Hierarchical Petri Nets

The International Journal of Advanced Manufacturing Technology ◽

10.1007/s001700050051 ◽

1999 ◽

Vol 15 (2) ◽

pp. 139-152 ◽

Cited By ~ 8

Author(s):

M. Heiner ◽

P. Deussen ◽

J. Spranger

Keyword(s):

Petri Nets ◽

Manufacturing System ◽

System Control ◽

Control Software ◽

Manufacturing System Control

Download Full-text

A software environment for flexible manufacturing system control software testing

Proceedings of the Institution of Mechanical Engineers Part B Journal of Engineering Manufacture ◽

10.1243/0954405011515415 ◽

2001 ◽

Vol 215 (3) ◽

pp. 339-352 ◽

Cited By ~ 1

Author(s):

Z M Bi ◽

W J Zhang ◽

Q Li

Keyword(s):

Software Testing ◽

Flexible Manufacturing ◽

Manufacturing System ◽

Flexible Manufacturing System ◽

System Control ◽

Control Software ◽

Software Environment ◽

Manufacturing System Control

Download Full-text

Design of integrated manufacturing system control software

IEEE Transactions on Systems Man and Cybernetics ◽

10.1109/tsmc.1987.6499301 ◽

1987 ◽

Vol 17 (6) ◽

pp. 881-897 ◽

Cited By ~ 61

Author(s):

Arch W. Naylor ◽

Richard A. Volz

Keyword(s):

Manufacturing System ◽

System Control ◽

Control Software ◽

Integrated Manufacturing ◽

Manufacturing System Control

Download Full-text

Decomposition in automatic generation of Petri nets for manufacturing system control and scheduling

International Journal of Production Research ◽

10.1080/002075400188942 ◽

2000 ◽

Vol 38 (6) ◽

pp. 1437-1457 ◽

Cited By ~ 26

Author(s):

D. W. He ◽

B. Strege ◽

H. Tolle ◽

A. Kusiak

Keyword(s):

Petri Nets ◽

Manufacturing System ◽

Automatic Generation ◽

System Control ◽

Manufacturing System Control

Download Full-text

Manufacturing system control with Petri nets in cellular manufacturing systems

Microelectronics Reliability ◽

10.1016/0026-2714(91)90114-m ◽

1991 ◽

Vol 31 (5) ◽

pp. 1046

Keyword(s):

Petri Nets ◽

Manufacturing Systems ◽

Manufacturing System ◽

Cellular Manufacturing ◽

System Control ◽

Cellular Manufacturing Systems ◽

Manufacturing System Control

Download Full-text

Manufacturing system control with Petri nets in cellular manufacturing systems

Computers & Industrial Engineering ◽

10.1016/0360-8352(90)90095-4 ◽

1990 ◽

Vol 19 (1-4) ◽

pp. 150-154 ◽

Cited By ~ 1

Author(s):

Shen-Hsien (Gary) Teng ◽

J.T. Black

Keyword(s):

Petri Nets ◽

Manufacturing Systems ◽

Manufacturing System ◽

Cellular Manufacturing ◽

System Control ◽

Cellular Manufacturing Systems ◽

Manufacturing System Control

Download Full-text

A Model Driven Approach to Engineering of Flexible Manufacturing System Control Software

Model Driven Architecture – Foundations and Applications - Lecture Notes in Computer Science ◽

10.1007/11787044_6 ◽

2006 ◽

pp. 66-77 ◽

Cited By ~ 3

Author(s):

Christian Brecher ◽

Tilman Buchner ◽

Yong Cheng ◽

Matthias Jarke ◽

Dominik Schmitz

Keyword(s):

Flexible Manufacturing ◽

Manufacturing System ◽

Flexible Manufacturing System ◽

System Control ◽

Control Software ◽

Model Driven ◽

Manufacturing System Control ◽

Model Driven Approach

Download Full-text

A hybrid PC/PLC architecture for manufacturing system control-implementation

SMC 2000 Conference Proceedings. 2000 IEEE International Conference on Systems, Man and Cybernetics. 'Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions' (Cat. No.00CH37166) ◽

10.1109/icsmc.2000.886352 ◽

2002 ◽

Cited By ~ 3

Author(s):

A. Ramirez-Serrano ◽

S.C. Zhu ◽

S.K.H. Chan ◽

S.S.W. Chan ◽

B. Benhabib

Keyword(s):

Manufacturing System ◽

System Control ◽

Manufacturing System Control ◽

Control Implementation

Download Full-text

Intelligent manufacturing system control: reference model and initial implementation

Proceedings of 35th IEEE Conference on Decision and Control ◽

10.1109/cdc.1996.572814 ◽

2002 ◽

Author(s):

Hui-Min Huang

Keyword(s):

Manufacturing System ◽

Reference Model ◽

Intelligent Manufacturing ◽

System Control ◽

Intelligent Manufacturing System ◽

Initial Implementation ◽

Manufacturing System Control

Download Full-text

The emergence of artificial intelligence applications in manufacturing system control

10.1109/robot.1986.1087598 ◽

2005 ◽

Cited By ~ 1

Author(s):

R. Ippolito ◽

S. Rossetto ◽

M. Vallauri ◽

A. Villa

Keyword(s):

Artificial Intelligence ◽

Manufacturing System ◽

System Control ◽

Manufacturing System Control

Download Full-text

A method for design and valuation of manufacturing system control architecture

1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century ◽

10.1109/icsmc.1995.538501 ◽

2002 ◽

Author(s):

B. Denis ◽

J.-J. Lesage

Keyword(s):

Manufacturing System ◽

Control Architecture ◽

System Control ◽

Manufacturing System Control

Download Full-text