PETRI-NET EXTENSIONS FOR MODELING AND VALIDATING MANUFACTURING SYSTEMS

Authors
CHOI BW KUO W JACKMAN JK
Citation
Bw. Choi et al., PETRI-NET EXTENSIONS FOR MODELING AND VALIDATING MANUFACTURING SYSTEMS, International Journal of Production Research, 32(8), 1994, pp. 1819-1835
Citations number
NO
Categorie Soggetti
Engineering,"Operatione Research & Management Science
Journal title
International Journal of Production Research → ACNP
ISSN journal
00207543
Volume
32
Issue
8
Year of publication
1994
Pages
1819 - 1835
Database
ISI
SICI code
0020-7543(1994)32:8<1819:PEFMAV>2.0.ZU;2-5
Abstract
In this paper, we begin with the fundamental constructs of Petri net m odels. 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.