CONCURRENT MODELING AND SIMULATION OF REACTIVE MANUFACTURING SYSTEMS USING PETRI NETS

被引：3
|
作者：
BENARIEH, D
MIRON, I
机构：
[1] Department of Industrial Engineering and Management, Ben-Gurion University of the Negev, Beer Sheva
来源：
COMPUTERS & INDUSTRIAL ENGINEERING | 1991年 / 20卷 / 01期
关键词：
D O I：
10.1016/0360-8352(91)90039-9
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
Reactive systems are systems that continuously respond to environmental and external stimuli. Most systems are of reactive nature, including modern manufacturing systems. The Petri net is a modelling tool appropriate for reactive systems, however, computerized simulation tools of this modeling technique typically employ sequential programming languages. Such an analysis approach misses the reactive property of the Petri net, and does not give the correct response. This paper has two objectives: to present the difficulties in simulating reactive systems using Petri nets, and to describe a new approach towards Petri net models using concurrent logic programming paradigm. This approach is described and exemplified using FCP (Flat Concurrent Prolog), on a robotic manufacturing cell.
引用
收藏
页码：45 / 58
页数：14
相关论文
共 50 条
  • [1] Generic modeling of manufacturing processes using Petri nets for concurrent engineering
    Horváth, L
    Tar, JK
    Rudas, IJ
    Shamsudin, HMA
    [J]. PROCEEDINGS OF IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY 2000, VOLS 1 AND 2, 2000, : 399 - 404
  • [2] Alternative methodology for modeling and simulation of on-line manufacturing systems using Petri nets
    Vázquez, C
    Chirinos, L
    González, AC
    Kayser, KH
    [J]. IASTED: PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON MODELLING AND SIMULATION, 2003, : 644 - 649
  • [3] Modeling of Helper Robots in Manufacturing Systems Using Petri Nets
    Khanmohammadi, S.
    Ghadiri, H.
    Jahedmotlagh, M. R.
    [J]. 2008 IEEE INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, VOLS 1-8, 2008, : 1692 - +
  • [4] Compact modeling of manufacturing systems with Petri nets
    von Drathen, Arne
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-8, 2007, : 41 - 46
  • [5] Modeling inheritance anomaly in concurrent systems using colored Petri nets
    Bauskar, B
    Mikolajczak, B
    [J]. 2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4873 - 4878
  • [6] Modeling and simulation of a complete semiconductor manufacturing facility using Petri nets
    Becker, M
    [J]. ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2003, : 153 - 156
  • [7] MODELING AND SIMULATION OF PETRI NETS FOR COMPLEX SCHEDULING RULES OF AUTOMATED MANUFACTURING SYSTEMS
    Kim, Chulhan
    Lee, Tae-Eog
    [J]. 23RD EUROPEAN MODELING & SIMULATION SYMPOSIUM, EMSS 2011, 2011, : 319 - 324
  • [8] ON THE HIERARCHICAL MODELING ANALYSIS AND SIMULATION OF FLEXIBLE MANUFACTURING SYSTEMS WITH EXTENDED PETRI NETS
    VALAVANIS, KP
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1990, 20 (01): : 94 - 110
  • [9] MODELING AUTOMATED MANUFACTURING SYSTEMS USING A MODIFICATION OF COLORED PETRI NETS
    KOCHIKAR, VP
    NARENDRAN, TT
    [J]. ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 1992, 9 (03) : 181 - 189
  • [10] Modeling of a manufacturing system using Petri nets
    Lefranc, G
    [J]. IECON '98 - PROCEEDINGS OF THE 24TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4, 1998, : 137 - 142
12345