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

[[abstract]]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