Systematic modeling and implementation of a resource planning system for virtual enterprise by Predicate/Transition net

While fierce competition impels many of the commercial markets into a low-profit environment, virtual enterprise (VE) appears as a business strategy for small and medium-sized enterprises (SMEs) to alley together. However, to support the operations of a VE, a resource planning system (RPS) is required. In this study, a systematic and hierarchical approach which consists of top-down modeling and bottom-up implementation steps is proposed and used for developing the RPS. Following this approach, a Predicate/Transition (Pr/Tr) net model for resource planning is derived. In addition, activity-based costing (ABC) is applied to provide a financial measure, profit, which is believed to be more meaningful in a collaborative environment. The Pr/Tr net model is further transformed into Horn clauses, and implemented by a logical programming language, Visual Prolog. Finally, a RPS which contains graphical user interface, model and knowledge database is developed. In the RPS, the goals and dispatching rules can be easily included and evaluated. In addition, the schedules based on the best dispatching rule can be generated. An example of horizontal collaborative manufacturing is used to illustrate the application of the RPS and the generation of the schedules.

[1]  Chris Salafatinos,et al.  Modelling resource supply and demand: Expanding the utility of ABC , 1996 .

[2]  Jörn W. Janneck,et al.  Modeling a die bonder with Petri nets: a case study , 1998 .

[3]  R. C. Leachman,et al.  A production planning methodology for semiconductor manufacturing based on iterative simulation and linear programming calculations , 1996 .

[4]  Tadao Murata,et al.  A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs , 1988, IEEE Trans. Software Eng..

[5]  E. Laitinen.  A dynamic performance measurement system: evidence from small Finnish technology companies , 2002 .

[6]  Timo Pirttilä,et al.  Activity-based costing and distribution logistics management , 1995 .

[7]  Hong-Sen Yan,et al.  Modelling, scheduling and simulation of flexible manufacturing systems using extended stochastic high-level evaluation Petri nets , 1998 .

[8]  A. Giordana,et al.  Modelling Production Systems by means of Predicate-Transitions Networks , 1985, Inf. Sci..

[9]  A Koestler,et al.  Ghost in the Machine , 1970 .

[10]  Tommy W. S. Chow,et al.  Higher-Order Petri Net Models Based on Artificial Neural Networks , 1997, Artif. Intell..

[11]  Tadao Murata,et al.  Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs , 1989, IEEE Trans. Software Eng..

[12]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[13]  N. S. Ong,et al.  Manufacturing cost estimation for PCB assembly: An activity-based approach , 1995 .

[14]  Lawrence M. Wein,et al.  Scheduling semiconductor wafer fabrication , 1988 .

[15]  Xiaofei Xu,et al.  Dynamic organization and methodology for agile virtual enterprises , 2000, Journal of Computer Science and Technology.

[16]  I. Mezgár,et al.  Co-operative production planning for small- and medium-sized enterprises , 2000 .

[17]  R. Cooper.  How Cost Accounting Distorts Product Costs , 1988 .

[18]  Reha Uzsoy,et al.  A REVIEW OF PRODUCTION PLANNING AND SCHEDULING MODELS IN THE SEMICONDUCTOR INDUSTRY PART I: SYSTEM CHARACTERISTICS, PERFORMANCE EVALUATION AND PRODUCTION PLANNING , 1992 .

[19]  Mauricio G. C. Resende,et al.  Closed-loop job release control for VLSI circuit manufacturing , 1988 .

[20]  Günter Schmidt,et al.  Modelling production scheduling systems , 1996 .

[21]  David L. Woodruff,et al.  CONWIP: a pull alternative to kanban , 1990 .

[22]  H.-P. Hsu,et al.  An activity-based predicate/transition net model of operational control planning for a flexible manufacturing system , 2004 .

[23]  T. Simatupang,et al.  THE COLLABORATIVE SUPPLY CHAIN. , 2002 .

[24]  H.-P. Hsu,et al.  The implementation of an activity-based costing collaborative planning system for semiconductor backend production , 2005 .

[25]  Hartmann J. Genrich,et al.  Predicate/Transition Nets , 1986, Advances in Petri Nets.

[26]  Pravin K. Johri,et al.  Practical issues in scheduling and dispatching in semiconductor wafer fabrication , 1993 .

[27]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[28]  Song Huang,et al.  A TCPN based approach to model the coordination in virtual manufacturing organizations , 2004, Comput. Ind. Eng..