Formalization and representation of ontologies by Petri nets has objects

被引：0
|
作者：
Dib, Lynda [1 ]
Tayeb, Laskri Mohamed [1 ]
机构：
[1] INRA, Orleans, France
来源：
KNOWLEDGE MANAGEMENT AND INNOVATION IN ADVANCING ECONOMIES-ANALYSES & SOLUTIONS, VOLS 1-3 | 2009年
关键词：
D O I：
暂无
中图分类号：
F [经济];
学科分类号：
02 ;
摘要：
引用
收藏
页码：238 / 244
页数：7
相关论文
共 50 条
  • [1] Formalization of petri nets with clocks
    Uzal, R. (ruzal@unsl.edu.ar), 2005, IOS Press BV (05)
  • [2] Formalization of petri nets with clocks
    Uzal, R.
    Riesco, D.
    Montejano, G.
    Vilallonga, G.
    Debnath, Narayan C.
    JOURNAL OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING, 2005, 5 (01) : S185 - S199
  • [3] REPRESENTATION OF MONITORS BY PETRI NETS
    STEINMETZ, R
    ANGEWANDTE INFORMATIK, 1984, (08): : 314 - 322
  • [4] ARITHMETICAL REPRESENTATION OF PETRI NETS
    MALYUGIN, VD
    AUTOMATION AND REMOTE CONTROL, 1987, 48 (05) : 696 - 703
  • [5] Petri Nets Tool Creation for Process Visualisation and Formalization
    Balogh, Zoltan
    Kucharik, Michal
    DIVAI 2016: 11TH INTERNATIONAL SCIENTIFIC CONFERENCE ON DISTANCE LEARNING IN APPLIED INFORMATICS, 2016, : 67 - 76
  • [6] FORMALIZATION OF TEXTUAL USE CASES BASED ON PETRI NETS
    Some, Stephane S.
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2010, 20 (05) : 695 - 737
  • [7] Automatic Construction of OWL Ontologies From Petri Nets
    Ma, Zongmin
    Cheng, Haitao
    Yan, Li
    INTERNATIONAL JOURNAL ON SEMANTIC WEB AND INFORMATION SYSTEMS, 2019, 15 (01) : 21 - 51
  • [8] Building Petri Nets from video event ontologies
    Lavee, Gal
    Borzin, Artyom
    Rivlin, Ehud
    Rudzsky, Michael
    ADVANCES IN VISUAL COMPUTING, PT I, 2007, 4841 : 442 - 451
  • [9] FORMALIZATION OF THE BEHAVIOR OF ACTORS BY COLORED PETRI NETS AND SOME APPLICATIONS
    SAMI, Y
    VIDALNAQUET, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 506 : 110 - 122
  • [10] Formalization of Karp-Miller Tree Construction on Petri Nets
    Yamamoto, Mitsuharu
    Sekine, Shogo
    Matsumoto, Saki
    PROCEEDINGS OF THE 6TH ACM SIGPLAN CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP'17, 2017, : 66 - 78
12345