Abstract:Micro-scale effect and multi-field coupling are characteristics of the design of micro-electro-mechanical system (MEMS). However, the current macroscopic structure-oriented CAD systems have not been able to meet the increasing requirements for the design in micrometer scale. Therefore, a flexible design modeling methodology for MEMS based on Petri net is put forward. Firstly, the highly cohesive and low coupling modules are obtained via refining and abstracting the existing CAD systems on the basis of analyzing the design characteristics, framework and process of MEMS. Secondly, the flexible design modeling framework for MEMS based on Petri net is built by associating the Petri net with the modules of the design system. Then, the forward-position places and weighted directed arcs are added to regulate the maximum and minimum tokens of the places to control the number of design flow. Afterwards, the control places are added to format control loops and make concurrent transitions occur orderly to solve the conflicts in concurrent design. Finally, the modules are controlled to operate with the state space results of Petri net. The multiple relationships between the complex design flows are then realized. An independent prototype system using ACIS as geometry modeling kernel has been developed to validate the proposed method with the design of capacitive 3D silicon micro comb drive. The test results proved that the present design methods are extended from top-down, bottom-up and hybrid to flexible design based on Petri net. The product design is no longer restricted to fixed process. It has important significance to improve efficiency and quality of the design of MEMS.

Design and Implementation of a Meta Object Protocol for Colored Petri Net Based on Renew

Flexible Design Modeling Methodology for MEMS Based on Petri Net

Analysis of clock synchronization protocol security using colored Petri net

Research on UML Model Based on Object Colored Petri Net

Modelling and Simulation of Metabolic Networks Petri Nets Approach and Perspective

Modeling, safety verification and optimization of operating procedures in process systems using hybrid Petri nets

Application of Petri Net with Objects in Safety System Process Modeling

The application of Coloured Petri nets in systems analysis

Analyzing Resource Shared Multi-thread Data Acquisition System Based on Colored Petri Net

Methodology of modeling and formal verification based on extended Petri net

Modeling and Performance Evaluation of Collaborative Works Based on Timed Colored Petri Net

Agent-Oriented Colored Petri-Net Based Interactive Protocol Modeling Technologies of Semiconductor Fabrication Line

A Formal Modeling Method based on CPN

A PETRI NETS SIMULATION SYSTEM

A Simulation Modeling Method Based on Petri Net

Interaction Protocols Modeling for Multi-Agent Systems Based on Object-Oriented Petri Nets

Object-Oriented and Petri-net based simulation for robotic assembly system

Modeling electronic institutions with extended colored Petri net

A Method of Analyzing E-commerce Protocols Based on Colored Petri Nets

Petri Net Based Software Testing Scheduling And Selecting

Application of Colored Petri Nets in Software Development