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.

Petri Net Model of Architecture-Based Software Process

Flexible Design Modeling Methodology for MEMS Based on Petri Net

Petri Nets Model of Emergency Control System for Shipping

Petri Net Based Software Testing Scheduling And Selecting

Open Problems in Petri Net Modeling and Simulation of Biological Systems.

The Analysis of Production Process Management Model Based on Petri Nets

Process Definition and Property Analysis in Workflow Systems Using Petri Nets and Software Component Technology

Software Architectural Modelling and Verification: A Petri Net and Temporal Logic Approach

Application of Petri Net with Objects in Safety System Process Modeling

A Multi-View Software Process Model Based on Object Petri Nets

The application of Coloured Petri nets in systems analysis

Modeling Multi-View Software Process with Object Petri Nets.

New Hierarchical Workflow Process Model Based on Petri Nets

Process Model of Collaborative Design Based on Petri Nets

Analysis of process modeling methods

A Simulation Modeling Method Based on Petri Net

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

Research on Model-Checking Based on Petri Nets

Method of Assessing Operational Effectiveness of Space Equipment Architecture Based on Petri Net

An Approach to Model Cross-organizational Processes Using Object Petri Net

Modeling And Analysis Of Enterprise Processes