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 条
  • [31] VALIDATING THE BEHAVIOR OF A SUPERVISED SYSTEM USING PETRI NETS
    Parra Ortega, Carlos Arturo
    Guzman Luna, Jaime Alberto
    DYNA-COLOMBIA, 2012, 79 (173): : 113 - 121
  • [32] System level testability analysis using Petri Nets
    Jiang, TJ
    Klenke, RH
    Aylor, JH
    Han, G
    IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2000, : 112 - 117
  • [33] PNPEq: Verification of Scheduled Conditional Behavior in Embedded Software using Petri Nets
    Mittal, Rakshit
    Blouin, Dominique
    Bandyopadhyay, Soumyadip
    2021 28TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2021), 2021, : 509 - 514
  • [34] Remote operation of embedded controllers designed using IOPT Petri-nets
    Pereira, Fernando
    Melo, Arildo
    Gomes, Luis
    PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2015, : 572 - 579
  • [35] Embedded systems design using optimistic distributed simulation of colored Petri nets
    Knoke, Michael
    Rasinski, Dawid
    Hommel, Guenter
    EMBEDDED SYSTEMS - MODELING, TECHNOLOGY AND APPLICATIONS, PROCEEDINGS, 2006, : 33 - +
  • [36] Analysis of the problem description in the Algorithm for Inventive Problem Solving using Petri nets
    Shen, Victor R. L.
    Yang, Cheng-Ying
    Lee, Jia-Hong
    KNOWLEDGE-BASED SYSTEMS, 2012, 35 : 290 - 303
  • [37] Transforming Time Petri Nets into Heterogeneous Petri Nets for Hybrid System Monitoring
    Hatte, Leonie
    Ribot, Pauline
    Chanthery, Elodie
    IFAC PAPERSONLINE, 2024, 58 (04): : 646 - 651
  • [38] Petri Nets Based Scheduling Modeling for Embedded Systems
    Zhang, Haitao
    Wu, Guifang
    ICICTA: 2009 SECOND INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTATION TECHNOLOGY AND AUTOMATION, VOL IV, PROCEEDINGS, 2009, : 80 - 83
  • [39] Description and Validation of Communication Protocols by Petri Nets.
    Accarino, N.
    Rossi, C.
    Trigila, S.
    Note, recensioni, notizie, 1981, 30 (02): : 49 - 65
  • [40] Automatic translation of time Petri Nets into Estelle description
    1600, Publ by Elsevier Science Publishers B.V., Amsterdam, Neth
12345