Siphons and traps have been extensively used and investigated for... behavior of a Petri net. The siphons are structures which...

advertisement
Siphons and traps have been extensively used and investigated for the structural analysis techniques
behavior of a Petri net. The siphons are structures which allow for some implications on the nets can
be well controlled by adding a control place (called monitor) for each uncontrolled siphon in the net in
order to become deadlock-free situation in the system. Also, it’s have appeared to play a special role
in the aliveness analysis of a Petri nets (PNs), especially in ordinary ones. From the structured
properties of PN can investigated in correctness to solve for concurrent systems. Structural properties
such as siphons can be check directly on the Petri net and have the advantage of low computational
complexity. Siphons can be to characterize deadlock states and solve deadlock problems in Petri nets
that model of flexible manufacturing systems (FMSs) involving a resource allocation system. The
deadlock control is usually concerned with minimal siphons. Structural analysis techniques behavior in
Petri nets are investigates the relationship between the behavior and structures of the net. In this
paper, a computer simulation system, the Petri Net Toolbox in MATLAB environment, which is based
on analytical model (Place/ Transition-net) of concurrent processes from the reusable resources that
is aim mainly at providing for control of system, is present.
Download