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 条
  • [21] A Petri Net-based Metric for Active Rule Validation
    Chavarria-Baez, Lorena
    Li, Xiaoou
    [J]. 2011 23RD IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2011), 2011, : 922 - +
  • [22] Petri Net-based Business Process Model Change
    Gao, Ying
    Luo, Zong-wei
    Wu, Zhen-huan
    Liu, Cong
    [J]. INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION ENGINEERING (CSIE 2015), 2015, : 44 - 49
  • [23] Petri net-based modelling of workflow systems: An overview
    Salimifard, K
    Wright, M
    [J]. EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2001, 134 (03) : 664 - 676
  • [24] A fuzzy Petri net-based reasoning method for rescheduling
    Qiao, Fei
    Wu, Qidi
    Li, Li
    Wang, Zuntong
    Shi, Bin
    [J]. TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2011, 33 (3-4) : 435 - 455
  • [25] Petri Net-based Coordination Component for Collaborative Design
    Huang, Hong-Zhong
    Xu, Huan-Wei
    Zu, Xu
    [J]. CONCURRENT ENGINEERING-RESEARCH AND APPLICATIONS, 2010, 18 (03): : 199 - 205
  • [26] Petri net-based modeling of hybrid dynamic systems
    Gotesman, M
    LopezBenitez, N
    [J]. ETFA '96 - 1996 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, VOLS 1 AND 2, 1996, : 553 - 559
  • [27] Time Petri Net-Based Software Reliability Analysis
    Yang, Maoqiang
    [J]. INTELLIGENCE COMPUTATION AND EVOLUTIONARY COMPUTATION, 2013, 180 : 231 - 235
  • [28] Petri Net-based Smart Parking Information System
    Makke, Omar
    Gusikhin, Oleg
    [J]. PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON VEHICLE TECHNOLOGY AND INTELLIGENT TRANSPORT SYSTEMS (VEHITS), 2020, : 385 - 393
  • [29] Petri Net-Based Functional Representation of a Level Crossing
    Lobotkova, Zuzana
    Janota, Ales
    [J]. MODERN TRANSPORT TELEMATICS, 2011, 239 : 118 - 125
  • [30] HiWorD: A Petri net-based hierarchical workflow designer
    Benatallah, B
    Chrzastowski-Wachtel, P
    Hamadi, R
    O'Dell, M
    Susanto, A
    [J]. THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2003, : 235 - 236
12345