| 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
|
| Project Status |
Completed (Fiscal Year 1986)
|
| Budget Amount *help |
¥7,400,000 (Direct Cost: ¥7,400,000)
Fiscal Year 1986: ¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 1985: ¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 1984: ¥5,400,000 (Direct Cost: ¥5,400,000)
|
|---|
| 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..
|
