Presentation | 1997/11/27 Construction of Condition/Event Nets Based on Operations on Partial Languages Yutaka MATSUTANI, Susumu HASHIZUME, Katsuaki ONOGI, Yoshiyuki NISHIMURA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Partial languages adequately represent the behaviors of Condition/Event nets (C/E nets). We have studied a C/E net construction problem P (X), in which the objective is to synthesize a C/E net to exhibit the desired behavior specified as a partial language X. Large systems are often designed by combining many subsystems designed independently. We first define six types of operations on partial languages (i.e., concatenation, synchronization, repetition, substitution, restriction, and union). We then study a C/E net construction problem P (X) with a specification X described by a set of partial languages Y_i and the above operations. We also present a method of constructing a solution C/E net of P (X) from those of P (Y_i)'s. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | condition/event net / partial language / net construction / operation on partial languages / discrete event system |
Paper # | CST97-28 |
Date of Issue |
Conference Information | |
Committee | CST |
---|---|
Conference Date | 1997/11/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 | Concurrent System Technology (CST) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Construction of Condition/Event Nets Based on Operations on Partial Languages |
Sub Title (in English) | |
Keyword(1) | condition/event net |
Keyword(2) | partial language |
Keyword(3) | net construction |
Keyword(4) | operation on partial languages |
Keyword(5) | discrete event system |
1st Author's Name | Yutaka MATSUTANI |
1st Author's Affiliation | Department of Production Systems Engineering, Toyohashi University of Technology() |
2nd Author's Name | Susumu HASHIZUME |
2nd Author's Affiliation | Department of Production Systems Engineering, Toyohashi University of Technology |
3rd Author's Name | Katsuaki ONOGI |
3rd Author's Affiliation | Department of Chemical Engineering, Nagoya University |
4th Author's Name | Yoshiyuki NISHIMURA |
4th Author's Affiliation | Department of Information Science, Toho University |
Date | 1997/11/27 |
Paper # | CST97-28 |
Volume (vol) | vol.97 |
Number (no) | 403 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |