Dissertation > Excellent graduate degree dissertation topics show

Modeling Methods and Key Technologies for Enterprise Informatization Systems Based on Petri Net

Author: WangZhiJian
Tutor: CaiZiXing
School: Central South University
Course: Control Theory and Control Engineering
Keywords: Enterprise Informatization system Petri net logic inference subnet system development
CLC: TP311.52
Type: PhD thesis
Year: 2007
Downloads: 1313
Quote: 5
Read: Download Dissertation

Abstract


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.

Related Dissertations

  1. The Electric Power Steering System,U463.4
  2. Research on Rainfall Erosivity in Jiangsu Province,S157.1
  3. The Evolution of Chinese Corporate Archives Management System,G275.9
  4. Study on Growth Predicting Technique Based on Integration of Remotely Sensed Information and Crop Model in Rice,S511
  5. Study on Growth Monitoring and Predicting Technique Based on Integration of Remote Sensed Information and Model in Wheat,S512.1
  6. Research on Petri Net-based Service-Oriented Modeling of Information Management Software,TP311.52
  7. Research and design of the classification of materials and optimize retrieval system,TP311.13
  8. Shanghai Garment Group library management system design and implementation,TP311.52
  9. Zhejiang Textile \u0026 Fashion Institute of Technology Design and Implementation of Network Test System,TP311.52
  10. Disposal of Dynamic Modification in Workflow,TP311.52
  11. Small and medium sized logistics enterprises Distribution Management System Design and Implementation,TP311.52
  12. Based on the three-tier system design and implementation building lease,TP311.52
  13. Petri net -based network intrusion detection system Research and Implementation,TP393.08
  14. Research on multi-role social networks,TP393.09
  15. Equipment support component-based business information systems design and implementation,TP311.52
  16. Depot -based software process mining research,TP311.52
  17. Ultrasonic nondestructive testing high-performance embedded systems and their applications research,TH878.2
  18. Research on Cost Control Technology for Design Phase of Motorcar Product,U462
  19. A Stochastic Petri-net-based Approach for Analysis of BPEL-based Web Service Composition,TP393.09
  20. Based on the Zend Framework of the Enterprise Office System Design and Realization,TP311.52
  21. Modeling and performance evaluation of workflow systems based on high-level Petri nets,TP311.52

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer software > Program design,software engineering > Software Engineering > Software Development
© 2012 www.DissertationTopic.Net  Mobile