Fuzzy timed Petri nets - analysis and implementation

被引：16
|
作者：
Ding, ZH
Bunke, H
Kipersztok, O
Schneider, M
Kandel, A
机构：
[1] Univ Bern, Dept Comp Sci, CH-3012 Bern, Switzerland
[2] Univ S Florida, Dept Comp Sci & Engn, Tampa, FL 33620 USA
[3] Boeing Co, Seattle, WA 98124 USA
[4] Netanya Coll, Sch Comp Sci, IL-42365 Netanya, Israel
来源：
MATHEMATICAL AND COMPUTER MODELLING | 2006年 / 43卷 / 3-4期
关键词：
fuzzy timed Petri nets; fuzzy time interval; fuzzy differentiation; fuzzy integral; variable speed approach;
D O I：
10.1016/j.mcm.2005.11.005
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
In [Z. Ding, H. Bunke, M. Schneider, A. Kandel, Fuzzy timed Petri net - definitions, properties and applications, Math. Comput. Modelling (2005) (in press)], we posed two fuzzy timed Petri Net models. Based on the mark changing rate, they can be classified either as a discrete Fuzzy Timed Petri Net model (discrete-FTPN), or as a continuous Fuzzy Timed Petri Net model (continuous-FTPN). In this paper, we present an algorithm developed to compute reachable states for discrete-FTPN models. We also present properties of the continuous-FTPN model, which are used to describe the system's behavior. From the investigation presented in this paper, we conclude that it is easier to implement a discrete-FTPN model, but for a theoretical study the continuous-FTPN model is better. (c) 2006 Elsevier Ltd. All rights reserved.
引用
收藏
页码：385 / 400
页数：16
相关论文
共 50 条
  • [1] Fuzzy Timed Petri Nets and The Performance Analysis
    Ding, Zuohua
    Ge, Qi-Wei
    Hu, Jueliang
    INFORMATION-AN INTERNATIONAL INTERDISCIPLINARY JOURNAL, 2009, 12 (05): : 1137 - 1156
  • [2] Fuzzy timed Petri nets
    Pedrycz, W
    Camargo, H
    FUZZY SETS AND SYSTEMS, 2003, 140 (02) : 301 - 330
  • [3] Fuzzy multimodel of timed Petri nets
    Hennequin, S
    Lefebvre, D
    El Moudni, A
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2001, 31 (02): : 245 - 251
  • [4] MICROPROGRAMMING IMPLEMENTATION OF TIMED PETRI NETS
    KUCHCINSKI, K
    PENG, Z
    INTEGRATION-THE VLSI JOURNAL, 1987, 5 (02) : 133 - 144
  • [5] A theory of implementation and refinement in timed Petri nets
    Felder, M
    Gargantini, A
    Morzenti, A
    THEORETICAL COMPUTER SCIENCE, 1998, 202 (1-2) : 127 - 161
  • [6] Symbolic Analysis of Timed Petri Nets
    Zuberek, Wlodek M.
    THEORY AND ENGINEERING OF COMPLEX SYSTEMS AND DEPENDABILITY, 2015, 365 : 593 - 602
  • [7] TIMED PETRI NETS
    MARSAN, MA
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1985, 10 (05): : 312 - 313
  • [8] Timed petri nets
    Advances in Automation and Robotics, 1990, 2
  • [9] Timed processes of timed Petri nets
    Valero, V
    deFrutos, D
    Cuartero, F
    APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 490 - 509
  • [10] Forward reachability analysis of timed Petri nets
    Abdulla, PA
    Deneux, J
    Mahata, P
    Nylén, A
    FORMAL TECHNIQUES, MODELLING AND ANALYSIS OF TIMED AND FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 2004, 3253 : 343 - 362
12345