Colored Petri net model for significant reduction of invariants in flexible manufacturing systems

Shah, Shaukat Ali; Bohez, Erik L. J.; Shah, Kamran; Haq, Izhar Ul; Azam, Khizar; Anwar, Shahzad

doi:10.1007/s00170-016-8864-1

Cited by 12 publications

(7 citation statements)

References 28 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The PN concept, which was developed by Dr Carl Petri as part of his PhD dissertation, is a reliability method applied to modelling and assessment of non-deterministic, parallel systems [64]. As an extremely versatile technique, it can be used to evaluate redundant systems, manufacturing systems, and safety-critical elements, among others [57,102,103]. The technique can be used as a graphical tool -for aiding visual communication, and as a mathematical toolfor developing mathematical models which govern the behaviour of systems [104].…”

Section: Petri Net (Pn)mentioning

confidence: 99%

Subsea blowout preventer (BOP): Design, reliability, testing, deployment, and operation and maintenance challenges

Shafiee

Elusakin

Enjema

2020

Journal of Loss Prevention in the Process Industries

View full text Add to dashboard Cite

show abstract

Section: Petri Net (Pn)mentioning

confidence: 99%

Subsea blowout preventer (BOP): Design, reliability, testing, deployment, and operation and maintenance challenges

Shafiee

Elusakin

Enjema

2020

Journal of Loss Prevention in the Process Industries

View full text Add to dashboard Cite

show abstract

“…To simplify the Petri-net model of a manufacturing system, certain sub-net approaches have been presented, such as the PPN [21], S 3 PR [22] and S 4 PR [23]. In addition, a colored Petri net (CPN) can reduce the total number of places in a model [24].…”

Section: Petri Netsmentioning

confidence: 99%

The Internet of Things Enabled Shop Floor Scheduling and Process Control Method Based on Petri Nets

Tian

Zhang

2019

IEEE Access

View full text Add to dashboard Cite

Shop floor scheduling requires consideration of the dynamic, time-varying, and unpredictable natures of the manufacturing environment. A shop floor scheduling/rescheduling method based on Petri net and ant colony optimization (PN-ACO) is proposed given an abnormal event represented by machine breakdown. Because of the difficulty to schedule in the complex and changeable internal and external environment of the shop floor, an Internet-of-Things (IoT)-enabled process control method is proposed, using sensors, RFID, industrial wireless communication, automatic identification, and other technologies to perceive the shop floor field. The value of the mean relative error is 1.77, which illustrates the feasibility and efficiency of the proposed PN-ACO algorithm to solve flexible job shop scheduling problems. To represent operation sequencing information, a schedule timed transition Petri net (TTPN) is proposed which is evolved from the TTPN. On the basis of the mapping mechanism between the Petri net model and the XML, manufacturing resources become autonomous and interactive distributed intelligent manufacturing resources. The experimental results confirm that the proposed method is effective for scheduling and process control of the IoT-enabled shop floor. INDEX TERMS Internet of Things enabled shop floor, dynamic scheduling, ant colony optimization, Petri nets, XML, RFID.

show abstract

“…In the literature, many authors have investigated Petri net transformation methods to mitigate the problem of state space explosion. The three popular transformations of Petri net are refinement [11,[16][17][18][19][20][21][22][23][24][25][26][27][28][29], reduction [30][31][32][33], and synthesis [12,14,[34][35][36][37][38][39].…”

Section: Introductionmentioning

confidence: 99%

The Refinement of Petri Net with Inhibitor Arcs Based Representation for Embedded Systems

Xia

Wang

2022

Electronics

View full text Add to dashboard Cite

Embedded systems are widely used in various devices. PRES+ (Petri net- based Representation for Embedded Systems) has been used to model and analyze embedded systems. However, it cannot characterize the priority of events, and cannot fully express the complex data flow and control flow. To solve this problem, inhibitor arcs are added to PRES+ and PIRES+ (PRES+ with Inhibitor arcs) is obtained. However, PIRES+’s state space explosion problem is a handicap when modeling, verifying, and controlling complex, large embedded systems. To mitigate the state space explosion problem of PIRES+ and analyze complex embedded systems, we propose the place refinement approach and the place set refinement approach for PIRES+. Under specific conditions, several important properties of PIRES+, such as timing, functionality, reachability, liveness, and boundedness, are preserved by using these refinement approaches. In order to illustrate the effectiveness of these refinement methods, as an example, the modeling and analysis of a network communication system is proposed. The refinement methods proposed have certain feasibility and practicability and provide a more practical theoretical basis for the modeling of some embedded systems.

show abstract

Colored Petri net model for significant reduction of invariants in flexible manufacturing systems

Cited by 12 publications

References 28 publications

Subsea blowout preventer (BOP): Design, reliability, testing, deployment, and operation and maintenance challenges

Subsea blowout preventer (BOP): Design, reliability, testing, deployment, and operation and maintenance challenges

The Internet of Things Enabled Shop Floor Scheduling and Process Control Method Based on Petri Nets

The Refinement of Petri Net with Inhibitor Arcs Based Representation for Embedded Systems

Contact Info

Product

Resources

About