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 条
  • [1] TIMED PETRI NETS DEFINITIONS, PROPERTIES, AND APPLICATIONS
    ZUBEREK, WM
    MICROELECTRONICS AND RELIABILITY, 1991, 31 (04): : 627 - 644
  • [2] TIMED PETRI NETS
    MARSAN, MA
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1985, 10 (05): : 312 - 313
  • [3] Timed petri nets
    Advances in Automation and Robotics, 1990, 2
  • [4] Timed processes of timed Petri nets
    Valero, V
    deFrutos, D
    Cuartero, F
    APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 490 - 509
  • [5] ANALYSIS OF TIMED PETRI NETS FOR REACHABILITY IN CONSTRUCTION APPLICATIONS
    Nassar, Khaled
    Casavant, Albert
    JOURNAL OF CIVIL ENGINEERING AND MANAGEMENT, 2008, 14 (03) : 189 - 198
  • [6] Timed approximate Petri nets
    Suraj, Zbigniew
    Fryc, Barbara
    FUNDAMENTA INFORMATICAE, 2006, 71 (01) : 83 - 99
  • [7] Processes of timed Petri nets
    Winkowski, J
    THEORETICAL COMPUTER SCIENCE, 2000, 243 (1-2) : 1 - 34
  • [8] Timed Catalytic Petri Nets
    Aman, Bogdan
    Ciobanu, Gabriel
    Pinna, G. Michele
    14TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2012), 2012, : 319 - 326
  • [9] Definitions and applications of deterministic-timed Petri nets (DTPN)
    Giglio, Davide
    2006 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-6, PROCEEDINGS, 2006, : 3060 - 3067
  • [10] Invariants of Timed Petri Nets
    D. A. Zaitsev
    Cybernetics and Systems Analysis, 2004, 40 (2) : 226 - 237
12345