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 条
  • [31] CONTROLLED EXECUTIONS OF TIMED PETRI NETS
    CHRETIENNE, P
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1984, 3 (01): : 23 - 31
  • [32] POC NET, A SUBCLASS OF PETRI NETS, AND ITS APPLICATION TO TIMED PETRI NETS
    OHTA, A
    HISAMURA, T
    INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 1993, 24 (03) : 539 - 552
  • [33] Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
    Srba, Jiri
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, PROCEEDINGS, 2008, 5215 : 15 - 32
  • [34] Combining SysML and Timed Coloured Petri Nets for Designing Smart City Applications
    Souza, Layse Santos
    Soares, Michel S.
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2023, 29 (10) : 1217 - 1249
  • [35] Timed Petri nets and temporal linear logic
    Tanabe, M
    APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 156 - 174
  • [36] A Holistic State Equation for Timed Petri Nets
    Werner, Matthias
    Popova-Zeugmann, Louchka
    Haustein, Mario
    Pelz, E.
    FUNDAMENTA INFORMATICAE, 2014, 133 (2-3) : 305 - 322
  • [37] On the computational power of Timed Differentiable Petri Nets
    Haddad, Serge
    Recalde, Laura
    Silva, Manuel
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2006, 4202 : 230 - 244
  • [38] Structural controllability in timed continuous Petri nets?
    Arzola, Cesar
    Vazquez, Carlos Renato
    Ramirez-Trevino, Antonio
    Silva, Manuel
    AUTOMATICA, 2023, 153
  • [39] Fuzzy timed Petri nets - analysis and implementation
    Ding, ZH
    Bunke, H
    Kipersztok, O
    Schneider, M
    Kandel, A
    MATHEMATICAL AND COMPUTER MODELLING, 2006, 43 (3-4) : 385 - 400
  • [40] A theory of implementation and refinement in timed Petri nets
    Felder, M
    Gargantini, A
    Morzenti, A
    THEORETICAL COMPUTER SCIENCE, 1998, 202 (1-2) : 127 - 161
12345