Abstract:This work present a new class of Petri nets extended from systems of simple sequential processes with resources (S/sup 3/PR)[J, Ezpeleta et al., 1995] for modeling manufacturing systems where only parts can interact with resources, and resources alone cannot interact with one another. The new class of net that is called ES/sup 3/PR where deadlocks are related to unmarked siphons. ES/sup 3/PR properly includes S/sup 3/PR, augmented marked graphs and sub-classes of RCN merged nets where firing a transition may only generate parallel process for parts. As a result, ES/sup 3/PR can model far more complex manufacturing process flows and resource sharing than these nets. We also present an algorithm of deadlock prevention for the class of Petri nets. The proposed method is an iterative approach by adding two kinds of control places called ordinary control place and weighted control place to the original model to prevent siphons from being unmarked. One is added a control place to an original net with its related arcs such that the controlled net is still an ordinary Petri net; the other is added a control place to the net with its related arcs such the controlled net become to a generalized Petri net. In addition, the weighted control place assures that there are no new unmarked siphons generated. We have obtained the relation of the proposed algorithm and the liveness and reversibility of the controlled net. Finally, a flexible manufacturing example is presented for illustrating the method.

Modelling and Analysis of UPnP AV Media Player System Based on Petri Nets

Petri Nets Model of Emergency Control System for Shipping

Vulnerability Analysis of Clock Synchronization Protocol Using Stochastic Petri Net

Networked manufacturing system based on UPnP

Modelling and Simulation of Metabolic Networks Petri Nets Approach and Perspective

Petri Net Modeling And Performance Analyzing For Mgc

Modeling and Analyzing Distributed Real-time and Embedded Systems with High-Level Petri Nets

Application of Petri Net with Objects in Safety System Process Modeling

Intelligent Industry Monitoring Network Architecture Upnp Based

Status Monitoring and Fault Diagnosis Network System Based on Universal Plug and Play

Performability Analysis of Avionics System with Multilayer HM/FM Using Stochastic Petri Nets

Study on Intelligent Industrial Monitoring Network Frame Based on UPnP

Modeling and Analysis of Cyber–Physical System Based on Object-Oriente Generalized Stochastic Petri Net

Modeling And Analysis Of Stage Machinery Control Systems By Timed Colored Petri Nets

A Synchronous Model Applied to the Distributed Multimedia System

Research on Model-Checking Based on Petri Nets

Modeling UML Sequence Diagrams Using Extended Petri Nets.

Modeling Uncertainties Involved with Software Development with a Stochastic Petri Net.

Using uml and petri nets for the design and verification of a railway interlocking system

Modeling and Analysis of Manufacturing Systems Using a New Class of Petri Nets

A Formal Model of Satellite Communication System Network Control Protocol Based on Generalized Stochastic Petri Nets