An extension of the linear integer program approach for controller synthesis of DES modeled by Petri nets

2003 ◽  
Author(s):  
Lida Dong ◽  
Weimin Wu ◽  
Hongye Su ◽  
Weijie Mao ◽  
Jian Chu ◽  
...  
Keyword(s):  
Petri Nets ◽  
Integer Program ◽  
Controller Synthesis ◽  
Linear Integer Program ◽  
Program Approach

scholarly journals Developing and Deploying Electronics Assembly Line Optimization Tools: A Motorola Case Study

2008 ◽  
Vol 2 (2) ◽  
pp. 63-78 ◽  
Author(s):  
Thomas M. Tirpak
Keyword(s):  
Optimization Problem ◽  
Integer Program ◽  
Production Equipment ◽  
Electronics Assembly ◽  
Cycle Times ◽  
Linear Integer Program ◽  
Planning Decision ◽  
Placement Accuracy ◽  
High Degree

The assignment of workloads to production equipment is one category of planning decision for an electronics assembly factory. In practice, line balancing requires not only selecting machines with sufficient placement accuracy and feeder capacity, but also address- ing a host of other operational objectives and constraints. Motorola Labs led a multi-year effort to apply mathematical programming to balance a variety of production mix and vol- ume scenarios. By representing the optimization problem as a specially structured, mixed linear-integer program, we were able to incorporate a high degree of reality in the model, simultaneously optimizing fixed setups, handling custom parts, maximizing machine uptime, and mitigating secondary bottlenecks. This paper presents the story of how we developed and deployed a software solution that significantly improved assembly cycle times, setup changeovers, and overall factory productivity, saving the company tens of millions of dollars.

Maximally permissive controller synthesis for time Petri nets

2013 ◽  
Vol 86 (3) ◽  
pp. 493-511 ◽  
Author(s):  
Parisa Heidari ◽  
Hanifa Boucheneb
Keyword(s):  
Petri Nets ◽  
Controller Synthesis ◽  
Time Petri Nets
Sign in / Sign up

Export Citation Format

Share Document