Dynamic scheduling with petri-net modeling and constraint-based schedule editing for flexible manufacturing systems

2007 ◽  
pp. 913-922
Author(s):  
Makoto Tsukiyama ◽  
Kazuyuki Mori ◽  
Toyoo Fukuda
Keyword(s):  
Petri Net ◽  
Flexible Manufacturing ◽  
Flexible Manufacturing Systems ◽  
Manufacturing Systems ◽  
Dynamic Scheduling

Design of Optimized Petri Net Supervisors for Flexible Manufacture Systems Based on Elementary Siphons

2013 ◽  
pp. 322-342
Author(s):  
Mingming Yan
Keyword(s):  
Petri Net ◽  
Flexible Manufacturing ◽  
Flexible Manufacturing Systems ◽  
Manufacturing Systems ◽  
Deadlock Prevention ◽  
Excellent Performance ◽  
Plant Model ◽  
Elementary Siphon ◽  
Flexible Manufacture ◽  
Major Target

This chapter focuses on the deadlock prevention problems in Flexible Manufacturing Systems (FMS), and the major target is to design more excellent controllers that lead to a more permissive supervisor by adding a smaller number of monitors and arcs than the existing ones in the literature for the design of liveness-enforcing Petri net supervisors. The authors distinguish siphons in a Petri net model by elementary and dependent ones. For each elementary siphon, a monitor is added to the plant model such that it is invariant-controlled without generating emptiable control-induced siphons, and the controllability of a dependent siphon is ensured by changing the control depth variables of its related elementary siphons. Hence, a structurally simple Petri net supervisor is achieved. Based on the previous work, this chapter explores two optimized deadlock prevention approaches based on elementary siphons that can achieve the same control purpose and have more excellent performance.

Petri Net Based Deadlock Prevention Approach for Flexible Manufacturing Systems

2011 ◽  
pp. 416-433 ◽  
Author(s):  
Chunfu Zhong ◽  
Zhiwu Li
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Flexible Manufacturing ◽  
Mixed Integer Linear Programming ◽  
Flexible Manufacturing Systems ◽  
Manufacturing Systems ◽  
Iteration Step ◽  
Mixed Integer ◽  
Deadlock Prevention ◽  
Prevention Approach

In flexible manufacturing systems, deadlocks usually occur due to the limited resources. To cope with deadlock problems, Petri nets are widely used to model these systems. This chapter focuses on deadlock prevention for flexible manufacturing systems that are modeled with S4R nets, a subclass of generalized Petri nets. The analysis of S4R leads us to derive an iterative deadlock prevention approach. At each iteration step, a non-max-controlled siphon is derived by solving a mixed integer linear programming. A monitor is constructed for the siphon such that it is max-controlled. Finally, a liveness-enforcing Petri net supervisor can be derived without enumerating all the strict minimal siphons.

Sign in / Sign up

Export Citation Format

Share Document