Reduction Operators Based on Behavioral Inheritance for Timed Petri Nets
-
- TOYOSHIMA Ichiro
- Graduate School of Science and Engineering, Yamaguchi University
-
- NAKANO Shota
- Graduate School of Science and Engineering, Yamaguchi University
-
- YAMAGUCHI Shingo
- Graduate School of Science and Engineering, Yamaguchi University
この論文をさがす
抄録
In this paper, we proposed reduction operators of timed Petri net for efficient model checking. Timed Petri nets are used widely for modeling and analyzing systems which include time concept. Analysis of the system can be done comprehensively with model checking, but there is a state-space explosion problem. Therefore, previous researchers proposed reduction methods and translation methods to timed automata to perform efficient model checking. However, there is no reduction method which consider observability and there is a trade-off between the amount of description and the size of state space. In this paper, first, we have defined a concept of timed behavioral inheritance. Next, we have proposed reduction operators of timed Petri nets based on timed behavioral inheritance. Then, we have applied our proposed operators to an artificial timed Petri net. Moreover, the results show that the reduction operators which consider observability can reduce the size of state space of the original timed Petri nets within the experiment.
収録刊行物
-
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
-
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E97.A (2), 484-489, 2014
一般社団法人 電子情報通信学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390282681288722432
-
- NII論文ID
- 130003394738
-
- NII書誌ID
- AA10826239
-
- ISSN
- 17451337
- 09168508
-
- NDL書誌ID
- 025180271
-
- 本文言語コード
- en
-
- データソース種別
-
- JaLC
- NDL
- Crossref
- CiNii Articles
-
- 抄録ライセンスフラグ
- 使用不可