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 条
  • [21] INTERNATIONAL WORKSHOP ON TIMED PETRI NETS
    不详
    PERFORMANCE EVALUATION, 1986, 6 (01) : 83 - 83
  • [22] Possibilistic Timed Safe Petri nets
    Sandri, S
    Cardoso, J
    1998 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AT THE IEEE WORLD CONGRESS ON COMPUTATIONAL INTELLIGENCE - PROCEEDINGS, VOL 1-2, 1998, : 89 - 94
  • [23] Branching Processes of Timed Petri Nets
    Virbitskaite, Irina
    Borovlyov, Victor
    Popova-Zeugmann, Louchka
    PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2015, 2016, 9609 : 303 - 313
  • [24] Determinization of timed Petri nets behaviors
    Komenda, Jan
    Lahaye, Sebastien
    Boimond, Jean-Louis
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2016, 26 (03): : 413 - 437
  • [25] Symbolic Analysis of Timed Petri Nets
    Zuberek, Wlodek M.
    THEORY AND ENGINEERING OF COMPLEX SYSTEMS AND DEPENDABILITY, 2015, 365 : 593 - 602
  • [26] On possibilistic timed safe Petri nets
    Sandri, S
    Cardoso, J
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1999, 14 (08) : 841 - 858
  • [27] A strategy for Estimation in Timed Petri nets
    Declerck, Philippe
    Chouchane, Amira
    Bonhomme, Patrice
    2017 4TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2017, : 489 - 494
  • [28] Algebras of processes of timed Petri nets
    Winkowski, J
    CONCUR '94: CONCURRENCY THEORY, 1994, 836 : 194 - 209
  • [29] Symmetries in timed continuous Petri nets
    Meyer, A.
    Dellnitz, M.
    Hessel-von Molo, M.
    NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2011, 5 (02) : 125 - 135
  • [30] Prototyping Color Timed Petri Nets
    Ikeda, Yuta
    Miura, Takao
    2011 IEEE PACIFIC RIM CONFERENCE ON COMMUNICATIONS, COMPUTERS AND SIGNAL PROCESSING (PACRIM), 2011, : 549 - 554
12345