Modeling Methods And Key Technologies For Enterprise Informatization Systems Based On Petri Net

The integration of manufacturing controlling and enterprisemanagement became a new trend since the end of 1980s. Although theinformation systems such as ERP and CRM help to improve management,the automatic device helps to improve the production efficiency, we haveto communicate between the information systems and manufacturingsystems, which are the reasons we have to build EnterpriseInformatization Systems.The research and application of Enterprise Informatization Systems,including the development and research of Petri net in this field areinvestigated. After comparing discrete manufacturing system, continuousprocessing system and mixture manufacturing system, we present a A~3architecture for mixture manufacturing system. We introduce a costmessage focused information integration method to solve the informationintegration problem.According to the requirements of different layers in A~3 architecture,we build models for corresponding problems in different layer. Theunification of models base on Petri net in different layers provides a newway to solve the problems such as system integration caused by differentmodeling technologies in the same system.To represent Horn clause logic program, we present a new Petri netmodel-Horn Clause Inference Petri Net (HIPN), and also show someimportant properties of HIPN. We present a new reasoning algorithm onHIPN which takes the idea of traditional refinement strategy. By makingfull use of the intermediate results obtained during reasoning process, thealgorithm reduces duplicated reasoning steps that may occur in othercurrent T-invariant methods. The new methods can reach the goal infewer steps and so, is more efficient.Subnets are analyzed and classified according to their properties, therelationship between a subnet and its environment is investigated. We present the idea of interface standardization and subnet normalization.We also research the method to decompose and refine a system model byT-subnet, present a kind of subnet—engineering subne, to satisfy therequirement of hierarchical system model. Some important properties ofengineering subnet are present and proved. Almost all primary properties,such as safety, boundness and reversibility will be kept when a model istranslated by an engineering subnet. Engineering subnet forms thefoundation of structural system design.The technology of translating a static IDEFO model to correspondingdynamic Petri net model is presented in chapter 6, which indicates it'spossible to design and develop a system with Petri net instead oftraditional method. To divide the system into subsystems automaticallywe present a clustering algorithm on the basic of incidence matrix.Functions and data analysis on Petri net model overcomes shortcomingsof traditional U/C matrix based method and has been proved to be moreefficient.Enterprise Informatization Systems are being widely researched andpracticed nowadays. Petri net is one of the most important tools in thefield of system modeling, analysis and development. The study ofEnterprise Informatization System structure and method to develop suchsystems by Petri net facilitates and promotes enterprise informatization.