Analysis of the problem description in the Algorithm for Inventive Problem Solving using Petri nets

被引：5

作者：

Shen, Victor R. L. ^{[2
]}

Yang, Cheng-Ying ^{[1
]}

Lee, Jia-Hong ^{[3
]}

机构：

[1] Taipei Municipal Univ Educ, Dept Comp Sci, Taipei 100, Taiwan

[2] Natl Taipei Univ, Coll Elect Engn & Comp Sci, Dept Comp Sci & Informat Engn, New Taipei City 237, Taiwan

[3] Natl Taipei Univ, Coll Elect Engn & Comp Sci, Grad Inst Elect Engn, New Taipei City 237, Taiwan

来源：

KNOWLEDGE-BASED SYSTEMS | 2012年 / 35卷

关键词：

Petri net; TRIZ; ARIZ; Markov chains; EARIZ; SUPERVISORS; DESIGN; SYSTEMS;

D O I：

10.1016/j.knosys.2012.04.008

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

The Theory of Inventive Problem Solving (TRIZ) has been widely employed in the fields of business and industry. The degree of difficulty in a problem usually depends on its description and degree of standardization. Using an appropriate description and maintaining standardization can minimize the scope of the problem and significantly increase the likelihood of resolving it successfully. Most problems can be resolved easily with innovative principles and standard resolutions. However, non-standard complex invention problems must be analyzed and resolved using the Algorithm for Inventive-Problem Solving (ARIZ), which contains numerous systematic tools of the TRIZ. This study applies the behavioral properties of a Petri net to the description of a problem to establish a problem model and perform scenario analysis. When describing the problem, the developer was provided with suitable directions of thinking or with wrong messages for reference. To create more specific effects on the varied problem models and scenario analyses of the TRIZ, this study combines the TRIZ with Petri nets and Markov chains to help new learners of TRIZ or professional researchers obtain appropriate resolutions rapidly. (C) 2012 Elsevier B.V. All rights reserved.

引用

页码：290 / 303

页数：14

共 29 条

[1] Sequential failure analysis using counters of Petri net models [J].

Adamyan, A ;

He, D .

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2003, 33 (01) :1-11

[2] Toward the next generation of recommender systems: A survey of the state-of-the-art and possible extensions [J].

Adomavicius, G ;

Tuzhilin, A .

IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2005, 17 (06) :734-749

[3]

Altshuller G., 2000, The innovation algorithm

[4] Model-checking algorithms for continuous-time Markov chains [J].

Baier, C ;

Haverkort, B ;

Hermanns, H ;

Katoen, JP .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2003, 29 (06) :524-541

[5] Hybrid recommender systems: Survey and experiments [J].

Burke, R .

USER MODELING AND USER-ADAPTED INTERACTION, 2002, 12 (04) :331-370

[6] Design of a live and maximally permissive Petri net controller using the theory of regions [J].

Ghaffari, A ;

Rezg, N ;

Xie, XL .

IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2003, 19 (01) :137-142

[7]

Grinstead CM., 1997, Introduction to Probability

[8]

Han Z.T., 2009, THESIS NATL CHIAO TU

[9] Design of deadlock prevention supervisors using Petri nets [J].

Huang, Yi-Sheng .

INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2007, 35 (3-4) :349-362

[10] Synthesis of deadlock prevention supervisors using Petri nets [J].

Iordache, MV ;

Moody, JO ;

Antsaklis, PJ .

IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2002, 18 (01) :59-68

← 1 2 3 →