A state estimation problem for timed continuous Petri nets

被引:0
|
作者
Mahulea, Cristian [1 ]
Paola Cabasino, Maria [1 ]
Giua, Alessandro [1 ]
Seatzu, Carla [1 ]
机构
[1] Univ Zaragoza, Dept Comp Sci & Syst Engn, Zaragoza 50018, Spain
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Continuous Petri nets are an approximation of discrete Petri nets introduced to cope with the state explosion problem typical of discrete event systems. In this paper we start the problem of state estimation for timed continuous Petri nets with finite server semantics. Under the assumption that no observation is available, and thus the set of consistent markings only depends on the time elapsed, we study the observation based on the time-reachability analysis.
引用
收藏
页码:6310 / 6315
页数:6
相关论文
共 50 条
  • [41] Processes of timed Petri nets
    Winkowski, J
    THEORETICAL COMPUTER SCIENCE, 2000, 243 (1-2) : 1 - 34
  • [42] Timed Catalytic Petri Nets
    Aman, Bogdan
    Ciobanu, Gabriel
    Pinna, G. Michele
    14TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2012), 2012, : 319 - 326
  • [43] State estimation of Petri nets by transformation
    Cabasino, Maria Paola
    Giua, Alessandro
    Mahulea, Cristian
    Recalde, Laura
    Seatzu, Carla
    Silva, Manuel
    2007 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, VOLS 1-3, 2007, : 921 - 926
  • [44] Invariants of Timed Petri Nets
    D. A. Zaitsev
    Cybernetics and Systems Analysis, 2004, 40 (2) : 226 - 237
  • [45] Fuzzy timed Petri nets
    Pedrycz, W
    Camargo, H
    FUZZY SETS AND SYSTEMS, 2003, 140 (02) : 301 - 330
  • [46] Firing speeds estimation for continuous Petri nets
    Lefebvre, D
    PROCEEDINGS OF THE 39TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 2000, : 2670 - 2675
  • [47] Approximating state of DES using Fuzzy Timed Petri Nets
    Gonzalez-Castolo, Juan Carlos
    Lopez-Mellado, Ernesto
    2007 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, VOLS 1-3, 2007, : 727 - 733
  • [48] A (Timed) State-Transition Semantics for Reflective Petri Nets
    Capra, Lorenzo
    PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, 2009, : 164 - 170
  • [49] STATE EQUATIONS OF STOCHASTIC TIMED PETRI NETS WITH INFORMATIONAL RELATIONS
    Stesenko, I. V.
    CYBERNETICS AND SYSTEMS ANALYSIS, 2012, 48 (05) : 784 - 797
  • [50] Continuous and timed Petri nets for the macroscopic and microscopic traffic flow modelling
    Tolba, C
    Lefebvre, D
    Thomas, P
    El Moudni, A
    SIMULATION MODELLING PRACTICE AND THEORY, 2005, 13 (05) : 407 - 436