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 条
  • [21] PETRI NET-BASED OBJECT-ORIENTED MODELING OF DISTRIBUTED SYSTEMS
    BRUNO, G
    BALSAMO, A
    SIGPLAN NOTICES, 1986, 21 (11): : 284 - 293
  • [22] BioNetSim: a Petri net-based modeling tool for simulations of biochemical processes
    Junhui Gao
    Li Li
    Xiaolin Wu
    DongQing Wei
    Protein & Cell, 2012, 3 (03) : 225 - 229
  • [23] Fuzzy continuous Petri net-based approach for modeling immune systems
    Park, Inho
    Na, Dokyun
    Lee, Doheon
    Lee, Kwang H.
    NEURAL NETS, 2006, 3931 : 278 - 285
  • [24] A Petri net-based approach for supporting aspect-oriented modeling
    Guan, Lianwei
    Li, Xingyu
    Hu, Hao
    TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2008, : 83 - 90
  • [25] Petri net-based context modeling for context-aware systems
    Seungwok Han
    Hee Yong Youn
    Artificial Intelligence Review, 2012, 37 : 43 - 67
  • [26] Petri net-based modeling and control of the multi-elevator systems
    Ahmad, Farooq
    Fakhir, Ilyas
    Khan, Sher Afzal
    Khan, Yaser Daanial
    NEURAL COMPUTING & APPLICATIONS, 2014, 24 (7-8): : 1601 - 1612
  • [27] BioNetSim: a Petri net-based modeling tool for simulations of biochemical processes
    Gao, Junhui
    Li, Li
    Wu, Xiaolin
    Wei, Dong-Qing
    PROTEIN & CELL, 2012, 3 (03) : 225 - 229
  • [28] A Petri net-based approach for supporting aspect-oriented modeling
    Guan L.
    Li X.
    Hu H.
    Lu J.
    Frontiers of Computer Science in China, 2008, 2 (04): : 413 - 423
  • [29] Coloured Petri net-based modeling for distributed relational database queries
    Chen, Pe-Te
    Chen, Yu-Tsai
    Yang, Chen-Chau
    JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS, 2006, 29 (06) : 1029 - 1039
  • [30] Petri net-based architecture for plant simulation
    Camurri, A
    Coglio, A
    ETFA '97 - 1997 IEEE 6TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION PROCEEDINGS, 1997, : 397 - 402
12345