跳到主要內容

臺灣博碩士論文加值系統

(216.73.216.152) 您好!臺灣時間:2026/08/18 02:55
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果 :::

詳目顯示

我願授權國圖
: 
twitterline
研究生:郭仲毅
研究生(外文):Guo Jhong-Yi
論文名稱:使用配對理論以簡化派翠網路系統
論文名稱(外文):A New Reduction Methord for Time Petri Net Systems Using Matching Theory
指導教授:沈榮麟沈榮麟引用關係
學位類別:碩士
校院名稱:國立臺北大學
系所名稱:通訊工程研究所
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:2008
畢業學年度:96
語文別:中文
外文關鍵詞:State explosionPetri netsNet reduction
相關次數:
  • 被引用被引用:0
  • 點閱點閱:198
  • 評分評分:
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
In this thesis, we present an efficient method to solve the state
explosion problem in Petri nets by using matching theory. It is
really hard to analyze a Petri net while there are too many states
in a Petri net. In order to solve such a problem, we address a way
to label the weight value on a transition according the relationship
between places and transitions. Then we select the transition which
is related to the maximum one after sorting weights. The transition
we select is the most important and connective one for the whole
Petri nets at the moment. After selecting the transition for several
times, the last one denotes the least connection in the whole Petri
nets, and we could reduce the Petri net model from this transition.
Finally, main results are presented and supported by some experiments.
Chapter 1: Abstract
Chapter 2: Acknowledgement
Chapter 3: Introduction
Chapter 4: Literatures Review
Chapter 5: Matching Rules
Chapter 6: Algorithm of Matching Rules
Chapter 7: Applicability of Reduced Matching Rules
Chapter 8: Conclusions
[1] T. Murata, “Petri nets: Properties, analysis and applications,” in Proc. IEEE, vol. 77,
no. 4, pp. 541–580, Apr. 1989.
[2] E. Y. T. Juan, Jeffrey J. P. Tsai, T. Murata and Yi Zhou, “Reduction methods for
real-time systems using delay time Petri nets,” IEEE Trans. on Software Engineering,
vol. 27, no. 5, pp. 422–448, May 2001.
[3] A. J. Bugarin and S. Barro, “Fuzzy reasoning supported by Petri nets.” IEEE Trans.
Fuzzy Systems, vol. 2, no. 2, pp. 135–150, May 1994.
[4] P. Carinena, A. Bugarin, S. Fraga, and S. Barro, “Enhanced fuzzy temporal rules and
their projection onto fuzzy Petri nets.” Int’l J. Intelligent Systems, vol. 14, no. 8, pp.
775–804, Aug. 1999.
[5] S. M. Chen, “A knowledge acquisition scheme for rule-based expert systems based on
fuzzy Pteri nets.” Int’l J. Information Management and Eng., vol. 1, no. 3, pp. 45–56,
Dec. 1994.
[6] J. S. K. S. M. Chen Chen and J. F. Chang, “Knowledge representation using fuzzy Petri
nets,” IEEE Trans. Knowledge and Data Eng., vol. 2, no. 3, pp. 311–319, Sept. 1990.
[7] Victor R. L. Shen, “Reinforcement learning for high-level fuzzy Petri nets.” IEEE Trans.
Systems, Man, and Cybernetics, vol. 33, no. 2, pp. 351–362, Apr. 2003.
[8] Victor R. L. Shen and Feipei Lai, “Requirements specification and analysis of digital systems
using fuzzy and marked Petri nets.” IEEE Trans. Systems, Man, and Cybernetics,
vol. 28, no. 5, pp. 748–754, Oct. 1998.
[9] Victor R. L. Shen and Tony Tong-Ying Juang, “Verification of knowledge-based systems
using Predicate/Transition Nets.” IEEE Trans. Systems, Man, and Cybernetics, vol. 38,
no. 1, pp. 78–87, Jan. 2008.
[10] Fangming Wang, “Modeling of transmission line protection relaying scheme using Petri
net.” IEEE Trans. Power Delivery, vol. 12, no. 33, pp. 1055–1063, Jul. 1997.
[11] P. T. T. Binh and N. D. Tuyen, “Fault diagnosis of power system using neural Petri
net and fuzzy neural Petri net.” IEEE Trans. Systems, Man, and Cybernetics, vol. 10,
no. 12, pp. 1–5, Apr. 2006.
[12] J. L. Peterson, Petri net theory and the modeling of systems. Prentice-Hall, 1981.
[13] Richard Zurawski and Mengchi Zhou, “Petri nets and industrial application: A tutorial.”
IEEE Trans. Industrial Electronic, vol. 41, no. 6, pp. 567–583, Dec. 1994.
[14] Syed I Ahson, “Petri nets model of fuzzy neural networks.” IEEE Trans. Systems, Man,
and Cybernetics, vol. 25, no. 6, pp. 926–933, Jun. 1995.
[15] Wu Zhen-Huan, Petri Nets Introduction. China Machine Press, Apr. 2006.
[16] T. Murata and M. Notomi, “Hierarchically organized Petri net state space for reachability
and deadlock analysis,” IEEE Computer Society, vol. 23, no. 26, pp. 616–623,
Mar. 1992.
[17] D. Pape, CAVE User’s Guide, Electronic Visualization Laboratory, Univ. Illinois at
Chicago, Apr. 1996.
[18] H. Anschuetz, “HPSim,” 1999-2002. [Online]. Available: http://www.winpesim.de/
[19] C. Cruz-Neirza, D. J. Santi and T. A. DeFanti, “Virtual reality: The design and implementation
of the cave,” in Proc. ACM Conf. Computer Graphics, vol. 27, no. 5, pp.
135–142, Aug. 1993.
[20] R. Mascarenhas, D. Karumuri, U. Buy and R. Kenyon, “Modeling and analysis of a
virtual reality system with time Petri nets,” in Proc. IEEE Computer Society, vol. 19,
no. 25, pp. 33–42, Apr. 1998.
[21] Yi Zhou, T. Murata and Thomas. A. DeFanti, “Modeling and performance analysis using
extended fuzzy-timing Petri nets for networked virtual environments,” IEEE Trans.
Systems, Man, and Cybernetics, vol. 30, no. 5, pp. 737–756, Oct. 2000.
[22] M. Notomi and T. Murata, “Hierarchical reachability graph of bounded Petri nets for
concurrent-software analysis,” IEEE Trans. on Software Engineering, vol. 27, no. 5, pp.
325–336, May 1994.
[23] P. Merlin and D. Faber, “Recoverability of communication protocols - implications of a
theoretical study,” IEEE Trans. on Communications, vol. 24, no. 9, pp. 381–404, Sept.
1976.
QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top