基於布林函數的派翠西網路模型–以企業資源規劃中庫存管理的系統建模為例

A Boolean-Function Based Petri-Net Model - A Case Study of Modeling Inventory Management System in Enterprise Resource Planning

吳振東(Zhen-Dong Wu)

指導教授 ： 陳興忠

亞洲大學/資訊學院/資訊工程學系碩士班/碩士(2011年)

摘要

派翠西網路是用於架構以及描述系統的一種塑模工具，藉由派翠西網路的性質，可以分析不同狀態所呈現的事件。然而，當派翠西網路系統過於龐大時，事件狀態的複雜度也相對地提高。在本篇論文中，我們使用布林函數提出一種新的塑模方法–BFPN（Boolean-Function Based Petri Net），建立用以描述系統中狀態轉換的BFPN-PTP（Place-Transition-Place）表，降低因事件過多所造成的高複雜度狀態，並且用以清楚地描述複雜的系統轉換過程。本文使用企業資源規劃的庫存管理系統有關的案件和自動烘衣機系統為例，藉由使用不同的建模系統，分析其優勢和弱點。

關鍵字

派翠西網路 ； 企業資源規劃 ； 布林函數

並列摘要

Petri Nets is a modeling tools use to build and describe system, and it used to analyze difference states of events. However, when the system is bigger, the complexity of Petri Nets will be bigger. In this paper, we proposed a new modeling scheme –BFPN (Boolean-Function Based Petri Net) by use Boolean Function, and build a BFPN-PTP (Place-Transition-Place) table to describe the state transition of system. This scheme reduces the state complexity of more events in system, and it describes the process of system states transition very clearly. This paper use enterprise resource planning of the inventory management system related cases and automatic dryers system as an example, by using different modeling systems to analyze their strengths and weaknesses.

並列關鍵字

petri-net ； enterprise resource planning ； Boolean-Function

參考文獻

[26] 戴建耘、饒達親、邱清文、陳世旺，建構一種多媒體派翠西網路系統之延遲處理模型，國立台灣師範大學工業教育學系，師大學報，第61-76頁，1995。

[1] C.A. Petri, “Nets, Time And Space,” theoretical computer science, Vol. 153, 1996.

[3] Jensen, K., ed. Colored Petri Nets Basic Concepts, Analysis Methods and Practical Use. Vol. 1. 1992, Springer-Verlag: Berlin. Chapter 1.

[4] Y. Li, C. M. Woodside, “Complete Decomposition of Stochastic Petri Nets Representing Generalized Service Networks”, IEEE TRANSACTIONS ON COMPUTERS, Vol 44, No. 8, pp.1031-1045, 1995.

[5] J. L. Peterson, (1981). Petri net theory and the modeling of systems.Prentice-Hall, Inc., Englewood Cliffs, N.J..