Linear algebraic and linear programming techniques for the analysis of place/transition net systems

Silva, M.; Teruel, Enrique; Colom, José Manuel

doi:10.1007/3-540-65306-6_19

Cited by 185 publications

(192 citation statements)

References 62 publications

Supporting

Mentioning

178

Contrasting

Unclassified

Order By: Relevance

“…Two FMS examples are used to evaluate our deadlock prevention policy [12][13][14][15][16][17][18][19][20][21][22][23] . Example I: An FMS is shown in Figure 10 12 .…”

Section: Resultsmentioning

confidence: 99%

A Computationally Improved Optimal Solution for Deadlocked Problems of Flexible Manufacturing Systems Using Theory of Regions

Pan¹

2012

Petri Nets - Manufacturing and Computer Science

View full text Add to dashboard Cite

“…Two FMS examples are used to evaluate our deadlock prevention policy [12][13][14][15][16][17][18][19][20][21][22][23] . Example I: An FMS is shown in Figure 10 12 .…”

Section: Resultsmentioning

confidence: 99%

A Computationally Improved Optimal Solution for Deadlocked Problems of Flexible Manufacturing Systems Using Theory of Regions

Pan¹

2012

Petri Nets - Manufacturing and Computer Science

View full text Add to dashboard Cite

“…Introducing places {p2 , p3 , p4 } to put an order in the use of the robot: t21 -p2 -t1 , t1 -p3 -tb, tb-p4 -t22 (observe that p1 , for t22 -p1 -t21 , is equal to M2idle, and so it is already present and marked), the place representing the idle state of the robot becomes concurrently implicit [55], thus it can be removed for any time interpretation, and a marked graph is found (see Fig. 6).…”

Section: On the Optimal Scheduling: Performance Controlmentioning

confidence: 99%

Petri Nets and Manufacturing Systems: An Examples-Driven Tour

Recalde

Silva

Ezpeleta

et al. 2004

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain (see for example [54,15,18]; besides, in [66] an important bibliography is presented). This paper provides an examples-driven perspective. Nevertheless, not only complete examples from the application domain are considered. Manufacturing systems are frequently large systems, and conceptual complexity often appears because of some particular "local" constructions. The examples considered in this selected tour try to introduce in a progressive way some applied concepts and techniques. The starting point is an assembly cell, for which models concerning several phases of the design life-cycle are presented. Afterwards, some pull control and kanban management strategies are modelled. Then, two coloured models of production lines are presented. After that, a manufacturing system with two cells is modelled, and the difficulty of the practical analysis is shown. For very populated manufacturing systems or systems with high cadence, relaxation of discrete event models leads to hybrid and continuous approximations, an example of which will be shortly introduced. Motivation and objectivesPetri Nets (PNs) constitute a well known paradigm for the design and operation of many systems allowing a discrete event view [53]. The purpose of this work is to present, in a tutorial style, some examples in which manufacturing systems are modelled and analysed. Several books about PNs and the design and operation of manufacturing systems have been published at the end of the last century [17,15,65,56,44,66]. In the sequel, the reader is assumed to be introduced to the main concepts in Petri Nets [50,42].Basically a case study driven perspective is provided in this work. Nevertheless, not only full examples from the application domain are considered. Manufacturing systems are frequently large systems, and conceptual complexity appears because of some particular constructions that appear in part of the system.

show abstract

“…Moreover, it can be observed that creates a parallel path between and , so it has no effect on the performance of the model, and can be removed (with the two arcs connected to it) [49]. Similarly, places , , and can also be removed (with their incident arcs) without any effect on the performance of the model as they all create parallel paths (in [37] such places are called "implicit places").…”

Section: Models Of Simple Cluster Toolsmentioning

confidence: 99%

Cluster Tools With Chamber Revisiting—Modeling and Analysis Using Timed Petri Nets

Zuberek

2004

IEEE Trans. Semicond. Manufact.

View full text Add to dashboard Cite

Abstract-Timed Petri nets are formal models of discrete concurrent systems. Since the durations of all activities are included in the model descriptions, many performance characteristics can be derived from such models. In the case of cluster tools, net models represent the flow of wafers through the chambers of the tool as well as consecutive actions performed by the robotic transporter. Steady-state performance of cluster tools with chamber revisiting is investigated in this paper. A systematic development of detailed tool schedules, based on a general behavioral description of the tool, is proposed and is used to derive the corresponding Petri net models. Symbolic performance characteristics of the modeled tools are obtained by using place invariants, without exhaustive reachability analysis. Simple examples presented in the paper can be easily extended in many ways.

show abstract

Linear algebraic and linear programming techniques for the analysis of place/transition net systems

Cited by 185 publications

References 62 publications

A Computationally Improved Optimal Solution for Deadlocked Problems of Flexible Manufacturing Systems Using Theory of Regions

A Computationally Improved Optimal Solution for Deadlocked Problems of Flexible Manufacturing Systems Using Theory of Regions

Petri Nets and Manufacturing Systems: An Examples-Driven Tour

Cluster Tools With Chamber Revisiting—Modeling and Analysis Using Timed Petri Nets

Contact Info

Product

Resources

About