An interactive petri net tool for modeling, analysis and simulation of complex systems

被引:0
|
作者
Lima, IS
Perkusich, A
deFigueiredo, JCA
机构
关键词
petri nets; complex systems; simulation; real time;
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
In this paper we present an interactive tool for complex systems modeling, analysis and simulation using Petri Nets and their temporal extensions. The proposed tool is based on user real time interaction and multiprogramming. Three user interactive steps are allowed: editing, analyzing and simulation. To introduce real time user interaction the tool uses a set of functions that allows to edit and simulate temporal behavior of the Petri net, i. e., programmable places, counters, timing and statistical routines. It executes a non-preemptive Round Robin escalonator, that uses randomic functions, and implements a real time executive, consisting in a multiprocessing system. The tool is based on the concepts given by Zhou and Dicesare[9] for manufacturing systems, that can be used to many kinds of complex systems. Some other properties, as transition firing temporal dependency, resources addition, subtraction, enabling and disabling operations, and deterministic or sthocastic task time duration can be used.
引用
收藏
页码:870 / 875
页数:6
相关论文
共 50 条
  • [1] Holmes: a graphical tool for development, simulation and analysis of Petri net based models of complex biological systems
    Radom, Marcin
    Rybarczyk, Agnieszka
    Szawulak, Bartlomiej
    Andrzejewski, Hubert
    Chabelski, Piotr
    Kozak, Adam
    Formanowicz, Piotr
    [J]. BIOINFORMATICS, 2017, 33 (23) : 3822 - 3823
  • [2] PETRI NET AS A MODELING TOOL
    HURA, GS
    [J]. MICROELECTRONICS AND RELIABILITY, 1982, 22 (03): : 433 - 439
  • [3] TIMED PETRI-NET - AN EXPEDITIOUS TOOL FOR MODELING AND ANALYSIS OF MANUFACTURING SYSTEMS
    REDDY, GB
    MURTY, SSN
    GHOSH, K
    [J]. MATHEMATICAL AND COMPUTER MODELLING, 1993, 18 (09) : 17 - 30
  • [4] Modeling and simulation of CONWIP systems based on petri net
    Kang, Jie
    Li, Liang
    [J]. Xinan Jiaotong Daxue Xuebao/Journal of Southwest Jiaotong University, 2009, 44 (04): : 620 - 624
  • [5] Stochastic Petri Net Modeling, Simulation and Analysis of Public Bicycle Sharing Systems
    Labadi, Karim
    Benarbia, Taha
    Barbot, Jean-Pierre
    Hamaci, Samir
    Omari, Abdelhafid
    [J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2015, 12 (04) : 1380 - 1395
  • [6] A PETRI NET-BASED SIMULATION TOOL FOR THE DESIGN AND ANALYSIS OF FLEXIBLE MANUFACTURING SYSTEMS
    YIM, DS
    BARTA, TA
    [J]. JOURNAL OF MANUFACTURING SYSTEMS, 1994, 13 (04) : 251 - 261
  • [7] Open problems in Petri net modeling and simulation of biological systems
    Chen, Ming
    Hofestdt, Ralf
    [J]. IT-INFORMATION TECHNOLOGY, 2014, 56 (02): : 76 - 81
  • [8] Optimized method of petri net modeling and simulation for production systems
    School of Economics and Management, Beihang University, Beijing 100083, China
    [J]. Xitong Fangzhen Xuebao, 2006, SUPPL. 2 (559-562):
  • [9] Safety Simulation and Analysis for Complex Systems Concurrency Based on Petri Net and Stateflow Model
    Dong, Jie
    Jiao, Jian
    Xia, Hongqing
    Chu, Jiayun
    [J]. 2019 ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS 2019) - R & M IN THE SECOND MACHINE AGE - THE CHALLENGE OF CYBER PHYSICAL SYSTEMS, 2019,
  • [10] Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach
    Zhou, MC
    Jeng, MD
    [J]. IEEE TRANSACTIONS ON SEMICONDUCTOR MANUFACTURING, 1998, 11 (03) : 333 - 357