PETRI-NET EXTENSIONS FOR MODELING AND VALIDATING MANUFACTURING SYSTEMS

被引：2
|
作者：
CHOI, BW [1 ]
KUO, W [1 ]
JACKMAN, JK [1 ]
机构：
[1] TEXAS A&M UNIV,DEPT IND ENGN,COLLEGE STN,TX 77843
来源：
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH | 1994年 / 32卷 / 08期
关键词：
D O I：
10.1080/00207549408957044
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
In this paper, we begin with the fundamental constructs of Petri net models. We then suggest extensions that help make Petri nets useful for modelling manufacturing systems. We also show how validation methods can be used to examine these systems for potential problems. Examples are presented to show how one might use this approach to determine the performance and validate the logic of a manufacturing system.
引用
收藏
页码：1819 / 1835
页数：17
相关论文
共 50 条
  • [41] BINARY PETRI-NET RELATIONSHIPS
    ALAYAN, H
    NEWCOMB, RW
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS, 1987, 34 (05): : 565 - 568
  • [42] A Petri-net Modeling Approach for Airport Apron Traffic Dynamics
    Zhu, Xinping
    PROCEEDINGS OF THE 36TH CHINESE CONTROL CONFERENCE (CCC 2017), 2017, : 2332 - 2337
  • [43] Application of Petri-net technique in modeling of semiconductor wafer fabrication
    Cao, Zhengcai
    Qiao, Fei
    Wu, Qidi
    Tongji Daxue Xuebao/Journal of Tongji University, 2008, 36 (12): : 1707 - 1711
  • [44] Research on Application of Hierarchy Petri-Net in Dynamic Workflow Modeling
    Nazarlou, Mortaza Mokhtari
    LIFE SCIENCE JOURNAL-ACTA ZHENGZHOU UNIVERSITY OVERSEAS EDITION, 2013, 10 (01): : 821 - 825
  • [45] TIMED PETRI-NET APPROACH TO PERFORMANCE MODELING WITH THE MOON METHOD
    HULL, MEC
    ODONOGHUE, PG
    SOFTWARE ENGINEERING JOURNAL, 1994, 9 (03): : 95 - 106
  • [46] Petri-net based modeling method for trust negotiation policy
    State Key Laboratory of Switching Technology and Telecommunication Networks, Beijing University of Post and Telecommunications, Beijing 100876, China
    Gaojishu Tongxin, 2006, 4 (342-347):
  • [47] STOCHASTIC COLORED PETRI-NET MODELS OF FLEXIBLE-II MANUFACTURING SYSTEMS - MATERIAL HANDLING SYSTEMS AND MACHINING
    MOORE, KE
    GUPTA, SM
    COMPUTERS & INDUSTRIAL ENGINEERING, 1995, 29 : 333 - 337
  • [48] A Timed Colored Petri-Net Modeling for Precision Time Protocol
    Igorevich, Rustam Rakhimov
    Park, Pusik
    2016 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND COMMUNICATIONS TECHNOLOGIES (ICISCT), 2016,
  • [49] PDM - PETRI-NET BASED DEVELOPMENT METHODOLOGY FOR DISTRIBUTED SYSTEMS
    AOYAMA, M
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1993, E76A (10) : 1567 - 1579
  • [50] A Petri-net approach to software validation
    Freytag, T
    PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 2001, : 705 - 711
12345