A Study on the Design and Reliability Analysis of Concurrent System by Petri Nets: A Case on Lift System
Summary :
In this paper, we show that Petri nets can be applied practically to design and analysis of concurrent, parallel and embedded mode systems such as a lift system that is familiar to our daily life. Modeling behavioral characteristics of the lift, we extend a standard Petri net by constant timed transition, faultable transition, stochastic transition and condition transition concepts. Likewise, we prsesnt some results of design and analysis of the system. This method can be applied to design and analysis of another concurrent systems.
- Publication
- IEICE TRANSACTIONS on Fundamentals Vol.E76-A No.10 pp.1610-1614
- Publication Date
- 1993/10/25
- Publicized
- Online ISSN
- DOI
- Type of Manuscript
- Special Section LETTER (Special Section on Nets-Oriented Software Specification and Design)
- Category
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
Gy Bum KIM, Gang Soo LEE, Jung Mo YOON, "A Study on the Design and Reliability Analysis of Concurrent System by Petri Nets: A Case on Lift System" in IEICE TRANSACTIONS on Fundamentals,
vol. E76-A, no. 10, pp. 1610-1614, October 1993, doi: .
Abstract: In this paper, we show that Petri nets can be applied practically to design and analysis of concurrent, parallel and embedded mode systems such as a lift system that is familiar to our daily life. Modeling behavioral characteristics of the lift, we extend a standard Petri net by constant timed transition, faultable transition, stochastic transition and condition transition concepts. Likewise, we prsesnt some results of design and analysis of the system. This method can be applied to design and analysis of another concurrent systems.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e76-a_10_1610/_p
Copy
@ARTICLE{e76-a_10_1610,
author={Gy Bum KIM, Gang Soo LEE, Jung Mo YOON, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={A Study on the Design and Reliability Analysis of Concurrent System by Petri Nets: A Case on Lift System},
year={1993},
volume={E76-A},
number={10},
pages={1610-1614},
abstract={In this paper, we show that Petri nets can be applied practically to design and analysis of concurrent, parallel and embedded mode systems such as a lift system that is familiar to our daily life. Modeling behavioral characteristics of the lift, we extend a standard Petri net by constant timed transition, faultable transition, stochastic transition and condition transition concepts. Likewise, we prsesnt some results of design and analysis of the system. This method can be applied to design and analysis of another concurrent systems.},
keywords={},
doi={},
ISSN={},
month={October},}
Copy
TY - JOUR
TI - A Study on the Design and Reliability Analysis of Concurrent System by Petri Nets: A Case on Lift System
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 1610
EP - 1614
AU - Gy Bum KIM
AU - Gang Soo LEE
AU - Jung Mo YOON
PY - 1993
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E76-A
IS - 10
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - October 1993
AB - In this paper, we show that Petri nets can be applied practically to design and analysis of concurrent, parallel and embedded mode systems such as a lift system that is familiar to our daily life. Modeling behavioral characteristics of the lift, we extend a standard Petri net by constant timed transition, faultable transition, stochastic transition and condition transition concepts. Likewise, we prsesnt some results of design and analysis of the system. This method can be applied to design and analysis of another concurrent systems.
ER -
English
