| Presentation | 1993/5/27 Extended Petri Nets for Control Systems Software Katsumi Wasaki, Yasushi Fuwa, Masayoshi Eguchi, Yatsuka Nakamura, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In this paper,we propose an extension of Petri nets suitable for control systems design and discuss its methods of evaluation.There are many situations in a control system environment in which a certain output varies according to the values of its input data, but the representation of such activity.is very cumbersome in the conventional marked net.For this reason,we propose an extended Petri net (LC-net) with enhanced capabilities for modelling control systems.This LC-net is a maxked net with addition of the following features:data assignment of marks,representation of firing conditions as logic equations,coupling of output procedures with transition firing,etc.Also,since the concept of transition firing evaluation orders is omitted from the analysis of conventional Petri nets,we introduce this concept formally in our proposed net.Finally,in order to study the behavior of a system modelled with this net,we provide a means for converting the extended Petri net into its corresponding marked net format. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Petri net / extended Petri net / control software / control systems / system stability / firing sequence |
| Paper # | COMP93-12,SS93-6 |
| Date of Issue |
| Conference Information | |
| Committee | COMP |
|---|---|
| Conference Date | 1993/5/27(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Theoretical Foundations of Computing (COMP) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Extended Petri Nets for Control Systems Software |
| Sub Title (in English) | |
| Keyword(1) | Petri net |
| Keyword(2) | extended Petri net |
| Keyword(3) | control software |
| Keyword(4) | control systems |
| Keyword(5) | system stability |
| Keyword(6) | firing sequence |
| 1st Author's Name | Katsumi Wasaki |
| 1st Author's Affiliation | Department of Information Engineering,Shinshu University() |
| 2nd Author's Name | Yasushi Fuwa |
| 2nd Author's Affiliation | Department of Information Engineering,Shinshu University |
| 3rd Author's Name | Masayoshi Eguchi |
| 3rd Author's Affiliation | Department of Information Engineering,Shinshu University |
| 4th Author's Name | Yatsuka Nakamura |
| 4th Author's Affiliation | Department of Information Engineering,Shinshu University |
| Date | 1993/5/27 |
| Paper # | COMP93-12,SS93-6 |
| Volume (vol) | vol.93 |
| Number (no) | 81 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |