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 条

[11] DYNAMIC SCHEDULING WITH PETRI-NET MODELING AND CONSTRAINT-BASED SCHEDULE EDITING FOR FLEXIBLE MANUFACTURING SYSTEMS
TSUKIYAMA, M
MORI, K
FUKUDA, T
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 1992, 180 : 913 - 922
[12] On Petri net Modeling of automated manufacturing systems
Wu, Naiqi
Zhou, MengChu
Hu, Gang
2007 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING, AND CONTROL, VOLS 1 AND 2, 2007, : 228 - +
[13] Petri net extensions for the development of MIMO net models of automated manufacturing systems
Ramaswamy, S
Valavanis, KP
Barber, S
JOURNAL OF MANUFACTURING SYSTEMS, 1997, 16 (03) : 175 - 191
[14] PETRI-NET MODELING AND RELIABILITY EVALUATION OF DISTRIBUTED-PROCESSING SYSTEMS
KUMAR, V
AGGARWAL, KK
RELIABILITY ENGINEERING & SYSTEM SAFETY, 1993, 41 (02) : 167 - 176
[15] A Petri-Net approach to modular supervision with conflict resolution for semiconductor manufacturing systems
Lee, Jin Shyan
Zhou, MengChu
Hsu, Pau Lo
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2007, 4 (04) : 584 - 588
[16] SYSTEMATIC CONSTRUCTION OF FUNCTIONAL ABSTRACTIONS OF PETRI-NET MODELS OF FLEXIBLE MANUFACTURING SYSTEMS
ZURAWSKI, R
IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 1994, 41 (06) : 584 - 592
[17] TOOLS FOR MODELING WITH PETRI-NET LIKE NETS
DITTRICH, G
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 410 : 191 - 199
[18] MODELING BY PETRI-NET WITH PLACE INVARIANTS FOR SEQUENTIAL CONTROL-SYSTEMS
CAI, YG
NISHII, I
SEKIGUCHI, T
ELECTRICAL ENGINEERING IN JAPAN, 1995, 115 (05) : 100 - 111
[19] Research on Mapping Petri-Net to UML in System Modeling
Wang, Chunjian
Yue, Wei
Du, Dongju
PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON ELECTRONIC, MECHANICAL, INFORMATION AND MANAGEMENT SOCIETY (EMIM), 2016, 40 : 198 - 204
[20] FLEXIBILITY IN MANUFACTURING SYSTEMS - DEFINITIONS AND PETRI NET MODELING
BARAD, M
SIPPER, D
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 1988, 26 (02) : 237 - 248

← 1 2 3 4 5 →