Application of Petri Nets to Sequence Control

Yoichi NAGAO; Hironobu URABE; Shinichi NAKANO; Sadatoshi KUMAGAI

Application of Petri Nets to Sequence Control

Yoichi NAGAO, Hironobu URABE, Shinichi NAKANO, Sadatoshi KUMAGAI

Full Text Views

0

Share
Cite this

Summary :

We describe K-NET, a support system for development of sequence control programs. The K-NET description model is based on the colored Petri net and timed Petri net. K-NET concisely expresses sequence control flow including synchronization, interlock and concurrence, and provides high-level data processing by being combined with a conventional procedural language. K-NET has an editor, simulator, generator, reporter and monitor to support the control program development procedure ranging from basic and detail design to programming and testing. We have added a new function to K-NET so it assists development of control programs for programmable controllers, and have applied it to an automatic bolt supplying system. The operation results are satisfactory.

Publication: IEICE TRANSACTIONS on Fundamentals Vol.E76-A No.10 pp.1598-1606

Publication Date: 1993/10/25

Publicized

Online ISSN

DOI

Type of Manuscript: Special Section PAPER (Special Section on Nets-Oriented Software Specification and Design)

Category

Cite this

Copy

Yoichi NAGAO, Hironobu URABE, Shinichi NAKANO, Sadatoshi KUMAGAI, "Application of Petri Nets to Sequence Control" in IEICE TRANSACTIONS on Fundamentals, vol. E76-A, no. 10, pp. 1598-1606, October 1993, doi: .
Abstract: We describe K-NET, a support system for development of sequence control programs. The K-NET description model is based on the colored Petri net and timed Petri net. K-NET concisely expresses sequence control flow including synchronization, interlock and concurrence, and provides high-level data processing by being combined with a conventional procedural language. K-NET has an editor, simulator, generator, reporter and monitor to support the control program development procedure ranging from basic and detail design to programming and testing. We have added a new function to K-NET so it assists development of control programs for programmable controllers, and have applied it to an automatic bolt supplying system. The operation results are satisfactory.
URL: https://globals.ieice.org/en_transactions/fundamentals/10.1587/e76-a_10_1598/_p

Copy

@ARTICLE{e76-a_10_1598,
author={Yoichi NAGAO, Hironobu URABE, Shinichi NAKANO, Sadatoshi KUMAGAI, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Application of Petri Nets to Sequence Control},
year={1993},
volume={E76-A},
number={10},
pages={1598-1606},
abstract={We describe K-NET, a support system for development of sequence control programs. The K-NET description model is based on the colored Petri net and timed Petri net. K-NET concisely expresses sequence control flow including synchronization, interlock and concurrence, and provides high-level data processing by being combined with a conventional procedural language. K-NET has an editor, simulator, generator, reporter and monitor to support the control program development procedure ranging from basic and detail design to programming and testing. We have added a new function to K-NET so it assists development of control programs for programmable controllers, and have applied it to an automatic bolt supplying system. The operation results are satisfactory.},
keywords={},
doi={},
ISSN={},
month={October},}

Copy

TY - JOUR
TI - Application of Petri Nets to Sequence Control
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 1598
EP - 1606
AU - Yoichi NAGAO
AU - Hironobu URABE
AU - Shinichi NAKANO
AU - Sadatoshi KUMAGAI
PY - 1993
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E76-A
IS - 10
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - October 1993
AB - We describe K-NET, a support system for development of sequence control programs. The K-NET description model is based on the colored Petri net and timed Petri net. K-NET concisely expresses sequence control flow including synchronization, interlock and concurrence, and provides high-level data processing by being combined with a conventional procedural language. K-NET has an editor, simulator, generator, reporter and monitor to support the control program development procedure ranging from basic and detail design to programming and testing. We have added a new function to K-NET so it assists development of control programs for programmable controllers, and have applied it to an automatic bolt supplying system. The operation results are satisfactory.
ER -