EMBEDDED SYSTEM DESCRIPTION USING PETRI NETS

被引：0
|
作者：
REISIG, W
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 284卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
下载
收藏
页码：18 / 62
页数：45
相关论文
共 50 条
  • [21] Rapid embedded control prototyping by Petri Nets
    Hace, A
    Polic, A
    Jezernik, K
    IECON 2005: THIRTY-FIRST ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, 2005, : 1937 - 1942
  • [22] Description of hybrid systems by modified Petri nets
    Drath, R
    MODELLING, ANALYSIS, AND DESIGN OF HYBRID SYSTEMS, 2002, 279 : 15 - 36
  • [23] The description of CORBA objects based on Petri nets
    Zheng, H
    Li, SX
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 48 - 56
  • [24] Object-oriented development of the embedded system based on Petri-nets
    Huang, CC
    Liang, WY
    COMPUTER STANDARDS & INTERFACES, 2004, 26 (03) : 187 - 203
  • [25] Synthesis of mobile robot control system on embedded chips via Petri nets
    Wang, Shuo
    Luo, Jiliang
    JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS, 2018, 41 (06) : 474 - 483
  • [26] Designing a Workflow System Using Coloured Petri Nets
    Russell, Nick C.
    van der Aalst, Wil M. P.
    ter Hofstede, Arthur H. M.
    TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY III, 2009, 5800 : 1 - +
  • [27] On modeling a soccer robot system using Petri nets
    Guo, Baowen
    Li, Zhiwu
    Xu, Shuwen
    2006 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, VOLS 1 AND 2, 2006, : 460 - +
  • [28] Reliability analysis of pulping system using Petri nets
    Sachdeva, Anish
    Kumar, Dinesh
    Kumar, Pradeep
    INTERNATIONAL JOURNAL OF QUALITY & RELIABILITY MANAGEMENT, 2008, 25 (08) : 860 - +
  • [29] Industrial power system security using Petri Nets
    Ramos, G. A.
    Torres, A.
    Rognon, J-P.
    Rios, M.
    INTERNATIONAL REVIEW OF ELECTRICAL ENGINEERING-IREE, 2007, 2 (04): : 515 - 522
  • [30] Using Petri Nets for Network Control System Research
    Lobusov, E. S.
    Yuness, S.
    XLIII ACADEMIC SPACE CONFERENCE, DEDICATED TO THE MEMORY OF ACADEMICIAN S P KOROLEV AND OTHER OUTSTANDING RUSSIAN SCIENTISTS - PIONEERS OF SPACE EXPLORATION, 2019, 2171
12345