SYSTEM MODELING BY MEANS OF TIME PETRI NETS

被引：0
|
作者：
POPOVSKY, O [1 ]
机构：
[1] ODBOR ORG & TECH RIZENI,NP ESKA,CS-35071 CHEB,CZECHOSLOVAKIA
来源：
EKONOMICKO-MATEMATICKY OBZOR | 1986年 / 22卷 / 01期
关键词：
D O I：
暂无
中图分类号：
F [经济];
学科分类号：
02 ;
摘要：
引用
收藏
页码：88 / 98
页数：11
相关论文
共 50 条
  • [41] Modeling IMS Service Sharing System using Petri nets
    Kovacik, Tomas
    Flochova, Jana
    Holly, Jakub
    PROCEEDINGS ELMAR-2012, 2012, : 157 - 160
  • [42] Modeling of the Grid system node behavior based on Petri nets
    Shelestov, A. Yu.
    JOURNAL OF AUTOMATION AND INFORMATION SCIENCES, 2008, 40 (02) : 41 - 51
  • [43] Modeling a Manufacturing System by Using XML - Petri Nets Technology
    Pop, A.
    Blaga, F. S.
    Ursu, M. P.
    Bungau, C.
    Hule, V
    MODTECH INTERNATIONAL CONFERENCE - MODERN TECHNOLOGIES IN INDUSTRIAL ENGINEERING VIII, 2020, 916
  • [44] Modeling and simulation of a production system by using colored Petri nets
    Mert, Volkan
    Ozkan, Hanife Apaydm
    Aybar, Aydm
    ICCC 2007: 5TH IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL CYBERNETICS, PROCEEDINGS, 2007, : 161 - 165
  • [45] MODELING OF BIOMETRIC IDENTIFICATION SYSTEM USING THE COLORED PETRI NETS
    Petrosyan, G. R.
    Ter-Vardanyan, L. A.
    Gaboutchian, A. V.
    PHOTOGRAMMETRIC TECHNIQUES FOR VIDEO SURVEILLANCE, BIOMETRICS AND BIOMEDICINE, 2015, 40-5 (W6): : 37 - 42
  • [46] MODELING AND VERIFICATION OF TIME-DEPENDENT SYSTEMS USING TIME PETRI NETS
    BERTHOMIEU, B
    DIAZ, M
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (03) : 259 - 273
  • [47] Time-based expressivity of time Petri nets for system specification
    Cerone, A
    Maggiolo-Schettini, A
    THEORETICAL COMPUTER SCIENCE, 1999, 216 (1-2) : 1 - 53
  • [48] Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets
    Bergenthum, Robin
    Folz-Weinstein, Sabine
    Kovar, Jakub
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2023, 2023, 13929 : 286 - 306
  • [49] Time processes for time Petri nets
    Aura, T
    Lilius, J
    APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 136 - 155
  • [50] SPECIFICATION AND VALIDATION OF REAL-TIME SYSTEMS BY MEANS OF PETRI QUEUE NETS
    MARTIN, R
    MEMMI, G
    REVUE TECHNIQUE THOMSON-CSF, 1981, 13 (03): : 635 - 653
12345