On properties of concurrent system based on Petri net language

被引：0
|
作者：
Jiang, Chang-Jun [1 ]
Lu, Wei-Ming [1 ]
机构：
[1] Dept. of Comp. Sci. and Eng., Tongji Univ., Shandong Inst. of Sci. and Technol., Shanghai 200092, China
来源：
Ruan Jian Xue Bao/Journal of Software | 2001年 / 12卷 / 04期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Concurrency control
引用
收藏
页码：512 / 520
相关论文
共 50 条
  • [41] A Petri Net Based Model for a Cloud Healthcare System
    Li, Yafei
    Li, Yingying
    Wang, Na
    Wang, Hongfeng
    PROCEEDINGS OF THE 30TH CHINESE CONTROL AND DECISION CONFERENCE (2018 CCDC), 2018, : 3928 - 3931
  • [42] Modeling of Electrocardiograph Telediagnosing System Based on Petri Net
    Hu, Wensong
    Li, Ming
    Li, Lan
    2011 INTERNATIONAL CONFERENCE ON PHYSICS SCIENCE AND TECHNOLOGY (ICPST), 2011, 22 : 651 - 655
  • [43] Petri net based dynamic scheduling of an elevator system
    Lin, CH
    Fu, LC
    1996 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, PROCEEDINGS, VOLS 1-4, 1996, : 192 - 199
  • [44] A Study on Reliability of Manufacturing System Based on Petri Net
    蒋昌俊
    HighTechnologyLetters, 1995, (02) : 25 - 30
  • [45] Modeling for Reconfigurable Manufacturing System based on Petri Net
    Tao Guozheng
    Bai Ying
    2011 INTERNATIONAL CONFERENCE ON COMPUTERS, COMMUNICATIONS, CONTROL AND AUTOMATION (CCCA 2011), VOL I, 2010, : 264 - 267
  • [46] Vehicle Information System Modeling Based on Petri Net
    Huang, Dan
    Yu, Ji-yang
    Li, Guang-yun
    INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER SCIENCE AND ENGINEERING (ACSE 2014), 2014, : 460 - 467
  • [47] A Petri Net-based Supply Chain System
    Liu, Jiang-ping
    Wu, Ri-geng
    INTERNATIONAL JOURNAL OF ONLINE ENGINEERING, 2018, 14 (11) : 28 - 39
  • [48] Verification of Concurrent Programs Using Petri Net Unfoldings
    Dietsch, Daniel
    Heizmann, Matthias
    Klumpp, Dominik
    Naouar, Mehdi
    Podelski, Andreas
    Schaetzle, Claus
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2021, 2021, 12597 : 174 - 195
  • [49] Petri net based building automation and monitoring system
    Gomes, Luis
    Costa, Aniko
    Barros, Joao Paulo
    Pais, Rui
    Rodrigues, Tiago
    Ferreira, Richard
    2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, 2007, : 57 - +
  • [50] Simulation of clinic information system based on Petri net
    Xu, Dahua
    Wuhan Ligong Daxue Xuebao (Jiaotong Kexue Yu Gongcheng Ban)/Journal of Wuhan University of Technology (Transportation Science and Engineering), 2006, 30 (06): : 1102 - 1104
12345