Timed Petri nets for software applications

被引：0
|
作者：
Andrzejewski, G [1 ]
机构：
[1] Tech Univ Zielona Gora, Comp Engn & Elect Inst, PL-65246 Zielona Gora, Poland
来源：
DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN | 2001年
关键词：
timed Petri nets; digital microsystems; software applications;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper presents a model of interpreted timed Petri nets in an abstract program environment called Virtual Decision System (VDS). There are described possibilities of software implementation with technical limitations of mentioned method. It shows a practical example with elements of deviation analysis. Possibilities of interpretation of dynamic parameters with special taking automatic decomposition algorithm into Hardware/Software Co-Design systems are described.
引用
收藏
页码：73 / 78
页数：6
相关论文
共 50 条
  • [41] Distributed processing based on Timed Petri Nets
    Fang, Xianwen
    Xu, Zhicai
    Yin, Zhixiang
    ICNC 2007: THIRD INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, VOL 5, PROCEEDINGS, 2007, : 287 - +
  • [42] Weak Boundedness of Timed Continuous Petri Nets
    Ji, Guangyou
    Wang, Mingzhe
    PROCEEDINGS 2013 INTERNATIONAL CONFERENCE ON MECHATRONIC SCIENCES, ELECTRIC ENGINEERING AND COMPUTER (MEC), 2013, : 185 - 189
  • [43] Expressiveness of Dynamic Networks of Timed Petri Nets
    Martos-Salgado, Maria
    Rosa-Velardo, Fernando
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2014), 2014, 8370 : 516 - 527
  • [44] Timed Petri nets and performance evaluation of systems
    Zuberek, WM
    1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 278 - 283
  • [45] TimeNET - A Toolkit for modeling with timed petri nets
    TimeNET - ein Werkzeug zur Modellierung mit zeiterweiterten Petri-Netzen
    1600, De Gruyter Oldenbourg (37):
  • [46] Timed Petri nets: Efficiency of asynchronous systems
    Bihler, E
    Vogler, W
    FORMAL METHODS FOR THE DESIGN OF REAL-TIME SYSTEMS, 2004, 3185 : 25 - 58
  • [47] Timed Arc Petri Nets: The Impulsive Approach
    Yufka, Alpaslan
    Ozkan, Hanife Apaydin
    Aybar, Aydin
    2018 5TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2018, : 409 - 414
  • [48] 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
  • [49] TIMED COLOURED PETRI NETS - TCPN.
    Aly, Hussien H.
    Ahmed, Khalil M.
    Selim, M.Salah
    Advances in modelling & simulation, 1984, 1 (04): : 11 - 20
  • [50] Using timed petri nets in discrete simulation
    Sklenar, J
    Caruana, E
    2nd International Industrial Simulation Conference 2004, 2004, : 7 - 11
12345