Name
Abstract | ||
|---|---|---|
In this paper we illustrate a compositional method for modeling the concurrent execution of working processes in flexible manufacturing systems (FMS) through a special class of Petri Nets that we call S-3 PR. In essence, this class is built from state machines sharing a set of plates modeling the availability of system resources. The analysis of S-3 PR leads us to characterize deadlock situations in terms of a zero marking for some structural objects called siphons. In order to prevent the system from deadlocks, we propose a policy for resource allocation based on the addition of new places to the net imposing restrictions that prevent the presence of unmarked siphons (direct cause of deadlocks). Finally, we present the application of this technique to a realistic FMS case. |
Year | DOI | Venue |
|---|---|---|
1995 | 10.1109/70.370500 | IEEE T. Robotics and Automation |
Keywords | Field | DocType |
Petri nets,finite state machines,flexible manufacturing systems,production control,resource allocation,FMS,Petri net,deadlock prevention policy,flexible manufacturing systems,modeling,production control,resource allocation,siphons,state machines,system resource availability,zero marking | Petri net,Deadlock,Computer-integrated manufacturing,Real-time computing,Automation,Finite-state machine,Control engineering,Resource allocation,Flexible manufacturing system,Deadlock prevention algorithms,Mathematics,Distributed computing | Journal |
Volume | Issue | ISSN |
11 | 2 | 1042-296X |
Citations | PageRank | References |
424 | 24.55 | 8 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| J. Ezpeleta | 1 | 691 | 44.37 |
| J. M. Colom | 2 | 727 | 61.57 |
| J. Martinez | 3 | 424 | 24.55 |