Machine learning for Time Interval Petri Nets

被引:0
|
作者
Bulitko, V [1 ]
Wilkins, DC
机构
[1] Univ Alberta, Dept Comp Sci, Edmonton, AB T6G 2E8, Canada
[2] Stanford Univ, Ctr Study Language & Informat, Stanford, CA 94306 USA
关键词
domain model learning; Petri Net learning; spatial-temporal data series learning; real-time decision-making; automated damage control;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Creating Petri Net domain models faces the same challenges that confront all knowledge-intensive Al performance systems: model specification, knowledge acquisition, and refinement. Thus, a fundamental question to investigate is the degree to which automation can be used. This paper formulates the learning task and presents the first machine learning method for Time Interval Petri Net (TIPN) domain models. In a preliminary evaluation within a damage control domain, the method learned a nearly perfect model of fire spread augmented with temporal and spatial data.
引用
收藏
页码:959 / 965
页数:7
相关论文
共 50 条
  • [41] Verification technique for time Petri nets
    Bonhomme, P
    Berthelot, G
    Aygalinc, P
    Calvez, S
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4278 - 4283
  • [42] Relaxed Unfolding for Time Petri Nets
    Velez Benito, Franck Carlos
    Kunzle, Luis Allan
    2013 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCES AND APPLICATIONS (CSA), 2013, : 833 - 839
  • [43] Time-point-interval Prioritized Time Petri Nets Modelling Real-time Systems and TCTL Checking
    He L.-F.
    Liu G.-J.
    Ruan Jian Xue Bao/Journal of Software, 2022, 33 (08): : 2947 - 2963
  • [44] A compositional model of time Petri nets
    Koutny, M
    APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 303 - 322
  • [45] Stubborn Sets for Time Petri Nets
    Boucheneb, Hanifa
    Barkaoui, Kamel
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2015, 14 (01)
  • [46] A causal semantics for time Petri nets
    Aura, T
    Lilius, J
    THEORETICAL COMPUTER SCIENCE, 2000, 243 (1-2) : 409 - 447
  • [47] Simulation of Colored Time Petri Nets
    Zhang, Hongmei
    Liu, Fei
    Yang, Ming
    Li, Wei
    2013 IEEE INTERNATIONAL CONFERENCE ON INFORMATION AND AUTOMATION (ICIA), 2013, : 637 - 642
  • [48] Development of real-time system specifications through the refinement of duration interval Petri nets
    Gurovic, D
    Fengler, W
    Nützel, J
    SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3098 - 3103
  • [49] The expressive power of time Petri nets
    Berard, B.
    Cassez, F.
    Haddad, S.
    Lime, D.
    Roux, O. H.
    THEORETICAL COMPUTER SCIENCE, 2013, 474 : 1 - 20
  • [50] Time Petri nets analysis with TINA
    Berthomieu, Bernard
    Vernadat, Francois
    QEST 2006: THIRD INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, 2006, : 123 - +