Your browser does not support JavaScript!
http://iet.metastore.ingenta.com
1887

Optimal controllability of 2-composed siphons in a class of Petri nets

Optimal controllability of 2-composed siphons in a class of Petri nets

For access to this article, please select a purchase option:

Buy article PDF
£12.50
(plus tax if applicable)
Buy Knowledge Pack
10 articles for £75.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
Electronics Letters — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

Proposesd is a controllability condition of a siphon that is composed of two elementary siphons in a class of Petri nets, Systems of Simple Sequential Processes with Resources (S3PR). It is shown that, under the condition, an S3PR admits a maximally permissive liveness-enforcing supervisor that is expressed by a set of monitors if every dependent siphon is 2-composed, which can be decided by an algorithm with polynomial complexity.

References

    1. 1)
      • Z.W. Li , M.C. Zhou . On siphon computation for deadlock control in a class of Petri nets. IEEE Trans. Syst. Man Cybern. A , 667 - 679
    2. 2)
    3. 3)
    4. 4)
    5. 5)
    6. 6)
      • Z.W. Li , M.C. Zhou . (2009) Deadlock resolution in automated manufacturing systems: A novel Petri net approach.
    7. 7)
      • M. Uzam . An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. Int. J. Adv. Manuf. Technol. , 192 - 208
http://iet.metastore.ingenta.com/content/journals/10.1049/el.2012.2336
Loading

Related content

content/journals/10.1049/el.2012.2336
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
This is a required field
Please enter a valid email address