Petri net solver for semiconductor manufacturing plan

Ryota Maeno; Masami Konishi; Jun Imai; Tatsushi Nishi

doi:10.1109/ICICIC.2007.451

Petri net solver for semiconductor manufacturing plan

Ryota Maeno, Masami Konishi, Jun Imai, Tatsushi Nishi

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Petri net model is a widely used versatile tool which can represent a discrete event system such as mechanical system, communication system, and production system. The merit of this model is easiness in handling. Other merit of the model is descriptive easiness in parallel, synchronous operations. In addition, it is applicable to a wide variety of discrete event system due to its excellence in the analytical ability and the handling ability. In this paper, application of Petri net solver by decomposition to the Semiconductor Manufacturing. Numerical results showed the practicability of the proposed method.

Original language	English
Title of host publication	Second International Conference on Innovative Computing, Information and Control, ICICIC 2007
Publisher	IEEE Computer Society
ISBN (Print)	0769528821, 9780769528823
DOIs	https://doi.org/10.1109/ICICIC.2007.451
Publication status	Published - Jan 1 2007
Event	2nd International Conference on Innovative Computing, Information and Control, ICICIC 2007 - Kumamoto, Japan Duration: Sep 5 2007 → Sep 7 2007

Publication series

Name	Second International Conference on Innovative Computing, Information and Control, ICICIC 2007

Other

Other	2nd International Conference on Innovative Computing, Information and Control, ICICIC 2007
Country/Territory	Japan
City	Kumamoto
Period	9/5/07 → 9/7/07

ASJC Scopus subject areas

Computer Science(all)
Mechanical Engineering

Access to Document

10.1109/ICICIC.2007.451

Cite this

Maeno, R., Konishi, M., Imai, J., & Nishi, T. (2007). Petri net solver for semiconductor manufacturing plan. In Second International Conference on Innovative Computing, Information and Control, ICICIC 2007 [4427962] (Second International Conference on Innovative Computing, Information and Control, ICICIC 2007). IEEE Computer Society. https://doi.org/10.1109/ICICIC.2007.451

Petri net solver for semiconductor manufacturing plan. / Maeno, Ryota; Konishi, Masami; Imai, Jun ; Nishi, Tatsushi.

Second International Conference on Innovative Computing, Information and Control, ICICIC 2007. IEEE Computer Society, 2007. 4427962 (Second International Conference on Innovative Computing, Information and Control, ICICIC 2007).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Maeno, R, Konishi, M, Imai, J & Nishi, T 2007, Petri net solver for semiconductor manufacturing plan. in Second International Conference on Innovative Computing, Information and Control, ICICIC 2007., 4427962, Second International Conference on Innovative Computing, Information and Control, ICICIC 2007, IEEE Computer Society, 2nd International Conference on Innovative Computing, Information and Control, ICICIC 2007, Kumamoto, Japan, 9/5/07. https://doi.org/10.1109/ICICIC.2007.451

@inproceedings{23993f64c4e04e7bbbffc7b025a88761,

title = "Petri net solver for semiconductor manufacturing plan",

abstract = "Petri net model is a widely used versatile tool which can represent a discrete event system such as mechanical system, communication system, and production system. The merit of this model is easiness in handling. Other merit of the model is descriptive easiness in parallel, synchronous operations. In addition, it is applicable to a wide variety of discrete event system due to its excellence in the analytical ability and the handling ability. In this paper, application of Petri net solver by decomposition to the Semiconductor Manufacturing. Numerical results showed the practicability of the proposed method.",

author = "Ryota Maeno and Masami Konishi and Jun Imai and Tatsushi Nishi",

year = "2007",

month = jan,

day = "1",

doi = "10.1109/ICICIC.2007.451",

language = "English",

isbn = "0769528821",

series = "Second International Conference on Innovative Computing, Information and Control, ICICIC 2007",

publisher = "IEEE Computer Society",

booktitle = "Second International Conference on Innovative Computing, Information and Control, ICICIC 2007",

address = "United States",

note = "2nd International Conference on Innovative Computing, Information and Control, ICICIC 2007 ; Conference date: 05-09-2007 Through 07-09-2007",

}

TY - GEN

T1 - Petri net solver for semiconductor manufacturing plan

AU - Maeno, Ryota

AU - Konishi, Masami

AU - Imai, Jun

AU - Nishi, Tatsushi

PY - 2007/1/1

Y1 - 2007/1/1

N2 - Petri net model is a widely used versatile tool which can represent a discrete event system such as mechanical system, communication system, and production system. The merit of this model is easiness in handling. Other merit of the model is descriptive easiness in parallel, synchronous operations. In addition, it is applicable to a wide variety of discrete event system due to its excellence in the analytical ability and the handling ability. In this paper, application of Petri net solver by decomposition to the Semiconductor Manufacturing. Numerical results showed the practicability of the proposed method.

AB - Petri net model is a widely used versatile tool which can represent a discrete event system such as mechanical system, communication system, and production system. The merit of this model is easiness in handling. Other merit of the model is descriptive easiness in parallel, synchronous operations. In addition, it is applicable to a wide variety of discrete event system due to its excellence in the analytical ability and the handling ability. In this paper, application of Petri net solver by decomposition to the Semiconductor Manufacturing. Numerical results showed the practicability of the proposed method.

UR - http://www.scopus.com/inward/record.url?scp=39049136025&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=39049136025&partnerID=8YFLogxK

U2 - 10.1109/ICICIC.2007.451

DO - 10.1109/ICICIC.2007.451

M3 - Conference contribution

AN - SCOPUS:39049136025

SN - 0769528821

SN - 9780769528823

T3 - Second International Conference on Innovative Computing, Information and Control, ICICIC 2007

BT - Second International Conference on Innovative Computing, Information and Control, ICICIC 2007

PB - IEEE Computer Society

T2 - 2nd International Conference on Innovative Computing, Information and Control, ICICIC 2007

Y2 - 5 September 2007 through 7 September 2007

ER -

Petri net solver for semiconductor manufacturing plan

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this