Algorithm for timed petri net-based simulation

被引:0
|
作者
Lopez-Mellado, E. [1 ]
Vallejo-Gonzalez, S. [1 ]
机构
[1] Universidad Autonoma de Nuevo Leon, San Nicolas de los Garza, Mexico
关键词
D O I
暂无
中图分类号
学科分类号
摘要
Simulation is often used on validation of models for the design and analysis of discrete-event dynamic systems. This paper deals with simulation of timed Petri net-based models. The authors present an efficient scheme for the execution of bounded timed place Petri nets; it consists mainly of a simple data structure handling the state of tokens and the simulation time, and an O(n2) algorithm controlling the evolution of the net. Results of simulations using a software package based on the proposed algorithm are presented.
引用
收藏
页码:83 / 90
相关论文
共 50 条
  • [31] A Petri Net-based Model for the Attacking Soccer Robots
    Coman, Daniela
    RECENT ADVANCES IN AUTOMATION & INFORMATION: PROCEEDINGS OF THE 10TH WSEAS INTERNATIONAL CONFERENCE ON AUTOMATION & INFORMATION (ICAI'09), 2009, : 186 - +
  • [32] A Petri Net-Based Approach to Control of Boolean Networks
    Kobayashi, Koichi
    Hiraishi, Kunihiko
    2012 THIRD INTERNATIONAL CONFERENCE ON NETWORKING AND COMPUTING (ICNC 2012), 2012, : 399 - 403
  • [33] Realization of Petri net-based consistency verification in computer
    Ding, C.
    Li, E.
    Journal of Mechanical Strength, 2001, 23 (03) : 280 - 282
  • [34] A Petri net-based formal reasoning algorithm for fuzzy production rule-based systems
    Gao, MM
    Wu, ZM
    Zhou, MC
    SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3093 - 3097
  • [35] A Petri Net-based Metric for Active Rule Validation
    Chavarria-Baez, Lorena
    Li, Xiaoou
    2011 23RD IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2011), 2011, : 922 - +
  • [36] Petri net-based modelling of workflow systems: An overview
    Salimifard, K
    Wright, M
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2001, 134 (03) : 664 - 676
  • [37] Petri Net-based Business Process Model Change
    Gao, Ying
    Luo, Zong-wei
    Wu, Zhen-huan
    Liu, Cong
    INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION ENGINEERING (CSIE 2015), 2015, : 44 - 49
  • [38] Modeling, implementation and simulation of virtual factory based on colored timed Petri Net
    Yang, JH
    Fujimoto, Y
    ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, 2003, : 574 - 579
  • [39] A Petri net-based simulation model for the flexible modelling and analysis of building construction processes
    Samkari, Kais
    Franz, Volkhard
    SIMULATION IN PRODUKTION UND LOGISTK 2013, 2013, 316 : 505 - 514
  • [40] A Petri Net-Based Heuristic Algorithm for Realizability of Target Refining Schedule for Oil Refinery
    Wu, Naiqi
    Zhou, MengChu
    Chu, Feng
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2008, 5 (04) : 661 - 676