1986 Fiscal Year Final Research Report Summary
Research for Computer Aided Design of Sequential Control Systems
| Project/Area Number |
59460124
|
|---|
| Research Category |
Grant-in-Aid for General Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
計測・制御工学
|
|---|
| Research Institution | OSAKA UNIVERSITY |
|---|
Principal Investigator |
SHINZO Kodama Faculty of Engineering, OSAKA UNIVERSITY, 工学部, 教授 (50028990)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
YOSHITO Ohta Faculty of Engineering, OSAKA UNIVERSITY, 工学部, 助手 (30160518)
SADATOSHI Kumagai Faculty of Engineering, OSAKA UNIVERSITY, 工学部, 助手 (10093410)
HAJIME Maeda Faculty of Engineering, OSAKA UNIVERSITY, 工学部, 助教授 (60029535)
NOBUHIDE Suda Faculty of Engineering Sciences, OSAKA UNIVERSITY, 基礎工学部, 教授 (60029410)
|
|---|
| Project Period (FY) |
1984 – 1986
|
| Keywords | Sequential Control / Petri net / concurrency / asynchronism / FA / FMS / FMS |
|---|
| Research Abstract |
Petri nets have been widely recognized as useful models for discrete event systems characterized by concurrent and asynchronic evolutions. The purpose of the project is to adopt Petri nets for modelling complex sequential control systems and to provide, via net theoretic approach, sound basis for the formal design methodology which results in efficient and flexible automated productions. The main outcomes of the project are listed below.
(1). Submarking reachability of marked graphs and liveness of extented marked graphs were investigated and obtained complete solutions.
(2). Modelling and verification of sequential control systems by petri nets were proposed and shown to be more flexible than the other ad hoc methods.
(3). Hierarchical representation of large-scale systems by petri nets were proposed and the analysis were made on the preservation of deadlock-freeness between different levels.
(4). Petri net-based Concurrent system simulator(PCSS) were developed and implemented on U-station, DCL Corp..
|
