A Formal Technique to Analyze Event Concurrent Response
Summary :
We present that event-transition diagrams are useful to analyze event concurrent response visually. Event-transition diagrams are dual for state-transition diagrams in graph theory. As an example of an usage of an event-transition diagram, a simple model of a railroad crossing is presented.
- Publication
- IEICE TRANSACTIONS on Information Vol.E78-D No.10 pp.1321-1323
- Publication Date
- 1995/10/25
- Publicized
- Online ISSN
- DOI
- Type of Manuscript
- LETTER
- Category
- Software Systems
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Hiromi KOBAYASHI, Yasunari SHIDAMA, "A Formal Technique to Analyze Event Concurrent Response" in IEICE TRANSACTIONS on Information,
vol. E78-D, no. 10, pp. 1321-1323, October 1995, doi: .
Abstract: We present that event-transition diagrams are useful to analyze event concurrent response visually. Event-transition diagrams are dual for state-transition diagrams in graph theory. As an example of an usage of an event-transition diagram, a simple model of a railroad crossing is presented.
URL: https://global.ieice.org/en_transactions/information/10.1587/e78-d_10_1321/_p
Copy
@ARTICLE{e78-d_10_1321,
author={Hiromi KOBAYASHI, Yasunari SHIDAMA, },
journal={IEICE TRANSACTIONS on Information},
title={A Formal Technique to Analyze Event Concurrent Response},
year={1995},
volume={E78-D},
number={10},
pages={1321-1323},
abstract={We present that event-transition diagrams are useful to analyze event concurrent response visually. Event-transition diagrams are dual for state-transition diagrams in graph theory. As an example of an usage of an event-transition diagram, a simple model of a railroad crossing is presented.},
keywords={},
doi={},
ISSN={},
month={October},}
Copy
TY - JOUR
TI - A Formal Technique to Analyze Event Concurrent Response
T2 - IEICE TRANSACTIONS on Information
SP - 1321
EP - 1323
AU - Hiromi KOBAYASHI
AU - Yasunari SHIDAMA
PY - 1995
DO -
JO - IEICE TRANSACTIONS on Information
SN -
VL - E78-D
IS - 10
JA - IEICE TRANSACTIONS on Information
Y1 - October 1995
AB - We present that event-transition diagrams are useful to analyze event concurrent response visually. Event-transition diagrams are dual for state-transition diagrams in graph theory. As an example of an usage of an event-transition diagram, a simple model of a railroad crossing is presented.
ER -
English
