Automatic translation of time Petri Nets into Estelle description

被引：0
|
作者：
机构：
来源：
| 1600年 / Publ by Elsevier Science Publishers B.V., Amsterdam, Neth卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Probabilistic Time Petri Nets
    Emzivat, Yrvann
    Delahaye, Benoit
    Lime, Didier
    Roux, Olivier H.
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2016, 2016, 9698 : 261 - 280
  • [22] Shrinking of Time Petri nets
    Lime, Didier
    Martinez, Claude
    Roux, Olivier H.
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2013, 23 (04): : 419 - 438
  • [23] Time Recursive Petri Nets
    Dahmani, Djaouida
    Ilie, Jean-Michel
    Boukala, Malika
    TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY I, 2008, 5100 : 104 - +
  • [24] Description of hybrid systems by modified Petri nets
    Drath, R
    MODELLING, ANALYSIS, AND DESIGN OF HYBRID SYSTEMS, 2002, 279 : 15 - 36
  • [25] The description of CORBA objects based on Petri nets
    Zheng, H
    Li, SX
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 48 - 56
  • [26] Petri nets and time modelling
    Latif Salum
    The International Journal of Advanced Manufacturing Technology, 2008, 38 : 377 - 382
  • [27] On the composition of time Petri nets
    Florent Peres
    Bernard Berthomieu
    François Vernadat
    Discrete Event Dynamic Systems, 2011, 21 : 395 - 424
  • [28] On Persistency in Time Petri Nets
    Barkaoui, Kamel
    Bouchene, Hanifa
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2018, 2018, 11022 : 108 - 124
  • [29] Embedding Time Petri nets
    Comlan, Maurice
    Delfieu, David
    Sogbohossou, Medesu
    Vianou, Antoine
    2017 4TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2017, : 404 - 409
  • [30] EMBEDDED SYSTEM DESCRIPTION USING PETRI NETS
    REISIG, W
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 284 : 18 - 62
12345