This paper presents the specification and implementation procedure using a microcomputer network based autonomous distributed control architecture for industrial multirobot systems. The procedure is based on the concept of data flow network controlled by communicating sequential processes to perform coordinated tasks. Robots and other computerized industrial devices such as conveyors and manufacturing machines are defined as object-oriented Petri nets. A modular and hierarchical approach is adopted to define a set of Petri net type diagrams which represent concurrent activities of control processes for such devices. Asynchronous and synchronous interactions are modelled by places and transitions, respectively, in global process interaction nets. The control software is implemented on a computer network using Inmos transputers with true parallel processing and message passing primitives efficiently handled in hardware. Petri net based models are directly and efficiently transformed to corresponding codes in occam, the high level parallel programming language defined for the transputer.
[1]
Gen'ichi Yasuda,et al.
A parallel distributed control architecture for multiple robot systems using a network of microcomputers
,
1994
.
[2]
C. A. R. Hoare,et al.
Communicating Sequential Processes (Reprint)
,
1983,
Commun. ACM.
[3]
Aleš Mičovský,et al.
TORA: a petri net based tool for rapid prototyping of FMS control systems and its application to assembly
,
1991
.
[4]
P. R. Muro-Medrano,et al.
Petri Nets in a Knowledge Representation Schema for the Coordination of Plant Elements
,
1992
.
[5]
Andrew M. Tyrrell,et al.
Design of reliable software in distributed systems using the conversation scheme
,
1986,
IEEE Transactions on Software Engineering.