Petri net analysis of a transfer-line protocol

Petri nets are applied to the bottom-up design of a handshaking protocol for transferring parts through a sequence of workstations. The authors illustrate the application of Petri-net theory to verify properties of the complete system behavior based on the structure of the Petri-net model. It is sho...

Full description

Saved in:
Bibliographic Details
Published in[1990] Proceedings. Rensselaer's Second International Conference on Computer Integrated Manufacturing pp. 186 - 192
Main Authors Krogh, B.H., Genter, W.L.
Format Conference Proceeding
LanguageEnglish
Published IEEE Comput. Soc. Press 1990
Subjects
Algorithm design and analysis
Communication system control
Computational modeling
Computer aided manufacturing
Petri nets
Power system modeling
Protocols
System performance
Virtual manufacturing
Workstations
Online AccessGet full text

Cover

More Information
Summary:Petri nets are applied to the bottom-up design of a handshaking protocol for transferring parts through a sequence of workstations. The authors illustrate the application of Petri-net theory to verify properties of the complete system behavior based on the structure of the Petri-net model. It is shown that communication between local controllers is modeled by places corresponding to upstream and downstream messages. Consistency in the interconnection of the subsystem models is guaranteed by the identification of these communication places. To analyze the properties of the complete system, results on liveness and place invariants for Petri nets are applied to the Petri-net model.< >
ISBN:9780818619663
081861966X
DOI:10.1109/CIM.1990.128095