Petri nets-based discrete system simulation method

被引：0
|
作者：
Liu, Jin
机构：
来源：
Shu Ju Cai Ji Yu Chu Li/Journal of Data Acquisition & Processing | 1998年 / 13卷 / 03期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：241 / 246
相关论文
共 50 条
  • [31] Colored Petri nets-based control and experimental validation on three-tank system level control
    Brezovan, Marius
    Precup, Radu-Emil
    Selisteanu, Dan
    Stanescu, Liana
    INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2023, 52 (01) : 1 - 47
  • [32] A Novel Petri Nets-based Modeling for the correctness of interactive Business Process Models
    Nouioua, Maroua
    Alti, Adel
    Zouari, Belhassen
    VISION 2020: SUSTAINABLE ECONOMIC DEVELOPMENT AND APPLICATION OF INNOVATION MANAGEMENT, 2018, : 2392 - 2401
  • [33] A high-level Petri nets-based approach to verifying task structures
    Lee, J
    Lai, LF
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2002, 14 (02) : 316 - 335
  • [34] Functional Verification Methodology Using Hierarchical Coloured Petri Nets-based Testbenches
    Rodrigues, Cassio L.
    Morais, Fabio J.
    Silva, Leandro M. L.
    da Silva, Karina R. G.
    de Figueiredo, Jorge C. A.
    Guerrero, Dalton D. S.
    Melcher, Elmar
    2008 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC), VOLS 1-6, 2008, : 2092 - +
  • [35] Modelling and Verification of Interorganizational Workflows with Security Constraints: A Petri Nets-Based Approach
    Captarencu, Oana Otilia
    ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS, CAISE 2012, 2012, 112 : 486 - 493
  • [36] Petri Nets-based Design of Real-Time Reconfigurable Networks on Chips
    Ben Salah, Hela
    Benzina, Adel
    Khalgui, Mohamed
    2015 IEEE/ACIS 14TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE (ICIS), 2015, : 597 - 604
  • [37] On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method
    Permpoontanalarp, Yongyuth
    Sornkhom, Panupong
    FUNDAMENTA INFORMATICAE, 2014, 130 (04) : 423 - 466
  • [38] A Novel Petri Nets-Based Modeling Method for the Interaction between the Sensor and the Geographic Environment in Emerging Sensor Networks
    Zhang, Feng
    Xu, Yuetong
    Chou, Jarong
    SENSORS, 2016, 16 (10)
  • [39] A New Petri Nets Based Approach for Modeling of Discrete Manufacturing System
    Davidrajuh, Reggie
    INTELLIGENT SYSTEMS IN PRODUCTION ENGINEERING AND MAINTENANCE (ISPEM 2017), 2018, 637 : 109 - 120
  • [40] Petri nets-based method for component-interaction related hazard identification in computer-controlled systems
    Zhu, Danjiang
    Yao, Shuzhen
    Wu, Ji
    2018 IEEE 15TH INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC), 2018,
12345