Petri net-based modeling and verification of confidentiality policy

被引：0
|
作者：
Zhang, Zhaoli [1 ]
Hong, Fan [1 ]
Liao, Junguo [1 ]
机构：
[1] College of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan 430074, China
来源：
Huazhong Keji Daxue Xuebao (Ziran Kexue Ban)/Journal of Huazhong University of Science and Technology (Natural Science Edition) | 2007年 / 35卷 / 10期
关键词：
10;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：28 / 31
相关论文
共 50 条
  • [31] Petri net-based engine for adaptive learning
    Vidal, Juan C.
    Lama, Manuel
    Bugarin, Alberto
    EXPERT SYSTEMS WITH APPLICATIONS, 2012, 39 (17) : 12799 - 12813
  • [32] An algorithm for timed petri net-based simulation
    LopezMellado, E
    VallejoGonzalez, S
    INTERNATIONAL JOURNAL OF ROBOTICS & AUTOMATION, 1996, 11 (02): : 83 - 90
  • [33] A Petri Net-based Supply Chain System
    Liu, Jiang-ping
    Wu, Ri-geng
    INTERNATIONAL JOURNAL OF ONLINE ENGINEERING, 2018, 14 (11) : 28 - 39
  • [34] Petri net-based scheduling of a bridge project
    Sawhney, A
    Vamadevan, A
    CONSTRUCTION CONGRESS VI, PROCEEDING: BUILDING TOGETHER FOR A BETTER TOMORROW IN AN INCREASINGLY COMPLEX WORLD, 2000, : 107 - 114
  • [35] An incremental Petri net-based approach to the Modeling of production sequences in manufacturing systems
    Castelnuovo, Adamo
    Ferrarini, Luca
    Piroddi, Luigi
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2007, 4 (03) : 424 - 434
  • [36] A top-down Petri net-based approach for dynamic workflow modeling
    Chrzastowski-Wachtel, P
    Benatallah, B
    Hamadi, R
    O'Dell, M
    Susanto, A
    BUSINESS PROCESS MANAGEMENT, PROCEEDINGS, 2003, 2678 : 336 - 353
  • [37] Stochastic Petri net-based modeling and formal analysis of fault tolerant Contract Net Protocol
    Boukredera, Djamila
    Maamri, Ramdane
    Aknine, Samir
    WEB INTELLIGENCE, 2016, 14 (03) : 245 - 271
  • [38] Petri Net-based scheduling of construction projects
    Sawhney, A
    Mund, A
    Chaitavatputtiporn, T
    CIVIL ENGINEERING AND ENVIRONMENTAL SYSTEMS, 2003, 20 (04) : 255 - 271
  • [39] A Petri net-based environment for GUI design
    Li, XS
    Mugridge, WB
    Hosking, JG
    SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 2234 - 2239
  • [40] Algorithm for timed petri net-based simulation
    Lopez-Mellado, E.
    Vallejo-Gonzalez, S.
    International Journal of Robotics and Automation, 1996, 11 (02) : 83 - 90
12345