ERCN* Merged Nets for Modeling Degraded Behavior and Parallel Processes in Semiconductor Manufacturing Systems

Jeng, MuDer; Xie, Xiaolan; Chung, Sheng‐Luen

doi:10.1109/tsmca.2003.820579

Cited by 50 publications

(18 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [19], Jeng and Xie present a new class of Petri nets called process nets with resources (PNR) for modeling FMS, which can model far more complex manufacturing process flows. In [20], Jeng and Xie present the extended resource control net merged nets (ERCN*), and they show that the conditions for liveness of an ERCN* can be transformed into inequalities of the initial markings. In [21], Huang and Jeng present a deadlock prevention algorithm for the extended S 3 PR nets called ES 3 PR, which is also called systems of simple sequential processes with multiple resources (S 3 PMR).…”

Section: Introductionmentioning

confidence: 99%

An algorithm to find the condition on initial markings of resource places and job places for liveness of S3PMR

Wang

Yan

2010

Ieee Icca 2010

View full text Add to dashboard Cite

In this paper, an algorithm is proposed to find the condition on initial markings of resource places and job places for liveness of S 3 PMR. The algorithm first finds the strict minimal siphons that can be unmarked. Then, the condition on initial markings is computed under which a strict minimal can't be unmarked. Finally, the condition on initial markings of resource places and job places for liveness of S 3 PMR is generated. Different from the previous control policies that add monitors to the system, this paper focuses on properly setting the initial markings to get a live model, which avoids the structurally complex supervisors. A simple example is used to illustrate the application of the algorithm.

show abstract

Section: Introductionmentioning

confidence: 99%

An algorithm to find the condition on initial markings of resource places and job places for liveness of S3PMR

Wang

Yan

2010

Ieee Icca 2010

View full text Add to dashboard Cite

show abstract

“…Petri nets [16][17][18] have been widely used in industry for modeling and analyzing computer-based systems such as intelligent mobile robots and semiconductor manufacturing systems [19][20]. There is some related work to our approach that uses Petri nets for deadlock detection and avoidance.…”

Section: Related Workmentioning

confidence: 99%

Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets

Robidoux

Xing

et al. 2010

IEEE Trans. Syst., Man, Cybern. A

124

View full text Add to dashboard Cite

Abstract-Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static representations of system reliability properties. A recent extension to RBD, called dynamic reliability block diagrams (DRBD), defines a framework for modeling dynamic reliability behavior of computer-based systems. However, analyzing a DRBD model in order to locate and identify design errors, such as a deadlock error or faulty state, is not trivial when done manually. A feasible approach to verifying it is to develop its formal model, and then analyze it using programmatic methods. In this paper, we first define a reliability markup language (RML) that can be used to formally describe DRBD models. Then we present an algorithm that automatically converts a DRBD model into a colored Petri net (CPN). We use a case study to illustrate the effectiveness of our approach and demonstrate how system properties of a DRBD model can be verified using an existing Petri net tool. Our formal modeling approach is compositional, thus it provides a potential solution to automated verification of DRBD models. Index Terms-System

show abstract

“…0, h(t) ¼ 0, and h(t) , 0) increases, maintains and decreases the number of tokens in S. Definition 5 [6]:…”

Section: Definitionsmentioning

confidence: 99%

“…Thus, if one follows the method in [5], there is no dependent siphon (defined in [6]). Thus, a better way to find elementary siphons for weighted S 3 PR (WS 3 PR) is shown via an example where there is no dependent siphon based on Li's approach.…”

Section: An Examplementioning

confidence: 99%

Modified definition of characteristic P-vector for elementary siphons in a class of Petri nets

Chao

2010

IET Control Theory &Amp; Applications

View full text Add to dashboard Cite

ERCN* Merged Nets for Modeling Degraded Behavior and Parallel Processes in Semiconductor Manufacturing Systems

Cited by 50 publications

References 18 publications

An algorithm to find the condition on initial markings of resource places and job places for liveness of S3PMR

An algorithm to find the condition on initial markings of resource places and job places for liveness of S3PMR

Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets

Modified definition of characteristic P-vector for elementary siphons in a class of Petri nets

Contact Info

Product

Resources

About