Computer-aided design and simulation of strip layout for progressive die planning using Petri nets

Size: px
Start display at page:

Download "Computer-aided design and simulation of strip layout for progressive die planning using Petri nets"

Transcription

1 Special Issue Article Computer-aided design and simulation of strip layout for progressive die planning using Petri nets Advances in Mechanical Engineering 2016, Vol. 8(4) 1 9 Ó The Author(s) 2016 DOI: / aime.sagepub.com Hussein Mohamed A Hussein 1, Shailendra Kumar 2 and Emad S Abouel Nasr 1,3 Abstract Planning of strip layout is one of the important activities of progressive die design in sheet metal industries. The optimum and economical die design mainly depends on the design of strip layout. Many methodologies are used to determine optimum strip layout, but there is no literature available for strip-layout simulation. Petri net is one of the most suitable methodologies for simulation of strip layout. In this article, two research contributions are described (1) to apply the visual Petri net to simulate the sequential workstations in the strip layout of part and (2) to integrate the parametric design of strip layout and simulation using Petri-net technique. To demonstrate the present research contribution, two case studies are also discussed. Keywords Sheet metal, strip layout, progressive die, Petri net Date received: 3 November 2015; accepted: 21 March 2016 Academic Editor: ZhiWu Li Introduction The planning of strip layout is the first activity of die design process. The decision made during strip-layout planning plays a vital role not only in the design of progressive die but also economical production of defectfree sheet metal parts. The progressive die design is a complex, time-consuming, error-prone, and highly experience-based activity. 1 The degree of complexity of progressive die design increases with the increase in number of die stations. The process of strip layout has many stages, including design, process planning, optimization, simulation, and verification. Many researchers have applied efforts to develop computer-aided systems for strip-layout planning of progressive die. For example, Ngoi and Chua 2 applied the knowledgebased approach to describe the strip-layout features, design, and planning. Lin et al. 1 studied the application of Petri net (PN) in strip-layout planning in two dimensions (2D) including shearing operations. This model includes 5 shearing stations, 16 places, and 8 transitions. Later on Lin and Horng 3 extended their work to include shearing operations in three dimensions (3D). The model includes 12 stations, 25 places, and 17 transitions. Lin and colleagues 1,3 used the discrete technique in their work. Chu et al. 4 used graph method for strip-layout design of progressive die. This 1 Department of Mechanical Engineering, Faculty of Engineering, Helwan University, Cairo, Egypt 2 Department of Mechanical Engineering, S. V. National Institute of Technology, Surat, India 3 Industrial Engineering Department, College of Engineering, King Saud University, Riyadh, Saudi Arabia Corresponding author: Hussein Mohamed A Hussein, Department of Mechanical Engineering, Faculty of Engineering, Helwan University, Cairo 11732, Egypt. hmahuss@hotmail.com Creative Commons CC-BY: This article is distributed under the terms of the Creative Commons Attribution 3.0 License ( which permits any use, reproduction and distribution of the work without further permission provided the original work is attributed as specified on the SAGE and Open Access pages ( open-access-at-sage).

2 2 Advances in Mechanical Engineering approach incorporates rules and heuristics used by human process planning experts and synthesizes the reasoning process using graph theoretic algorithms. Chang et al. 5 applied genetic algorithm (GA) technique for design of strip layout. Kumar and colleagues 6,7 developed an intelligent system to design the strip layout for progressive die parametrically. The PN methodology can be used in modeling, simulation, and performance analysis of strip-layout planning. In this study, two research contributions are described. A visual PN code called HPSim is constructed to simulate the strip-layout design of the designed workstations. This strip-layout system has used the continuous technique inside PN. The second contribution is the development of an integrated system to integrate the parametric strip-layout design as prepared by Kumar and colleagues 6,7 and the PN simulation module. This integrated system is built on the platform of AutoCAD software. Two case studies are taken from the work of Kumar and colleagues 6,7 to demonstrate the present contributions. Strip layout It involves laying out the material strip of sheet metal to be passed through the eccentric press in order to produce stamping parts exactly as per the part design. It also determines the number of working and idle workstations, punched, blanked, bent, or formed features at each workstation and the operation sequence at each workstation of progressive die. The productivity, accuracy, cost, and quality of progressive die as well as sheet metal parts that will be produced depend to large extent on strip-layout planning. Therefore, the design of strip layout is considered as one of the important activities of progressive die design. The design of strip layout is a part of process planning of die design. The process planning of progressive die design involves the following three steps: 1. Unfolding the 3D sheet metal stamping part into a flat pattern; 2. Nesting of parts to maximize the strip utilization; 3. Deciding the number of stations on progressive die and sequence of operations on each workstation. This is termed as strip layout. On the basis of strip layout, the progressive die is to be designed and manufactured. Progressive die is an assembled unit of various components such as die block, punches (piercing, blanking, etc.), pilots, pitch punches, punch plate, strippers, guide plates, die-set, and fasteners. Nowadays, commercial computer-aided design (CAD) systems are being used worldwide for part modeling, unfolding, and nesting. But design of strip layout is still done manually by experienced die designers. Only few studies have been reported in the literature for automation of design of strip layout. 7 In sheet metal industries, it is still believed that design of strip layout is an art rather than a science. Recent advances in CAD and artificial intelligence (AI) have given opportunity to the researchers to develop automated systems with built-in intelligence to ease complexity in progressive die design including strip layout. PNs PNs are a mathematical and graphical modeling tool applicable to many systems. It is first suggested by Carl Petri in 1962 during his PhD work. It was used for modeling, simulating, and analyzing the discrete event dynamic systems. Now, it is an important tool for studying and describing information processing systems that are characterized as being asynchronous, concurrent, parallel, distributed, nondeterministic, and/or stochastic. A PN or place/transition net N is a four-tuple (P, T, F,W) where P and T are finite, non-empty sets, and disjoint sets. P is a set of places, and T is a set of transitions, elements belonging. The basic concepts of PN and the advantages of using PN in the construction of system modeling and simulation are described in detail by Lin et al., 1 Lin and Chua, 3 Peterson, 8 and Li and colleagues. 9,10 For the details of PNs, the reader is referred to the study by Li and Zhou. 11 PNs have found their extensive application in, control, 11 modeling, 12 particularly deadlock control, scheduling, 12,15,17 23 and performance analysis 18,19 of resource allocation systems, particularly flexible manufacturing systems Note that when PNs are used to model a resource allocation system, they are two modeling paradigms: resourceoriented Petri nets (ROPNs) and process-oriented Petri nets (POPNs). 12 The former can usually provide a convenient and compact model compared with the latter. However,thePOPNsareusedbymoreresearchersthan ROPNs Planning of shearing-cut strip layout using Petri-net approach The bottom-up synthesis method of PN is more suitable for planning the workstations of progressive die for shearing operations. The reason is that for the bottomup method construction, each subsystem (i.e. single punching die workstation) is typical and actual solid equipment in the real world. Thus, corresponding relationship of each subsystem merging with the entire system will be more direct.

3 Hussein et al. 3 Figure 1. Single punching station s working process. Steps of the PN graph construction for shearing-cut strip layout for progressive die workstation are follows: the state of this level (subsystem) is the actual single punching station equipment in an actual factory (single die s workstation) as shown in Figure 1. Analysis of the movement operation sequence and changes of conditions of these single punching stations can establish the PN graph of these stations. In the primary PN graph, all places are state places denoting the working conditions. The flow of tokens represents changes of the punching state of the working of a die workstation. The upper-level control center mainly connects the operation of all working stations inside the lower level and monitors working conditions of various working stations. Therefore, the reason why the primary PN of this control center can be established is mainly based on the functions that can be executed by the subsystems and the analysis of their output and input parameters. The construction of the primary PN of this control center mainly relies on the function that can be executed by subsystems and the analysis of the input and output conditions. The primary PN graph of the control center is also the basis of reference base of the system s control logic. The so-called communication place denotes the basis of communication with the upper and lower levels. These communication places appear at all die workstations and the PN graph of the upper level in pairs. These pairs represent response of the conditions of the various levels in the system. Tokens of the communication places can flow between the upper and lower levels in the PN graph to denote the condition of message communication during the workstation of the shearingcut progressive die. The so-called compensation for upper and lower dies offset displacement exist for the following reason. During the working process of tile shearing-cut progressive die, the imbalance between the torque on both sides along the upper and lower tiles causes an offset displacement. The communication of compensation message serves its command delivery and response of condition to let designers change the initial design according to the scale of the upper and lower die offset displacement. The communication of a compensation message can deliver its orders and report the states. Designers can change the initial design based on the Figure 2. Sheet metal part (all dimensions are in mm). 6 amount of the upper and lower dies displacement to avoid unbalanced moment on the right and the left sides during the working process of the shearing-cut progressive dies. Case Studies Case study 1 Description of PN in a strip layout. Figure 2 shows the sheet metal part and Figure 3 depicts the strip layout automatically generated by the intelligent system as proposed by Kumar and Singh. 7 Figure 4 shows the PN graph of the places representation. There are five places in Figure 4(a) and two transitions in Figure 4(b). Describing the working actions of a punch press is shown in Figure 4(b). It should be noted that a punch press machine means a die workstation at this time. When a punch press machine is idle, p1 sends an order. Therefore, p1 is also called a communication place. When the punch press machine is idle and a message arrives (p2 and p4 have tokens), the punch press machine begins to punch the workpiece (st means that t1 is fired). At this moment, tokens start to shift. After the tokens of p1, p2, and p4 are shifted out, it means that the punch press machine is not idle. When a token is shifted to p3, it means that the punch press machine is processing a workpiece, as shown in Figure 4(c). At last, t2 is fired as shown in Figure 4(d), which also signifies that the punch press machine has finished the punch work. At this time, tokens are shifted. The token of p3 is shifted out and the tokens are shifted to places p2, p4, and p5. Place p5 indicates the completion of punch

4 4 Advances in Mechanical Engineering Figure 3. Strip layout for the sheet metal part (Figure 2). 6 Figure 4. PN of the places representation: (a) representation of places, (b) initial working state of a single punching station, (c) PN graph after the firing of t1, and (d) PN graph after the firing of t2. work while p4 reports to the system of initial state that indicates the punch press machine is idle at this time. When p1 sends an order (input of information concerning workpiece to be punched), another new cycle is initiated by the firing of various places and transitions. After the primary PN graphs of sub-levels (such as mentioned above, the working process of a simple punch press machine) are established, the bottom-up synthesis method introduced earlier is applied to expand the working conditions of various workstations into a complete structural graph of the shearing-cut progressive die working system.

5 Hussein et al. 5 Figure 5. The visual PN for the continuous technique for strip layout (case study 1). Figure 6. Sheet metal part. 6 In this example, a shearing-cut progressive die working system containing five workstations is considered. At this time, the workstation likes the major construction of a simple punch press work, where the first workstation does the guiding hole punching and the other workstations are for punching and blanking. After passing through five workstations, the workpiece goes out from the last station and the shearing-cut progressive die working is completed; Figure 5 shows the Figure 7. Strip layout of a typical sheet metal part shown in Figure 6. 6 sequence of continuous PN technique which represents the strip-layout working.

6 6 Advances in Mechanical Engineering Figure 8. The visual PN for the discrete technique for strip layout. Case study 2 Figure 7 shows the strip layout for a typical sheet metal part shown in Figure 6 which taken from the work of Kumar. 6 The PN graph of this strip layout is illustrated in Figure 8. PetriCAD for strip layout AutoCAD customization and programming have wide applications in many engineering applications. The power of AutoCAD comes from its 2D drafting module. The visual Petri-net program represents the network also in 2D drafting. Also the Petri-net application for strip-layout simulation uses small part of the Petri-net possibilities. Kumar 6 has developed a computer-aided system for automatic strip-layout design for progressive dies. The system is constructed using AutoCAD software. Adding the PN as an extra module to the automated strip layout will certainly enhance the capability of the system. The next section discusses about AutoCAD programming and customization to be a Petri-net module for strip layout. The system description The proposed system integrates intelligent system for strip-layout design (ISSLD) module developed by Kumar 6 and the new module which called PetriCAD Figure 9. The Petri net items in the PetriCAD module. constructed in this study. The ISSLD module generates strip layout automatically in the drawing editor of AutoCAD software. The data input for ISSLD module is the 2D part drawing. The module also stores its output data such as number of stations, detail of operations performed at each station, punch number, punch dimension in a data file, and 2D drawing of strip layout in a drawing file. The developed PetriCAD module receives its input from the output data file of ISSLD module. The module is connected with script file which include a number of circles which denote places, lines and arrows which denote transition, closed donuts which denote tokens, and text to be inserted beside each place with the name of operation. The script file is connected with AutoLISP, which receive the data file and reconstruct the number of station on the AutoCAD screen using a simple loop. The AutoLISP includes some of the PN

7 Hussein et al. 7 Figure 10. The discrete simulation steps for case study 2 based on PetriCAD module. Figure 11. The continuous simulation steps for case study 2 based on PetriCAD module.

8 8 Advances in Mechanical Engineering rules which direct serve in the strip-layout problem and connected with the AutoCAD script file to draw the PN graph as in Figure 9. The script file includes a number of layers which are controlled by the code. The token represents as AutoCAD donut and put in each circle, which represent place. The token is placed on a number of layers, some of them are hidden and some appear as layers. As the script starts working to represent the PN for strip layout as programmed by AutoLISP, the movement of token will represent as layer hidden from the departure place and layer appear in the arrival place. In the same way, the transition will change its color from black to green, to represent the movement from station to other. The whole system is represented in AutoCAD screen as shown in Figure 10 for discrete simulation and Figure 11 for continuous simulation. Conclusion Continuous simulation for the strip layout using PN is presented in this article. Continuous technique is most suitable and logical to simulate this kind of problems. The AutoCAD programming can be used to visualize the PN simulation for the strip layout. The suggested PN model in this study is quite simple and certainly it is an effective technique for more sophisticated striplayout designs. Declaration of conflicting interests The author(s) declared no potential conflicts of interest with respect to the research, authorship, and/or publication of this article. Funding The author(s) disclosed receipt of the following financial support for the research, authorship, and/or publication of this article: This work was funded by the National Plan for Science, Technology and Innovation (MAARIFAH), King Abdulaziz City for Science and Technology, Kingdom of Saudi Arabia (Award Number 12-INF ). References 1. Lin ZC, Chang JM and Lu WC. Application of Petri Net in the planning of shearing-cut progressive die s workstation. J Chin Soc Mech Eng 1999; 2: Ngoi KBN and Chua CK. A knowledge-based system for strip layout design. Comput Ind 1994; 25: Lin ZC and Horng JT. The feature-based sheet metal design and development system. Int J Mater Prod Tec 2000; 15: Chu CY, Tor SB and Britton GA. Graph theoretic algorithm for automatic operation sequencing for progressive die design. Int J Prod Res 2008; 46: Chang HC, Tsai YT and Chiu KT. A novel optimal working process in the design of parametric progressive dies. Int J Adv Manuf Tech 2007; 33: Kumar S. A contribution to the development of knowledge-based system for intelligent design of progressive dies. PhD Thesis, Faculty of Engineering and Technology, Maharshi Dayanand University Rohtak, Rohtak, India, Kumar S and Singh R. Automation of strip-layout design for sheet metal work on progressive die. J Mater Process Tech 2008; 195: Peterson JL. Petri net theory and the modeling of system. Englewood Cliffs, NJ: Prentice Hall, Inc., Li ZW and Zhou MC. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE T Syst Man Cy A 2004; 34: Chen YF, Li ZW, Barkaoui K, et al. On the enforcement of a class of nonlinear constraints on Petri nets. Automatica 2015; 55: Li ZW and Zhou MC. Deadlock resolution in automated manufacturing systems: a novel Petri net approach (Advances in industrial control). London: Springer- Verlag, Wu NQ and Zhou MC. Deadlock resolution in automated manufacturing systems with robots. IEEE T Autom Sci Eng 2007; 4: Ye JH, Li ZW and Giua A. Decentralized supervision of Petri nets with a coordinator. IEEE T Syst Man Cyb 2015; 45: Li ZW, Wu NQ and Zhou MC. Deadlock control of automated manufacturing systems based on Petri nets a literature review. IEEE T Syst Man Cy C 2012; 42: Wu NQ, Zhou M and Li ZW. Resource-oriented Petri net for deadlock avoidance in flexible assembly systems. IEEE T Syst Man Cy A 2008; 38: Li ZW, Liu GY, Hanisch M-H, et al. Deadlock prevention based on structure reuse of Petri net supervisors for flexible manufacturing systems. IEEE T Syst Man Cy A 2012; 42: Wu NQ, Bai LP and Chu CB. Modeling and conflict detection of crude oil operations for refinery process based on controlled colored timed Petri net. IEEE T Syst Man Cy C 2007; 37: Wu NQ and Zhou MC. Shortest routing of bidirectional automated guided vehicles avoiding deadlock and blocking. IEEE/ASME T Mech 2007; 12: Wu NQ and Zhou MC. Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles. IEEE T Syst Man Cy B 2005; 35: Wu NQ and Zhou MC. Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems based on a Petri net model. IEEE T Robotic Autom 2001; 17: Wu NQ. Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model. IEEE T Syst Man Cy C 1999; 29:

9 Hussein et al Yang FJ, Wu NQ, Qiao Y, et al. Scheduling of singlearm cluster tools for an atomic layer deposition process with residency time constraints. IEEE T Syst Man Cyb. Epub ahead of print 29 January DOI: / TSMC Ezpeleta J, Colom JM and Martinez J. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE T Robotic Autom 1995; 11: Ghaffari A, Nidhal N and Xie XL. Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE T Robotic Autom 2003; 19: Piroddi L, Cordone R and Fumagalli I. Combined siphon and marking generation for deadlock prevention in Petri nets. IEEE T Syst Man Cy A 2009; 39: Uzam M. An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. Int J Adv Manuf Tech 2002; 19: Ma ZY, Li ZW and Giua A. Design of optimal Petri net controllers for disjunctive generalized mutual exclusion constraints. IEEE T Automat Contr 2015; 60: Li ZW and Zhao M. On controllability of dependent siphons for deadlock prevention in generalized Petri nets. IEEE T Syst Man Cy A 2008; 38: Zhang JF, Khalgui M, Li ZW, et al. Reconfigurable coordination of distributed discrete event control systems. IEEE T Contr Syst T 2015; 23: Chen YF, Li ZW and Barkaoui K. New Petri net structure and its application to optimal supervisory control: interval inhibitor arcs. IEEE T Syst Man Cyb 2014; 44: Chen YF and Li ZW. Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems. Automatica 2011; 47: Wu NQ, Zhou MC and Li ZW. Short-term scheduling of crude-oil operations: Petri net-based control-theoretic approach. IEEE Robot Autom Mag 2015; 22:

Systemic Solutions to Deadlock in FMS

Systemic Solutions to Deadlock in FMS Systemic Solutions to Deadlock in FMS Xu gang, Wu zhi Ming Abstract In order to solve deadlock in FMS, an integrated design method for FMS is presented. This method is based on deadlock free scheduling,

More information

A Literature Review of Deadlock Prevention Policy Based on Petri Nets for

A Literature Review of Deadlock Prevention Policy Based on Petri Nets for A Literature Review of Deadlock Prevention Policy Based on Petri Nets for Automated Manufacturing Systems 1 Xuanxuan Guan, 2 Yue Li, 3 Jianxia Xu, 4 Chengying Wang, 5,6 Shouguang Wang 1,2,3,4 School of

More information

Runtime Monitoring of Multi-Agent Manufacturing Systems for Deadlock Detection Based on Models

Runtime Monitoring of Multi-Agent Manufacturing Systems for Deadlock Detection Based on Models 2009 21st IEEE International Conference on Tools with Artificial Intelligence Runtime Monitoring of Multi-Agent Manufacturing Systems for Deadlock Detection Based on Models Nariman Mani, Vahid Garousi,

More information

A Fast Method for Extracting all Minimal Siphons from Maximal Unmarked Siphons of a Petri Net

A Fast Method for Extracting all Minimal Siphons from Maximal Unmarked Siphons of a Petri Net 582 JOURNAL OF SOFTWARE, VOL. 9, NO. 3, MARCH 2014 A Fast Method for Extracting all Minimal Siphons from Maximal Unmarked Siphons of a Petri Net Qiaoli Zhuang School of Information Science and Technology,

More information

Functional Modeling in Conceptual Die Design

Functional Modeling in Conceptual Die Design Functional Modeling in Conceptual Die Design S. B. Tor*, G. A. Britton, and W. Y. Zhang * Singapore-MIT Alliance (SMA) Fellow, SMA-NTU Office, N2-B2C-15 Nanyang Technological University, Nanyang Avenue,

More information

A systematic approach for the sequence controller design in manufacturing systems

A systematic approach for the sequence controller design in manufacturing systems Int J Adv Manuf Technol (2005) 25: 754 760 DOI 10.1007/s00170-003-1902-9 ORIGINAL ARTICLE Jin-Shyan Lee Pau-Lo Hsu A systematic approach for the sequence controller design in manufacturing systems Received:

More information

SIMULATION STUDY OF FLEXIBLE MANUFACTURING CELL BASED ON TOKEN-ORIENTED PETRI NET MODEL

SIMULATION STUDY OF FLEXIBLE MANUFACTURING CELL BASED ON TOKEN-ORIENTED PETRI NET MODEL ISSN 1726-4529 Int j simul model 15 (2016) 3, 566-576 Original scientific paper SIMULATION STUDY OF FLEXIBLE MANUFACTURING CELL BASED ON TOKEN-ORIENTED PETRI NET MODEL Nie, X. D. *,** ; Chen, X. D. **

More information

An Algorithm to Compute a Basis of Petri Net Invariants

An Algorithm to Compute a Basis of Petri Net Invariants An Algorithm to Compute a Basis of Petri Net Invariants S. Cayir and M. Ucer Electronics and Communication Department, Istanbul Technical University, Istanbul, Turkey cayirs@itu.edu.tr and murvet@ehb.itu.edu.tr

More information

Research Article Modeling and Simulation Based on the Hybrid System of Leasing Equipment Optimal Allocation

Research Article Modeling and Simulation Based on the Hybrid System of Leasing Equipment Optimal Allocation Discrete Dynamics in Nature and Society Volume 215, Article ID 459381, 5 pages http://dxdoiorg/11155/215/459381 Research Article Modeling and Simulation Based on the Hybrid System of Leasing Equipment

More information

Principles of E-network modelling of heterogeneous systems

Principles of E-network modelling of heterogeneous systems IOP Conference Series: Materials Science and Engineering PAPER OPEN ACCESS Principles of E-network modelling of heterogeneous systems Related content - ON A CLASS OF OPERATORS IN VON NEUMANN ALGEBRAS WITH

More information

Deadlock Avoidance in Flexible Manufacturing Systems Using Finite Automata

Deadlock Avoidance in Flexible Manufacturing Systems Using Finite Automata 424 IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, VOL. 16, NO. 4, AUGUST 2000 TABLE IV NUMERICAL RESULTS FOR EXAMPLE 3 REFERENCES [1] H. Chen, C. Chu, and J. M. Proth, A more efficient Lagrangian relaxation

More information

Deadlock Avoidance For Flexible Manufacturing Systems With Choices Based On Digraph Circuit Analysis

Deadlock Avoidance For Flexible Manufacturing Systems With Choices Based On Digraph Circuit Analysis Deadlock Avoidance For Flexible Manufacturing Systems With Choices Based On Digraph Circuit Analysis Wenle Zhang and Robert P. Judd School of Electrical Engineering and Computer Science Ohio University

More information

CODING TCPN MODELS INTO THE SIMIO SIMULATION ENVIRONMENT

CODING TCPN MODELS INTO THE SIMIO SIMULATION ENVIRONMENT CODING TCPN MODELS INTO THE SIMIO SIMULATION ENVIRONMENT Miguel Mujica (a), Miquel Angel Piera (b) (a,b) Autonomous University of Barcelona, Faculty of Telecommunications and Systems Engineering, 08193,

More information

PETRI NET MODELLING OF CONCURRENCY CONTROL IN DISTRIBUTED DATABASE SYSTEM

PETRI NET MODELLING OF CONCURRENCY CONTROL IN DISTRIBUTED DATABASE SYSTEM PETRI NET MODELLING OF CONCURRENCY CONTROL IN DISTRIBUTED DATABASE SYSTEM Djoko Haryono, Jimmy Tirtawangsa, Bayu Erfianto Abstract- The life time of transaction is divided into two stages: executing stage

More information

AN OBJECT-ORIENTED VISUAL SIMULATION ENVIRONMENT FOR QUEUING NETWORKS

AN OBJECT-ORIENTED VISUAL SIMULATION ENVIRONMENT FOR QUEUING NETWORKS AN OBJECT-ORIENTED VISUAL SIMULATION ENVIRONMENT FOR QUEUING NETWORKS Hussam Soliman Saleh Al-Harbi Abdulkader Al-Fantookh Abdulaziz Al-Mazyad College of Computer and Information Sciences, King Saud University,

More information

TIMED PETRI NETS FOR SOFTWARE APPLICATIONS

TIMED PETRI NETS FOR SOFTWARE APPLICATIONS The International Workshop on Discrete-Event System Design, DESDes 01, June 27 29, 2001; Przytok near Zielona Gora, Poland TIMED PETRI NETS FOR SOFTWARE APPLICATIONS Grzegorz ANDRZEJEWSKI Computer Engineering

More information

Computer-aided structural design of punches and dies for progressive die based on functional component

Computer-aided structural design of punches and dies for progressive die based on functional component Int J Adv Manuf Technol (2011) 54:837 852 DOI 10.1007/s00170-010-3006-7 ORIGINAL ARTICLE Computer-aided structural design of punches and dies for progressive die based on functional component Zhi-Xin Jia

More information

SOLVING DEADLOCK STATES IN MODEL OF RAILWAY STATION OPERATION USING COLOURED PETRI NETS

SOLVING DEADLOCK STATES IN MODEL OF RAILWAY STATION OPERATION USING COLOURED PETRI NETS SOLVING DEADLOCK STATES IN MODEL OF RAILWAY STATION OPERATION USING COLOURED PETRI NETS Michal Žarnay University of Žilina, Faculty of Management Science and Informatics, Address: Univerzitná 8215/1, Žilina,

More information

A SMIL Editor and Rendering Tool for Multimedia Synchronization and Integration

A SMIL Editor and Rendering Tool for Multimedia Synchronization and Integration A SMIL Editor and Rendering Tool for Multimedia Synchronization and Integration Stephen J.H. Yang 1, Norman W.Y. Shao 2, Kevin C.Y. Kuo 3 National Central University 1 National Kaohsiung First University

More information

Synthesis of An Event Based Supervisor For Deadlock Avoidance In Semiconductor Manufacturing Systems

Synthesis of An Event Based Supervisor For Deadlock Avoidance In Semiconductor Manufacturing Systems Synthesis of An Event Based Supervisor For Deadlock Avoidance In Semiconductor Manufacturing Systems Wenle Zhang School of Electrical Engineering and Computer Science Ohio University Athens, Ohio 45701

More information

Petri Nets ee249 Fall 2000

Petri Nets ee249 Fall 2000 Petri Nets ee249 Fall 2000 Marco Sgroi Most slides borrowed from Luciano Lavagno s lecture ee249 (1998) 1 Models Of Computation for reactive systems Main MOCs: Communicating Finite State Machines Dataflow

More information

Seamless design methodology of manufacturing cell-control software based on activity-control-condition and object diagram

Seamless design methodology of manufacturing cell-control software based on activity-control-condition and object diagram Seamless design methodology of manufacturing cell-control software based on activity-control-condition and object diagram TOYOAKI TOMURA, SATOSHI KANAI and TAKESHI KISHINAMI Abstract. A manufacturing cell

More information

First Looks: Striker Systems' Die Professional Software for stamping dies by Pat Davis

First Looks: Striker Systems' Die Professional Software for stamping dies by Pat Davis Page 1 of 5 First Looks: Striker Systems' Die Professional Software for stamping dies by Pat Davis Die Professional is a collection of six products from Striker Systems-SS-DESIGN, SS-UNFOLD, SS-STRIP,

More information

MANUFACTURING SYSTEM MODELING USING PETRI NETS

MANUFACTURING SYSTEM MODELING USING PETRI NETS International Conference on Economic Engineering and Manufacturing Systems Braşov, 26 27 November 2009 MANUFACTURING SYSTEM MODELING USING PETRI NETS Daniela COMAN, Adela IONESCU, Mihaela FLORESCU University

More information

Petri Nets ~------~ R-ES-O---N-A-N-C-E-I--se-p-te-m--be-r Applications.

Petri Nets ~------~ R-ES-O---N-A-N-C-E-I--se-p-te-m--be-r Applications. Petri Nets 2. Applications Y Narahari Y Narahari is currently an Associate Professor of Computer Science and Automation at the Indian Institute of Science, Bangalore. His research interests are broadly

More information

Engineering applications using CAD based application programming interface

Engineering applications using CAD based application programming interface Engineering applications using CAD based application programming interface Anastasios Tzotzis 1, Cesar Garcia-Hernandez 2, Jose-Luis Huertas-Talon 2, Dimitrios Tzetzis 3, and Panagiotis Kyratsis 1, 1 Western

More information

OPTIMIZING PRODUCTION WORK FLOW USING OPEMCSS. John R. Clymer

OPTIMIZING PRODUCTION WORK FLOW USING OPEMCSS. John R. Clymer Proceedings of the 2000 Winter Simulation Conference J. A. Joines, R. R. Barton, K. Kang, and P. A. Fishwick, eds. OPTIMIZING PRODUCTION WORK FLOW USING OPEMCSS John R. Clymer Applied Research Center for

More information

DEADLOCK AVOIDANCE FOR FLEXIBLE MANUFACTURING SYSTEMS WITH CHOICES BASED ON DIGRAPH CIRCUIT ANALYSIS

DEADLOCK AVOIDANCE FOR FLEXIBLE MANUFACTURING SYSTEMS WITH CHOICES BASED ON DIGRAPH CIRCUIT ANALYSIS Asian Journal of Control, Vol. 9, No. 2, pp. 111-120, June 2007 111 DEADLOCK AVOIDANCE FOR FLEXIBLE MANUFACTURING SYSTEMS WITH CHOICES BASED ON DIGRAPH CIRCUIT ANALYSIS Wenle Zhang and Robert P. Judd ABSTRACT

More information

Formal Modeling for Persistence Checking of Signal Transition Graph Specification with Promela

Formal Modeling for Persistence Checking of Signal Transition Graph Specification with Promela , March 15-17, 2017, Hong Kong Formal Modeling for Persistence Checking of Signal Transition Graph Specification with Promela Kanut Boonroeangkaow, Arthit Thongtak and Wiwat Vatanawood Abstract Signal

More information

A Quality of Service Decision Model for ATM-LAN/MAN Interconnection

A Quality of Service Decision Model for ATM-LAN/MAN Interconnection A Quality of Service Decision for ATM-LAN/MAN Interconnection N. Davies, P. Francis-Cobley Department of Computer Science, University of Bristol Introduction With ATM networks now coming of age, there

More information

WEEK 5 - APPLICATION OF PETRI NETS. 4.4 Producers-consumers problem with priority

WEEK 5 - APPLICATION OF PETRI NETS. 4.4 Producers-consumers problem with priority 4.4 Producers-consumers problem with priority The net shown in Fig. 27 represents a producers-consumers system with priority, i.e., consumer A has priority over consumer B in the sense that A can consume

More information

From Task Graphs to Petri Nets

From Task Graphs to Petri Nets From Task Graphs to Petri Nets Anthony Spiteri Staines Department of Computer Inf. Systems, Faculty of ICT, University of Malta Abstract This paper describes the similarities between task graphs and Petri

More information

HYBRID PETRI NET MODEL BASED DECISION SUPPORT SYSTEM. Janetta Culita, Simona Caramihai, Calin Munteanu

HYBRID PETRI NET MODEL BASED DECISION SUPPORT SYSTEM. Janetta Culita, Simona Caramihai, Calin Munteanu HYBRID PETRI NET MODEL BASED DECISION SUPPORT SYSTEM Janetta Culita, Simona Caramihai, Calin Munteanu Politehnica University of Bucharest Dept. of Automatic Control and Computer Science E-mail: jculita@yahoo.com,

More information

Composability Test of BOM based models using Petri Nets

Composability Test of BOM based models using Petri Nets I. Mahmood, R. Ayani, V. Vlassov and F. Moradi 7 Composability Test of BOM based models using Petri Nets Imran Mahmood 1, Rassul Ayani 1, Vladimir Vlassov 1, and Farshad Moradi 2 1 Royal Institute of Technology

More information

The World s Leading Stamping Die Design Software for AutoCAD!

The World s Leading Stamping Die Design Software for AutoCAD! DIE is a comprehensive suite of AutoCAD based software products designed to automate many facets of the stamping die design process. DIE software modules can operate independently to address specific design

More information

Open Access A Sequence List Algorithm For The Job Shop Scheduling Problem

Open Access A Sequence List Algorithm For The Job Shop Scheduling Problem Send Orders of Reprints at reprints@benthamscience.net The Open Electrical & Electronic Engineering Journal, 2013, 7, (Supple 1: M6) 55-61 55 Open Access A Sequence List Algorithm For The Job Shop Scheduling

More information

IMPERATIVE PROGRAMS BEHAVIOR SIMULATION IN TERMS OF COMPOSITIONAL PETRI NETS

IMPERATIVE PROGRAMS BEHAVIOR SIMULATION IN TERMS OF COMPOSITIONAL PETRI NETS IMPERATIVE PROGRAMS BEHAVIOR SIMULATION IN TERMS OF COMPOSITIONAL PETRI NETS Leontyev Denis Vasilevich, Kharitonov Dmitry Ivanovich and Tarasov Georgiy Vitalievich ABSTRACT Institute of Automation and

More information

Virtual Plant for Control Program Verification

Virtual Plant for Control Program Verification 2011 International Conference on Circuits, System and Simulation IPCSIT vol.7 (2011) (2011) IACSIT Press, Singapore Virtual Plant for Control Program Verification Sangchul Park 1 + and June S. Jang 2 1

More information

Integration of analytic model and simulation model for analysis on system survivability

Integration of analytic model and simulation model for analysis on system survivability 6 Integration of analytic model and simulation model for analysis on system survivability Jang Se Lee Department of Computer Engineering, Korea Maritime and Ocean University, Busan, Korea Summary The objective

More information

Modeling Routing Constructs to Represent Distributed Workflow Processes Using Extended Petri Nets

Modeling Routing Constructs to Represent Distributed Workflow Processes Using Extended Petri Nets Modeling Routing Constructs to Represent Distributed Workflow Processes Using Extended Petri Nets Mehmet Karay * Final International University, Business Administrative, Toroslar Avenue, No:6, 99370, Catalkoy,

More information

Wenle ZHANG and Ziqiang John MAO

Wenle ZHANG and Ziqiang John MAO INTERNATIONAL JOURNAL OF INTELLIGENT CONTROL AND SYSTEMS VOL. 10, NO. 3, SEPTEMBER 2005, 210-217 Synthesis of an Event Based Supervisor for Deadlock Avoidance in Semiconductor Manufacturing Systems Wenle

More information

Assembly line balancing to minimize balancing loss and system loss

Assembly line balancing to minimize balancing loss and system loss J. Ind. Eng. Int., 6 (11), 1-, Spring 2010 ISSN: 173-702 IAU, South Tehran Branch Assembly line balancing to minimize balancing loss and system loss D. Roy 1 ; D. han 2 1 Professor, Dep. of Business Administration,

More information

Hole Feature on Conical Face Recognition for Turning Part Model

Hole Feature on Conical Face Recognition for Turning Part Model IOP Conference Series: Materials Science and Engineering PAPER OPEN ACCESS Hole Feature on Conical Face Recognition for Turning Part Model To cite this article: A F Zubair and M S Abu Mansor 2018 IOP Conf.

More information

Contents Introduction Petri Net Toolbox at a First Glance... 4

Contents Introduction Petri Net Toolbox at a First Glance... 4 Learning about Petri Ne t Toolbox For Use with MATLAB Version 2.1 Mihaela-Hanako Matcovschi Cristian Mahulea Octavian Pastravanu 2005 Contents Contents... 2 Introduction Petri Net Toolbox at a First Glance...

More information

Fractional cell formation in group technology using modified ART1 neural networks

Fractional cell formation in group technology using modified ART1 neural networks Int J Adv Manuf Technol (2006) 28: 761 765 DOI 10.1007/s00170-004-2421-z ORIGINAL ARTICLE P. Venkumar A. Noorul Haq Fractional cell formation in group technology using modified ART1 neural networks Received:

More information

Decision Science Letters

Decision Science Letters Decision Science Letters 3 (2014) 103 108 Contents lists available at GrowingScience Decision Science Letters homepage: www.growingscience.com/dsl Performance evaluation of enterprise architecture using

More information

Outline. Petri nets. Introduction Examples Properties Analysis techniques. 1 EE249Fall04

Outline. Petri nets. Introduction Examples Properties Analysis techniques. 1 EE249Fall04 Outline Petri nets Introduction Examples Properties Analysis techniques 1 Petri Nets (PNs) Model introduced by C.A. Petri in 1962 Ph.D. Thesis: Communication with Automata Applications: distributed computing,

More information

SIMULATION APPROACH OF CUTTING TOOL MOVEMENT USING ARTIFICIAL INTELLIGENCE METHOD

SIMULATION APPROACH OF CUTTING TOOL MOVEMENT USING ARTIFICIAL INTELLIGENCE METHOD Journal of Engineering Science and Technology Special Issue on 4th International Technical Conference 2014, June (2015) 35-44 School of Engineering, Taylor s University SIMULATION APPROACH OF CUTTING TOOL

More information

Computation of enabled transition instances for colored Petri nets

Computation of enabled transition instances for colored Petri nets Computation of enabled transition instances for colored Petri nets Fei Liu and Monika Heiner Department of Computer Science, Brandenburg University of Technology Postbox 10 13 44, 03013 Cottbus, Germany

More information

Łabiak G., Miczulski P. (IIE, UZ, Zielona Góra, Poland)

Łabiak G., Miczulski P. (IIE, UZ, Zielona Góra, Poland) UML STATECHARTS AND PETRI NETS MODEL COMPARIS FOR SYSTEM LEVEL MODELLING Łabiak G., Miczulski P. (IIE, UZ, Zielona Góra, Poland) The system level modelling can be carried out with using some miscellaneous

More information

DISCRETE-event dynamic systems (DEDS) are dynamic

DISCRETE-event dynamic systems (DEDS) are dynamic IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, VOL. 7, NO. 2, MARCH 1999 175 The Supervised Control of Discrete-Event Dynamic Systems François Charbonnier, Hassane Alla, and René David Abstract The supervisory

More information

Intuitionistic Fuzzy Petri Nets for Knowledge Representation and Reasoning

Intuitionistic Fuzzy Petri Nets for Knowledge Representation and Reasoning Intuitionistic Fuzzy Petri Nets for Knowledge Representation and Reasoning Meng Fei-xiang 1 Lei Ying-jie 1 Zhang Bo 1 Shen Xiao-yong 1 Zhao Jing-yu 2 1 Air and Missile Defense College Air Force Engineering

More information

Discrete Event Simulation and Petri net Modeling for Reliability Analysis

Discrete Event Simulation and Petri net Modeling for Reliability Analysis Discrete Event Simulation and Petri net Modeling for Reliability Analysis * Behrouz Safarinejadian Shiraz University of Technology, safarinejad@sutech.ac.ir Abstract. Analytical methods in reliability

More information

PETRI NET BASED SCHEDULING APPROACH COMBINING DISPATCHING RULES AND LOCAL SEARCH

PETRI NET BASED SCHEDULING APPROACH COMBINING DISPATCHING RULES AND LOCAL SEARCH PETRI NET BASED SCHEDULING APPROACH COMBINING DISPATCHING RULES AND LOCAL SEARCH Gašper Mušič (a) (a) University of Ljubljana Faculty of Electrical Engineering Tržaška 25, Ljubljana, Slovenia (a) gasper.music@fe.uni-lj.si

More information

COMPUTER-AIDED NESTING OF TWO DIMENSIONAL SHAPED FOR PRESS TOOL DESIGN

COMPUTER-AIDED NESTING OF TWO DIMENSIONAL SHAPED FOR PRESS TOOL DESIGN COMPUTER-AIDED NESTING OF TWO DIMENSIONAL SHAPED FOR PRESS TOOL DESIGN Mohammed Wasel Al-Hazmi Ph.D Mechanical Engineering Vice Rector for Branches Umm Al-Qura University Makkah, Kingdom of Saudi Arabia

More information

PETRI NET ANALYSIS OF BATCH RECIPES

PETRI NET ANALYSIS OF BATCH RECIPES Presented at FOCAPO 98, Snowbird, USA. PETRI NET ANALYSIS OF BATCH RECIPES STRUCTURED WITH GRAFCHART Charlotta Johnsson and Karl-Erik Årzén Department of Automatic Control, Lund Institute of Technology,

More information

APETRI net (PN) (cf. [1] [3]) is said to be live if it is possible

APETRI net (PN) (cf. [1] [3]) is said to be live if it is possible IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL 57, NO 2, FEBRUARY 2012 435 On the Existence of Supervisory Policies That Enforce Liveness in Partially Controlled Free-Choice Petri Nets R S Sreenivas, Senior

More information

EE249 Discussion Petri Nets: Properties, Analysis and Applications - T. Murata. Chang-Ching Wu 10/9/2007

EE249 Discussion Petri Nets: Properties, Analysis and Applications - T. Murata. Chang-Ching Wu 10/9/2007 EE249 Discussion Petri Nets: Properties, Analysis and Applications - T. Murata Chang-Ching Wu 10/9/2007 What are Petri Nets A graphical & modeling tool. Describe systems that are concurrent, asynchronous,

More information

Target Tracking in Wireless Sensor Network

Target Tracking in Wireless Sensor Network International Journal of Information & Computation Technology. ISSN 0974-2239 Volume 4, Number 6 (2014), pp. 643-648 International Research Publications House http://www. irphouse.com Target Tracking in

More information

A Assembly Modeling Method Based on Assembly Feature Graph-Tree

A Assembly Modeling Method Based on Assembly Feature Graph-Tree A Assembly Modeling Method Based on Assembly Feature Graph-Tree FENG QI Information Inst. ZheJiang University of Finance & Economics Hangzhou, 310018 P.R.China qqfeng_fly@163.com Abstract: - Assembly model

More information

Centrality Measures to Identify Traffic Congestion on Road Networks: A Case Study of Sri Lanka

Centrality Measures to Identify Traffic Congestion on Road Networks: A Case Study of Sri Lanka IOSR Journal of Mathematics (IOSR-JM) e-issn: 2278-5728, p-issn: 2319-765X. Volume 13, Issue 2 Ver. I (Mar. - Apr. 2017), PP 13-19 www.iosrjournals.org Centrality Measures to Identify Traffic Congestion

More information

FINITE ELEMENT MODELLING AND ANALYSIS OF WORKPIECE-FIXTURE SYSTEM

FINITE ELEMENT MODELLING AND ANALYSIS OF WORKPIECE-FIXTURE SYSTEM FINITE ELEMENT MODELLING AND ANALYSIS OF WORKPIECE-FIXTURE SYSTEM N. M. KUMBHAR, G. S. PATIL, S. S. MOHITE & M. A. SUTAR Dept. of Mechanical Engineering, Govt. College of Engineering, Karad, Dist- Satara,

More information

ON-LINE QUALITATIVE MODEL-BASED DIAGNOSIS OF TECHNOLOGICAL SYSTEMS USING COLORED PETRI NETS

ON-LINE QUALITATIVE MODEL-BASED DIAGNOSIS OF TECHNOLOGICAL SYSTEMS USING COLORED PETRI NETS ON-LINE QUALITATIVE MODEL-BASED DIAGNOSIS OF TECHNOLOGICAL SYSTEMS USING COLORED PETRI NETS Adrien Leitold 1 Miklós Gerzson 2 Anna I. Pózna 2 and Katalin M. Hangos 2,3 1 Department of Mathematics 3 Process

More information

Technical Research on Describing Reconfigurable Systems by Object Oriented Petri net

Technical Research on Describing Reconfigurable Systems by Object Oriented Petri net Technical Research on Describing Reconfigurable Systems by Object Oriented Petri net Jun Guo 1,2 Sheqin Dong 1 Kegang Hao 2 Satoshi Goto 3 1 Dept. of Computer Science of Tsinghua University, Beijin 100084

More information

Fuzzy Logic in Critical Section of Operating System

Fuzzy Logic in Critical Section of Operating System 38 Fuzzy Logic in Critical Section of Operating System Department of Computer Science, University of Mysore, Mysore, India km_farda2006@yahoo.com, amir_rajaei@hotmail.com Abstract: In this paper, the methodology

More information

VLSI Implementation of Parallel CRC Using Pipelining, Unfolding and Retiming

VLSI Implementation of Parallel CRC Using Pipelining, Unfolding and Retiming IOSR Journal of VLSI and Signal Processing (IOSR-JVSP) Volume 2, Issue 5 (May. Jun. 203), PP 66-72 e-issn: 239 4200, p-issn No. : 239 497 VLSI Implementation of Parallel CRC Using Pipelining, Unfolding

More information

Petri Nets. Robert A. McGuigan, Department of Mathematics, Westfield State

Petri Nets. Robert A. McGuigan, Department of Mathematics, Westfield State 24 Petri Nets Author: College. Robert A. McGuigan, Department of Mathematics, Westfield State Prerequisites: The prerequisites for this chapter are graphs and digraphs. See Sections 9.1, 9.2, and 10.1

More information

Design of a Live and Maximally Permissive Petri Net Controller Using the Theory of Regions

Design of a Live and Maximally Permissive Petri Net Controller Using the Theory of Regions IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, VOL. 19, NO. 1, FEBRUARY 2003 137 [5] H. Cho and S. I. Marcus, Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations,

More information

An Approach for Ensuring Security and its Verification

An Approach for Ensuring Security and its Verification An Approach for Ensuring Security and its Verification Suparna Karmakar Department of Information Technology Guru Nanak Institute of Technology Sodepur, Kolkata, West Bengal, India E-mail - karmakarsuparna27@gmail.com

More information

Activity-Oriented Petri Nets: Aligning Real-world Buffers with Virtual Places

Activity-Oriented Petri Nets: Aligning Real-world Buffers with Virtual Places Activity-Oriented Petri Nets: Aligning Real-world Buffers with Virtual Places Reggie Davidrajuh Electrical and Computer Engineering University of Stavanger Stavanger, Norway E-mail: reggie.davidrajuh@uis.no

More information

A Visual Editor for Reconfigurable Object Nets based on the ECLIPSE Graphical Editor Framework

A Visual Editor for Reconfigurable Object Nets based on the ECLIPSE Graphical Editor Framework A Visual Editor for Reconfigurable Object Nets based on the ECLIPSE Graphical Editor Framework Enrico Biermann, Claudia Ermel, Frank Hermann and Tony Modica Technische Universität Berlin, Germany {enrico,lieske,frank,modica}@cs.tu-berlin.de

More information

A Knowledge-based Design Advisory System for Collaborative Design for MicroManufacturing

A Knowledge-based Design Advisory System for Collaborative Design for MicroManufacturing A Knowledge-based Design Advisory System for Collaborative Design for MicroManufacturing X. Dai 1*, Y. Qin 1, L. Ma 2 and N. Juster 1 1 Design, Manufacture and Engineering Management, University of Strathclyde,

More information

Aspects of modelling classical or synchronous modelling with Solid Edge ST 9

Aspects of modelling classical or synchronous modelling with Solid Edge ST 9 MATEC Web of Conferences 112, 0602 (2017) DOI: 10.1051/ matecconf/20171120602 Aspects of modelling classical or synchronous modelling with Solid Edge ST 9 Adrian Mihai Goanta 1,*, and Georgeta Haraga 2

More information

MODERN automated manufacturing systems require. An Extended Event Graph With Negative Places and Tokens for Time Window Constraints

MODERN automated manufacturing systems require. An Extended Event Graph With Negative Places and Tokens for Time Window Constraints IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, VOL. 2, NO. 4, OCTOBER 2005 319 An Extended Event Graph With Negative Places and Tokens for Time Window Constraints Tae-Eog Lee and Seong-Ho Park

More information

A COMPUTER-AIDED SIMULATION ANALYSIS TOOL FOR SIMAN MODELS AUTOMATICALLY GENERATED FROM PETRI NETS

A COMPUTER-AIDED SIMULATION ANALYSIS TOOL FOR SIMAN MODELS AUTOMATICALLY GENERATED FROM PETRI NETS A COMPUTER-AIDED SIMULATION ANALYSIS TOOL FOR SIMAN MODELS AUTOMATICALLY GENERATED FROM PETRI NETS Albert Peñarroya, Francesc Casado and Jan Rosell Institute of Industrial and Control Engineering Technical

More information

Fabrication of partially double-curved surfaces out of flat sheet material through a 3d puzzle approach

Fabrication of partially double-curved surfaces out of flat sheet material through a 3d puzzle approach Fabrication of partially double-curved surfaces out of flat sheet material through a 3d puzzle approach tn03-081 Abstract The topic of this paper is connection of digital modeling with generative programming

More information

The PTC Creo Suite of NC and Tooling Solutions

The PTC Creo Suite of NC and Tooling Solutions The PTC Creo Suite What you need to capitalize on global manufacturing excellence of NC and Tooling Solutions To gain a competitive edge in product development, companies are increasingly leveraging globally

More information

Computer Aided Kinematic Analysis of Toggle Clamping Mechanism

Computer Aided Kinematic Analysis of Toggle Clamping Mechanism IOSR Journal of Mechanical & Civil Engineering (IOSRJMCE) e-issn: 2278-1684,p-ISSN: 2320-334X PP 49-56 www.iosrjournals.org Computer Aided Kinematic Analysis of Toggle Clamping Mechanism S.A. Bhojne 1,

More information

Modular Petri Net Processor for Embedded Systems

Modular Petri Net Processor for Embedded Systems Modular Petri Net Processor for Embedded Systems Orlando Micolini 1, Emiliano N. Daniele, Luis O. Ventre Laboratorio de Arquitectura de Computadoras (LAC) FCEFyN Universidad Nacional de Córdoba orlando.micolini@unc.edu.ar,

More information

Multipatched B-Spline Surfaces and Automatic Rough Cut Path Generation

Multipatched B-Spline Surfaces and Automatic Rough Cut Path Generation Int J Adv Manuf Technol (2000) 16:100 106 2000 Springer-Verlag London Limited Multipatched B-Spline Surfaces and Automatic Rough Cut Path Generation S. H. F. Chuang and I. Z. Wang Department of Mechanical

More information

Qualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification

Qualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification Proceedings of the 2009 IEEE International Conference on Systems, Man, and Cybernetics San Antonio, TX, USA - October 2009 Qualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification

More information

Experience the power of over 25 years of continued development.

Experience the power of over 25 years of continued development. Flattening Software Nesting Software For SOLIDWORKS For Progressive & Transfer Dies as well as for Multislide & Fourslide Tooling DIE Die Design DESIGN BLANK STRIP LAYOUT NESTING... I can design small

More information

BUFFER STOCKS IN KANBAN CONTROLLED (TRADITIONAL) UNSATURATED MULTI-STAGE PRODUCTION SYSTEM

BUFFER STOCKS IN KANBAN CONTROLLED (TRADITIONAL) UNSATURATED MULTI-STAGE PRODUCTION SYSTEM VOL. 3, NO., FEBRUARY 008 ISSN 89-6608 006-008 Asian Research Publishing Network (ARPN). All rights reserved. BUFFER STOCKS IN KANBAN CONTROLLED (TRADITIONAL) UNSATURATED MULTI-STAGE PRODUCTION SYSTEM

More information

DOWNLOAD PDF SYNTHESIZING LINEAR-ARRAY ALGORITHMS FROM NESTED FOR LOOP ALGORITHMS.

DOWNLOAD PDF SYNTHESIZING LINEAR-ARRAY ALGORITHMS FROM NESTED FOR LOOP ALGORITHMS. Chapter 1 : Zvi Kedem â Research Output â NYU Scholars Excerpt from Synthesizing Linear-Array Algorithms From Nested for Loop Algorithms We will study linear systolic arrays in this paper, as linear arrays

More information

Mining with Eve - Process Discovery and Event Structures

Mining with Eve - Process Discovery and Event Structures Mining with Eve - Process Discovery and Event Structures Robin Bergenthum, Benjamin Meis Department of Software Engineering, FernUniversität in Hagen {firstname.lastname}@fernuni-hagen.de Abstract. This

More information

Study on Loading-Machine Production Scheduling Algorithm of Forest-Pulp-Paper Enterprise

Study on Loading-Machine Production Scheduling Algorithm of Forest-Pulp-Paper Enterprise Computer and Information Science; Vol. 10, No. 2; 2017 ISSN 1913-8989 E-ISSN 1913-8997 Published by Canadian Center of Science and Education Study on Loading-Machine Production Scheduling Algorithm of

More information

Modeling and Verification of Deadlock Potentials of a Concurrency Control Mechanism in Distributed Databases Using Hierarchical Colored Petri Net

Modeling and Verification of Deadlock Potentials of a Concurrency Control Mechanism in Distributed Databases Using Hierarchical Colored Petri Net Modeling and Verification of Deadlock Potentials of a Concurrency Control Mechanism in Distributed Databases Using Hierarchical Colored Petri Net Saeid Pashazadeh, Senior Member, IACSIT Abstract Formal

More information

INTEGRATING COLORED PETRI NET AND OBJECT ORIENTED THEORY INTO WORKFLOW MODEL

INTEGRATING COLORED PETRI NET AND OBJECT ORIENTED THEORY INTO WORKFLOW MODEL INTEGRATING COLORED PETRI NET AND OBJECT ORIENTED THEORY INTO WORKFLOW MODEL Zhengli Zhai 1,2 1 Department of Computer Science and Technology, Tongji University, China zhaizhl@163.com 2 Computer Engineering

More information

2.1. Fixture Verification

2.1. Fixture Verification Chapter 2. Literature Review This chapter gives a review of literature related to this work. First the literature related to general fixture verification is reviewed, and then literature in each of the

More information

A Study on Factors Affecting the Non Guillotine Based Nesting Process Optimization

A Study on Factors Affecting the Non Guillotine Based Nesting Process Optimization ISSN (Online) : 2319-8753 ISSN (Print) : 2347-6710 International Journal of Innovative Research in Science, Engineering and Technology Volume 3, Special Issue 3, March 2014 2014 IEEE International Conference

More information

Liveness and Fairness Properties in Multi-Agent Systems

Liveness and Fairness Properties in Multi-Agent Systems Liveness and Fairness Properties in Multi-Agent Systems Hans-Dieter Burkhard FB Informatik Humboldt-University Berlin PF 1297, 1086 Berlin, Germany e-mail: hdb@informatik.hu-berlin.de Abstract Problems

More information

MODELING INTERACTIVE SYSTEMS WITH HIERARCHICAL COLORED PETRI NETS

MODELING INTERACTIVE SYSTEMS WITH HIERARCHICAL COLORED PETRI NETS MODELING INTERACTIVE SYSTEMS WITH HIERARCHICAL COLORED PETRI NETS Mohammed Elkoutbi and Rudolf K. Keller Université de Montréal, DIRO, C.P. 6128, Succursale Centre-ville, Montréal, Canada, H3C 3J7 {elkoutbi,

More information

A reversible data hiding based on adaptive prediction technique and histogram shifting

A reversible data hiding based on adaptive prediction technique and histogram shifting A reversible data hiding based on adaptive prediction technique and histogram shifting Rui Liu, Rongrong Ni, Yao Zhao Institute of Information Science Beijing Jiaotong University E-mail: rrni@bjtu.edu.cn

More information

Open Access Research on the Prediction Model of Material Cost Based on Data Mining

Open Access Research on the Prediction Model of Material Cost Based on Data Mining Send Orders for Reprints to reprints@benthamscience.ae 1062 The Open Mechanical Engineering Journal, 2015, 9, 1062-1066 Open Access Research on the Prediction Model of Material Cost Based on Data Mining

More information

Methods of Technical Risk Assessment in a Regional Context

Methods of Technical Risk Assessment in a Regional Context Methods of Technical Risk Assessment in a Regional Context Wolfgang Kröger, Professor and Head of former Laboratory for Safety Analysis (www.lsa.ethz.ch) Founding Rector of International Risk Governance

More information

Robust time-varying shortest path with arbitrary waiting time at vertices

Robust time-varying shortest path with arbitrary waiting time at vertices Croatian Operational Research Review 525 CRORR 8(2017), 525 56 Robust time-varying shortest path with arbitrary waiting time at vertices Gholamhassan Shirdel 1, and Hassan Rezapour 1 1 Department of Mathematics,

More information

Petri Nets: Properties, Applications, and Variations. Matthew O'Brien University of Pittsburgh

Petri Nets: Properties, Applications, and Variations. Matthew O'Brien University of Pittsburgh Petri Nets: Properties, Applications, and Variations Matthew O'Brien University of Pittsburgh Introduction A Petri Net is a graphical and mathematical modeling tool used to describe and study information

More information

Optimal Synthesis of a Single-Dwell 6-Bar Planar Linkage

Optimal Synthesis of a Single-Dwell 6-Bar Planar Linkage International Journal of Computational Engineering Research Vol, 04 Issue, 2 Optimal Synthesis of a Single-Dwell 6-Bar Planar Linkage Galal A. Hassaan Mechanical Design & Production Department, Faculty

More information

FILTER SYNTHESIS USING FINE-GRAIN DATA-FLOW GRAPHS. Waqas Akram, Cirrus Logic Inc., Austin, Texas

FILTER SYNTHESIS USING FINE-GRAIN DATA-FLOW GRAPHS. Waqas Akram, Cirrus Logic Inc., Austin, Texas FILTER SYNTHESIS USING FINE-GRAIN DATA-FLOW GRAPHS Waqas Akram, Cirrus Logic Inc., Austin, Texas Abstract: This project is concerned with finding ways to synthesize hardware-efficient digital filters given

More information

An Application of Genetic Algorithm for Auto-body Panel Die-design Case Library Based on Grid

An Application of Genetic Algorithm for Auto-body Panel Die-design Case Library Based on Grid An Application of Genetic Algorithm for Auto-body Panel Die-design Case Library Based on Grid Demin Wang 2, Hong Zhu 1, and Xin Liu 2 1 College of Computer Science and Technology, Jilin University, Changchun

More information