Realization of Petri net-based consistency verification in computer

被引：0
|
作者：
Ding, C. [1 ]
Li, E. [1 ]
机构：
[1] College of Mechanics, Donghua University, Shanghai 200051, China
来源：
Journal of Mechanical Strength | 2001年 / 23卷 / 03期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：280 / 282
相关论文
共 50 条
  • [1] Petri net-based representation of rules and verification of consistency
    丁彩虹
    姜兴渭
    黄文虎
    [J]. Journal of Harbin Institute of Technology(New series), 2001, (02) : 125 - 128
  • [2] Petri net-based modeling and verification of confidentiality policy
    Zhang, Zhaoli
    Hong, Fan
    Liao, Junguo
    [J]. Huazhong Keji Daxue Xuebao (Ziran Kexue Ban)/Journal of Huazhong University of Science and Technology (Natural Science Edition), 2007, 35 (10): : 28 - 31
  • [3] A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems
    Du, YuYue
    Jiang, ChangJun
    Zhou, MengChu
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2009, 39 (02): : 299 - 308
  • [4] Petri net-based verification of security protocol implementation in software evolution
    Bin Ahmadon, Mohd Anuaruddin
    Yamaguchi, Shingo
    Gupta, B. B.
    [J]. INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2018, 10 (06) : 503 - 517
  • [5] Petri Net-Based Problem Solving
    Capkovic, Frantisek
    [J]. 2014 IEEE 12TH INTERNATIONAL SYMPOSIUM ON INTELLIGENT SYSTEMS AND INFORMATICS (SISY), 2014, : 203 - 208
  • [6] A Public Blockchain-based Identity Management Scheme and Petri Net-based Verification
    Liu, Ji-qin
    Wu, Yan
    Lshi, Lei-lei
    Li, Zhi-yuan
    Liu, Chen
    [J]. 20TH INT CONF ON UBIQUITOUS COMP AND COMMUNICAT (IUCC) / 20TH INT CONF ON COMP AND INFORMATION TECHNOLOGY (CIT) / 4TH INT CONF ON DATA SCIENCE AND COMPUTATIONAL INTELLIGENCE (DSCI) / 11TH INT CONF ON SMART COMPUTING, NETWORKING, AND SERV (SMARTCNS), 2021, : 361 - 368
  • [7] Petri net-based decision nets
    Simoes, MAS
    Barretto, MRP
    [J]. INTELLIGENT MANUFACTURING SYSTEMS 1998 (IMS'98), 1999, : 251 - 256
  • [8] A Petri net-based workflow system
    Li, Xiaofang
    Wang, Congming
    Liang, Y.
    [J]. DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2006, 13E : 3726 - 3729
  • [9] Petri net-based architecture for plant simulation
    Camurri, A
    Coglio, A
    [J]. ETFA '97 - 1997 IEEE 6TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION PROCEEDINGS, 1997, : 397 - 402
  • [10] Petri net-based engine for adaptive learning
    Vidal, Juan C.
    Lama, Manuel
    Bugarin, Alberto
    [J]. EXPERT SYSTEMS WITH APPLICATIONS, 2012, 39 (17) : 12799 - 12813
12345