Design of a Maximally Permissive Liveness-enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems

This paper deals with the problems of computational and structural complexity in designing maximally permissive liveness‐enforcing supervisors for a class of Petri nets called Systems of Simple Sequential Processes with Resources (S3PR) without ξ‐resources. The supervisor consists of two parts: the...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Asian journal of control Ročník 17; číslo 1; s. 190 - 201
Hlavní autoři: Wang, ShouGuang, Zhou, MengChu, Wu, WenHui
Médium: Journal Article
Jazyk:angličtina
Vydáno: Hoboken Blackwell Publishing Ltd 01.01.2015
Wiley Subscription Services, Inc
Témata:
deadlock
discrete event system
Flexible manufacturing system
Flexible manufacturing systems
Petri net
Supervisors
ISSN:1561-8625, 1934-6093
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Abstract This paper deals with the problems of computational and structural complexity in designing maximally permissive liveness‐enforcing supervisors for a class of Petri nets called Systems of Simple Sequential Processes with Resources (S3PR) without ξ‐resources. The supervisor consists of two parts: the first part proposes an algorithm to extract a desired emptied strict minimal siphon (SMS) from a given emptied siphon based on loop resource subsets. This is faster than the existing ones. The second part proposes a siphon‐based deadlock prevention policy, which can obtain a maximally permissive liveness‐enforcing supervisor with reduced structural complexity and no weighted monitors, owing to the contribution of the first part, which can compute a desired SMS such that one with the smallest number of resource places is selected first for control. Several flexible manufacturing systems are used to show the proposed method and its superior performance over the previous ones.
AbstractList This paper deals with the problems of computational and structural complexity in designing maximally permissive liveness-enforcing supervisors for a class of Petri nets called Systems of Simple Sequential Processes with Resources (S3PR) without ξ-resources. The supervisor consists of two parts: the first part proposes an algorithm to extract a desired emptied strict minimal siphon (SMS) from a given emptied siphon based on loop resource subsets. This is faster than the existing ones. The second part proposes a siphon-based deadlock prevention policy, which can obtain a maximally permissive liveness-enforcing supervisor with reduced structural complexity and no weighted monitors, owing to the contribution of the first part, which can compute a desired SMS such that one with the smallest number of resource places is selected first for control. Several flexible manufacturing systems are used to show the proposed method and its superior performance over the previous ones.
This paper deals with the problems of computational and structural complexity in designing maximally permissive liveness‐enforcing supervisors for a class of Petri nets called Systems of Simple Sequential Processes with Resources ( S 3 PR ) without ξ ‐resources. The supervisor consists of two parts: the first part proposes an algorithm to extract a desired emptied strict minimal siphon ( SMS ) from a given emptied siphon based on loop resource subsets. This is faster than the existing ones. The second part proposes a siphon‐based deadlock prevention policy, which can obtain a maximally permissive liveness‐enforcing supervisor with reduced structural complexity and no weighted monitors, owing to the contribution of the first part, which can compute a desired SMS such that one with the smallest number of resource places is selected first for control. Several flexible manufacturing systems are used to show the proposed method and its superior performance over the previous ones.
Author Wu, WenHui
Zhou, MengChu
Wang, ShouGuang
Author_xml – sequence: 1
  givenname: ShouGuang
  surname: Wang
  fullname: Wang, ShouGuang
– sequence: 2
  givenname: MengChu
  surname: Zhou
  fullname: Zhou, MengChu
– sequence: 3
  givenname: WenHui
  surname: Wu
  fullname: Wu, WenHui
BookMark eNp1kE1v1DAQhi1UJNqCxE-wxIVLFjv-So6rBQrVtlQsH0fLceziJbG3ttNu-utxWYQEgsvMSPO8M9JzAo588AaA5xgtMEL1K5W2etEQ8Qgc45bQiqOWHJWZcVw1vGZPwElKW4Q4Jg07BvevTXLXHgYLFbxQezeqYZjhlYmjS8ndGrguxZuUKuNtiNr5a7iZdibeuhQivHP5G_xo-kmbHq7CuBvM3uUZFhQupxxGlcviQvnJKp2n-DM-p2zG9BQ8tmpI5tmvfgo-v33zafWuWn84e79aritNERYVZ1YY2-G27zHWqKYdbQVXRonOcEV6xoloLWFCkY41nFpCFbOIdDVtNVE1OQUvDnd3MdxMJmW5DVP05aXEnAra1KgVhVocKB1DStFYqV1W2QWfo3KDxEg--JUPfmXxWwIv_wrsYrEX53-h1QG9c4OZ_8vJ5eZ89Qfviqj9b17F75ILIpj8enkmyeWXq5pskGzJD2rynYo
CitedBy_id crossref_primary_10_1109_TSMC_2021_3069201
crossref_primary_10_1080_02533839_2018_1498019
crossref_primary_10_1109_ACCESS_2023_3272227
crossref_primary_10_1002_asjc_1583
crossref_primary_10_1155_2015_537893
crossref_primary_10_1109_ACCESS_2017_2720630
crossref_primary_10_1109_ACCESS_2024_3515462
crossref_primary_10_1109_ACCESS_2019_2939855
crossref_primary_10_1109_TAC_2015_2480233
crossref_primary_10_1109_TASE_2022_3164639
crossref_primary_10_1108_EC_03_2016_0091
crossref_primary_10_1109_TSMC_2016_2521833
crossref_primary_10_1109_TSMC_2016_2531648
crossref_primary_10_1109_ACCESS_2019_2920677
crossref_primary_10_1109_TITS_2016_2515063
crossref_primary_10_1177_1687814018787406
crossref_primary_10_3390_pr11082325
crossref_primary_10_1109_ACCESS_2018_2868981
Cites_doi 10.1002/asjc.342
10.1007/s10845-009-0238-1
10.1145/2406336.2406346
10.1109/TSMCA.2012.2204741
10.1007/s00170-008-1473-x
10.1109/TASE.2006.884674
10.1007/BF01438223
10.1109/TSMCA.2012.2226878
10.1109/81.285680
10.1109/TSMCA.2011.2170419
10.1016/j.automatica.2013.07.023
10.1007/s00170-009-1967-1
10.1002/asjc.370
10.1109/TII.2006.885185
10.1109/TSMCA.2009.2013189
10.1109/TSMCA.2003.820576
10.1007/s00170-006-0701-5
10.1109/9.633824
10.1109/TASE.2010.2050059
10.1109/TSMCA.2008.2003535
10.1109/TSMCA.2009.2019880
10.1109/CDC.2010.5717027
10.1007/978-1-4615-5711-1
10.1109/TSMC.2012.2235427
10.1080/00207540500464942
10.1109/TSMCA.2005.853504
10.1145/2406336.2406340
10.1002/asjc.369
10.1109/TSMCA.2010.2059698
10.1109/TSMCA.2012.2187890
10.1587/transfun.E96.A.1783
10.1007/s00170-007-1110-0
10.1109/TSMCA.2011.2159590
10.1109/TSMCA.2007.914741
10.1109/TASE.2009.2037825
10.1007/s00170-008-1457-x
10.1109/TASE.2012.2201714
10.1109/TSMCA.2010.2048898
10.1080/00207543.2010.511636
10.1080/00207540010002405
10.1109/70.650158
10.1109/TSMCA.2006.878953
10.1109/TASE.2010.2046412
10.1109/TSMCA.2009.2030162
10.1177/0142331208095620
10.1109/70.370500
10.1007/978-1-4615-3126-5
10.1109/TSMCA.2012.2192266
10.1109/TASE.2006.888049
10.1109/TII.2012.2198661
10.1109/TASE.2008.916925
10.1109/TSMCA.2012.2230440
10.1007/s00170-007-1366-4
10.1093/comjnl/bxp081
10.1007/s00170-009-1995-x
10.1109/CDC.2003.1271733
10.1109/TSMCA.2008.2007947
10.1109/TSMCA.2006.878966
10.1002/asjc.183
10.1109/TSMCA.2008.918605
ContentType Journal Article
Copyright 2014 Chinese Automatic Control Society and Wiley Publishing Asia Pty Ltd
Copyright © 2015 John Wiley & Sons, Ltd.
Copyright_xml – notice: 2014 Chinese Automatic Control Society and Wiley Publishing Asia Pty Ltd
– notice: Copyright © 2015 John Wiley & Sons, Ltd.
DBID BSCLL
AAYXX
CITATION
JQ2
DOI 10.1002/asjc.837
DatabaseName Istex
CrossRef
ProQuest Computer Science Collection
DatabaseTitle CrossRef
ProQuest Computer Science Collection
DatabaseTitleList ProQuest Computer Science Collection
CrossRef
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
EISSN 1934-6093
EndPage 201
ExternalDocumentID 3565846541
10_1002_asjc_837
ASJC837
ark_67375_WNG_3NVP23S0_9
Genre article
GrantInformation_xml – fundername: Zhejiang NNST Key Laboratory
  funderid: 2013E10012
– fundername: National Natural Science Foundation of China
  funderid: 61100056
– fundername: Zhejiang Sci. and Tech. Project
  funderid: 2013C31111
– fundername: Zhejiang Provincial Natural Science Foundation of China
  funderid: LR14F020001
GroupedDBID .4S
.DC
05W
0R~
1L6
1OC
23N
31~
33P
3SF
4.4
52U
5DZ
5GY
8-0
8-1
AAESR
AAEVG
AAHQN
AAMMB
AAMNL
AANHP
AANLZ
AAONW
AASGY
AAXRX
AAYCA
AAZKR
ABCUV
ABJNI
ACAHQ
ACBWZ
ACCZN
ACGFS
ACIWK
ACPOU
ACRPL
ACXBN
ACXQS
ACYXJ
ADBBV
ADEOM
ADIZJ
ADKYN
ADMGS
ADMLS
ADNMO
ADOZA
ADXAS
ADZMN
AEFGJ
AEIGN
AEIMD
AENEX
AEUYR
AEYWJ
AFBPY
AFFPM
AFGKR
AFWVQ
AGHNM
AGQPQ
AGXDD
AGYGG
AHBTC
AIDQK
AIDYY
AITYG
AIURR
AJXKR
ALMA_UNASSIGNED_HOLDINGS
ALUQN
ALVPJ
AMBMR
AMYDB
ARCSS
ASPBG
ATUGU
AUFTA
AVWKF
AZFZN
AZVAB
BDRZF
BFHJK
BHBCM
BMNLL
BMXJE
BNHUX
BOGZA
BRXPI
BSCLL
CS3
DCZOG
DRFUL
DRSTM
EBS
EJD
F5P
FEDTE
G-S
GODZA
HGLYW
HVGLF
HZ~
I-F
J9A
LATKE
LEEKS
LH4
LITHE
LOXES
LUTES
LW6
LYRES
MEWTI
MRFUL
MRSTM
MSFUL
MSSTM
MXFUL
MXSTM
MY.
MY~
O9-
OIG
P2W
PQQKQ
ROL
SUPJJ
TUS
WBKPD
WIH
WIK
WOHZO
WXSBR
XV2
ZZTAW
~S-
AAYXX
CITATION
JQ2
ID FETCH-LOGICAL-c4017-65f7efb19dd11c024b4976aea7be6a3d56379f357a3b5864f34a5f03b249c3a23
IEDL.DBID DRFUL
ISICitedReferencesCount 19
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000351166800019&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1561-8625
IngestDate Fri Jul 25 12:12:11 EDT 2025
Sat Nov 29 03:59:59 EST 2025
Tue Nov 18 20:50:40 EST 2025
Sun Sep 21 06:14:34 EDT 2025
Tue Sep 09 05:32:37 EDT 2025
IsPeerReviewed true
IsScholarly true
Issue 1
Language English
License http://onlinelibrary.wiley.com/termsAndConditions#vor
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c4017-65f7efb19dd11c024b4976aea7be6a3d56379f357a3b5864f34a5f03b249c3a23
Notes Zhejiang NNST Key Laboratory - No. 2013E10012
ArticleID:ASJC837
istex:5D51E2CFA32ED9A3B07F86A241FA211A5A25408C
Zhejiang Sci. and Tech. Project - No. 2013C31111
ark:/67375/WNG-3NVP23S0-9
Zhejiang Provincial Natural Science Foundation of China - No. LR14F020001
National Natural Science Foundation of China - No. 61100056
ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
PQID 1647482097
PQPubID 866359
PageCount 12
ParticipantIDs proquest_journals_1647482097
crossref_citationtrail_10_1002_asjc_837
crossref_primary_10_1002_asjc_837
wiley_primary_10_1002_asjc_837_ASJC837
istex_primary_ark_67375_WNG_3NVP23S0_9
PublicationCentury 2000
PublicationDate January 2015
PublicationDateYYYYMMDD 2015-01-01
PublicationDate_xml – month: 01
  year: 2015
  text: January 2015
PublicationDecade 2010
PublicationPlace Hoboken
PublicationPlace_xml – name: Hoboken
PublicationTitle Asian journal of control
PublicationTitleAlternate Asian J Control
PublicationYear 2015
Publisher Blackwell Publishing Ltd
Wiley Subscription Services, Inc
Publisher_xml – name: Blackwell Publishing Ltd
– name: Wiley Subscription Services, Inc
References Wu, N. and M. C. Zhou, "Colored timed Petri nets for modeling and analysis of cluster tools," Asian J. Control, Vol. 12, No. 3, pp. 253-266 (2010).
Liu, H. X., K. Y. Xing, and S. Gao, "Comment on 'On Siphon Computation for Deadlock Control in a Class of Petri Nets'," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 39, No. 6, pp. 1348-1350 (2009).
Zhang, Z. M. and W. M. Wu, "Combined buffer pre-allocation and siphon control for deadlock prevention in Petri nets," Int. J. Prod. Res., Vol. 49, No. 20, pp. 6125-6154 (2011).
Li, Z. W. and M. C. Zhou, "Clarifications on the definitions of elementary siphons of Petri nets," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 36, No. 6, pp. 1227-1229 (2006).
Wu, N. Q. and M. C. Zhou, "Deadlock resolution in automated manufacturing systems with robots," IEEE Trans. Autom. Sci. Eng., Vol. 4, No. 3, pp. 474-480 (2007).
Wang, S. G., C. Y. Wang, and M. C. Zhou, "Controllability conditions of resultant siphons in a class of Petri nets," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 42, No. 5, pp. 1206-1215 (2012).
Li, Z. W. and M. C. Zhou, "Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 34, No. 1, pp. 38-51 (2004).
Chao, D. Y., T. Y. Chen, J. T. Chen, and K. C. Wu, "A best deadlock control for S3PMR to reach all states," Asian J. Control, Vol. 14, No. 1, pp. 278-283 (2012).
Li, Z. W. and A. R. Wang, "A Petri net based deadlock prevention approach for flexible manufacturing systems," Acta Automatica Sinica, Vol. 29, No. 5, pp. 733-740 (2003).
Liu, D., Z. W. Li, and M. C. Zhou, "Hybrid liveness-enforcing policy for generalized Petri net models of flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern., Syst., Vol. 43, No. 1, pp. 85-97 (2013).
Chao, D. Y., "Direct minimal empty siphon computation using MIP," Int. J. Adv. Manuf. Technol., Vol. 45, No. 3-4, pp. 397-405 (2009).
Wang, S. G., C. Y. Wang, M. C. Zhou, and Z. W. Li, "A Method to Compute Strict Minimal Siphons in S3PR Based on Loop Resource Subsets," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 42, No. 1, pp. 226-237 (2012).
Hu, H., M. C. Zhou, and Z. Li, "Liveness enforcing supervision of video streaming systems using non-sequential Petri nets," IEEE Trans. Multimedia, Vol. 11, No. 8, pp. 1446-1456 (2009).
Chao, D. Y., "Searching strict minimal siphons for SNC-based resource allocation systems," J. Inf. Sci. Eng., Vol. 23, No. 3, pp. 855-869 (2007).
Zhou, M. C. and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Kluwer Academic Publishers, London (1993).
Winston, W. L. and M. Venkataramanan, Introduction to Mathematical Programming, Duxbury Resource Center, Belmont (2002).
Wu, N., M. C. Zhou, F. Chu, and C. Chu, "A Petri-net-based scheduling strategy for dual-arm cluster tools with wafer revisiting," IEEE Trans. Syst., Man, Cybern., Syst., Vol. 43, No 5, pp. 1182-1193 (2013).
Li, Z. W. and M. C. Zhou, "On siphon computation for deadlock control in a class of Petri nets," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 38, No. 3, pp. 667-679 (2008).
Piroddi, L., R. Cordone, and I. Fumagalli, "Selective siphon control for deadlock prevention in Petri nets," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 38, No. 6, pp. 1337-1348 (2008).
Xing, K. Y., M. C. Zhou, H. X. Liu, and F. Tian, "Optimal Petri-Net-based polynomial-complexity deadlock-avoidance policies for automated manufacturing systems," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 39, No. 1, pp. 188-199 (2009).
Abdallah, I. B. and H. A. ElMaraghy, "Deadlock prevention and avoidance in FMS: A Petri net based approach," Int. J. Adv. Manuf. Technol., Vol. 14, No. 10, pp. 704-715 (1998).
Hu, H. S. and Z. W. Li, "Efficient deadlock prevention policy in automated manufacturing systems using shared resources," Int. J. Adv. Manuf. Technol., Vol. 40, pp. 566-571 (2009).
Liu, G., C. Jiang, M. Zhou, and A. Ohta, "The liveness of WS3PR: Complexity and decision," IEICE Trans. Fund., Vol. E96-A, No. 8, pp. 1783-1793 (2013).
Liu, G. J., C. J. Jiang, L. J. Chen, and Z. H. Wu, "Two types of extended RSNBs and their application in modeling flexible manufacturing systems," Int. J. Adv. Manuf. Technol., Vol. 45, No. 5, pp. 573-582 (2009).
Li, Z. W. and M. Zhao, "On controllability of dependent siphons for deadlock prevention in generalized Petri nets," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 38, No. 2, pp. 369-384 (2008).
Hu, H. S. and Z. W. Li, "Liveness enforcing supervision in video streaming systems using siphons," J. Inf. Sci. Eng., Vol. 25, No. 6, pp. 1863-1884 (2009).
Huang, Y. S., M. D. Jeng, X. L. Xie, and S. L. Chung, "Deadlock prevention policy based on Petri nets and siphons," Int. J. Prod. Res., Vol. 39, pp. 283-305 (2001).
Zhu, R. M., "A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models," Asian J. Control, Vol. 14, No. 1, pp. 217-229 (2012).
Xing, K., M. C. Zhou, F. Wang, H. Liu, and F. Tian, "Resource transition circuits and siphons for deadlock control of automated manufacturing systems," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 41, No. 1, pp. 74-84 (2011).
Reveliotis, S. A., Real-Time Management of Resource Allocation Systems: A Discrete-Event Systems Approach, Springer, NY (2005).
Li, Z. W. and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach, Springer, London (2009).
Liu, G. J., C. J. Jiang, Z. H. Wu, and L. J. Chen, "A live subclass of Petri nets and their application in modeling flexible manufacturing systems," Int. J. Adv. Manuf. Technol., Vol. 41, No. 1, pp. 66-74 (2009).
Wang, S., M. C. Zhou, Z. Li, and C. Wang, "A new modified reachability tree approach and its applications to unbounded Petri nets," IEEE Trans. Syst., Man, Cybern., Syst., Vol. 43, No. 4, pp. 932-940 (2013).
Hu, H., M. C. Zhou, and Z. Li, "Low-cost high-performance supervision in ratio-enforced automated manufacturing systems using timed Petri nets," IEEE Trans. Autom. Sci. Eng., Vol. 7, No. 4, pp. 933-944 (2010).
Wu, N., M. C. Zhou, and G. Hu, "Petri net modeling and one-step look-ahead maximally permissive deadlock control of automated manufacturing systems," ACM Trans. Embed. Comput. Syst., Vol. 12, No. 1, pp. 10:1-10:23 (2013).
Hu, H., M. C. Zhou, Z. Li, and Y. Tang, "Deadlock-free control of ams with flexible routes and assembly operations using Petri nets," IEEE Trans. Ind. Informat., Vol. 9, No. 1, pp. 109-121 (2013).
Wang, S. G., C. Y. Wang, and Y. Yu, "Comments on 'Siphon-based deadlock prevention policy for flexible manufacturing systems'," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 41, No. 2, pp. 338-340 (2011).
Cordone, R., L. Ferrarini, and L. Piroddi, "Enumeration algorithms for minimal siphons in Petri nets based on place constraints," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 35, No. 6, pp. 844-854 (2005).
Cordone, R., L. Ferrarini, and L. Piroddi, "Some results on the computation of minimal siphons in Petri nets," Proc. 42nd IEEE Conf. Decision Control Maui HI, Vol. 4, pp. 3754-3759 (2003).
Ezpeleta, J., J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Autom, Vol. 11, No. 2, pp. 173-184 (1995).
Shih, Y. Y. and D. Y. Chao, "Sequence of control in S3PMR," Comp. J., Vol. 53, No. 10, pp. 1691-1703 (2010).
Li, S. Y. and Z. W. Li, "Structure reduction of liveness-enforcing Petri nets using mixed integer programming," Asian J. Control, Vol. 14, No. 2, pp. 384-399 (2012).
Li, Z. W. and M. C. Zhou, "Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets," IEEE Trans. Ind. Inform., Vol. 2, No. 4, pp. 313-325 (2006).
Reveliotis, S. A., M. A. Lawley, and P. M. Ferreira, "Polynomial complexity deadlock avoidance policies for sequential resource allocation systems," IEEE Trans. Autom. Control, Vol. 42, pp. 1344-1357 (1997).
Uzam, M., Z. W. Li, and M. C. Zhou, "Identification and elimination of redundant control places," Int. J. Adv. Manuf. Technol., Vol. 35, pp. 150-168 (2007).
Chu, F. and X. L. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. Robot. Autom., Vol. 13, No. 6, pp. 793-804 (1997).
Liu, D., Z. W. Li, and M. C. Zhou, "Parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets," Automatica, Vol. 49, No. 11, pp. 3167-3179 (2013).
Ding, Z., C. Jiang, and M. C. Zhou, "Design, analysis and verification of real-time systems based on time Petri net refinement," ACM Trans. Embed. Comput. Syst., Vol. 12, No. 1, pp. 4:1-18 (2013).
Zhou, M. C. and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach, World Scientific, Singapore (1998).
Wu, N., F. Chu, C. Chu, and M. C. Zhou, "Petri net modeling and cycle-time analysis of dual-arm cluster tools with wafer revisiting," IEEE Trans. Syst., Man, Cybern., Syst., Vol. 43, No. 1, pp. 196-207 (2013).
Hu, H., M. C. Zhou, Z. Li, and Y. Tang, "An optimization approach to improved Petri net controller design for automated manufacturing systems," IEEE Trans. Autom. Sci. Eng., Vol. 10, No. 3, pp. 772-782 (2013).
Li, Z. W., M. C. Zhou, and M. D. Jeng, "A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions," IEEE Trans. Autom. Sci. Eng., Vol. 5, No. 1, pp. 182-188 (2008).
Giua, A. and C. Seatzu, "Modeling and supervisory control of railway networks using Petri nets," IEEE Trans. Autom. Sci. Eng., Vol. 5, No. 3, pp. 431-476 (2008).
Hu, H. S. and Z. W. Li, "An optimal-elementary-siphons based iterative deadlock prevention policy for flexible manufacturing systems," Int. J. Adv. Manuf. Technol., Vol. 38, No. 3, pp. 309-320 (2008).
Hu, H. S., "An iterative deadlock prevention approach for aut
2009; 45
2010; 12
2010; 53
2009; 41
2009; 40
1997; 42
2006; 36
2008; 38
2008; 5
2012; 14
2007; 35
2013; 9
2009; 11
2010; 21
2013; 10
2013; 12
1997; 13
2004; 34
2003; 4
2007; 4
2013; E96‐A
2007; 23
2010; 7
1989
2005; 35
1998; 14
2009; 25
2013; 49
2011
2013; 43
2010
1995; 11
2009
1998
2007
2011; 33
2005
1993
1992
2006; 2
2002
1994; 41
2011; 41
2003; 29
2001; 39
2011; 49
2007; 45
2012; 42
2009; 39
e_1_2_6_51_1
e_1_2_6_74_1
e_1_2_6_32_1
e_1_2_6_70_1
e_1_2_6_30_1
e_1_2_6_72_1
Li Z. W. (e_1_2_6_23_1) 2009
Reveliotis S. A. (e_1_2_6_42_1) 2005
e_1_2_6_19_1
Zhou M. C. (e_1_2_6_63_1) 1998
e_1_2_6_36_1
e_1_2_6_59_1
e_1_2_6_11_1
e_1_2_6_34_1
e_1_2_6_17_1
e_1_2_6_55_1
e_1_2_6_15_1
e_1_2_6_38_1
e_1_2_6_62_1
e_1_2_6_64_1
e_1_2_6_43_1
Hu H. (e_1_2_6_13_1) 2009; 11
e_1_2_6_20_1
e_1_2_6_41_1
e_1_2_6_60_1
Cordone R. (e_1_2_6_8_1) 2003; 4
e_1_2_6_9_1
e_1_2_6_5_1
e_1_2_6_7_1
e_1_2_6_24_1
e_1_2_6_49_1
e_1_2_6_3_1
e_1_2_6_22_1
e_1_2_6_66_1
e_1_2_6_45_1
e_1_2_6_26_1
e_1_2_6_47_1
Winston W. L. (e_1_2_6_57_1) 2002
e_1_2_6_68_1
e_1_2_6_52_1
e_1_2_6_73_1
e_1_2_6_54_1
e_1_2_6_75_1
e_1_2_6_10_1
e_1_2_6_31_1
e_1_2_6_50_1
e_1_2_6_71_1
e_1_2_6_35_1
e_1_2_6_12_1
Li Z. W. (e_1_2_6_14_1) 2003; 29
e_1_2_6_33_1
e_1_2_6_18_1
e_1_2_6_39_1
e_1_2_6_56_1
e_1_2_6_16_1
e_1_2_6_37_1
e_1_2_6_58_1
e_1_2_6_65_1
e_1_2_6_21_1
e_1_2_6_40_1
e_1_2_6_61_1
Chao D. Y. (e_1_2_6_46_1) 2007; 23
Hu H. S. (e_1_2_6_53_1) 2009; 25
e_1_2_6_4_1
e_1_2_6_6_1
e_1_2_6_25_1
e_1_2_6_48_1
e_1_2_6_2_1
e_1_2_6_29_1
e_1_2_6_44_1
Reveliotis S. A. (e_1_2_6_28_1) 2005
e_1_2_6_67_1
e_1_2_6_27_1
e_1_2_6_69_1
References_xml – reference: Winston, W. L. and M. Venkataramanan, Introduction to Mathematical Programming, Duxbury Resource Center, Belmont (2002).
– reference: Hu, H., M. C. Zhou, Z. Li, and Y. Tang, "Deadlock-free control of ams with flexible routes and assembly operations using Petri nets," IEEE Trans. Ind. Informat., Vol. 9, No. 1, pp. 109-121 (2013).
– reference: Liu, G., C. Jiang, M. Zhou, and A. Ohta, "The liveness of WS3PR: Complexity and decision," IEICE Trans. Fund., Vol. E96-A, No. 8, pp. 1783-1793 (2013).
– reference: Piroddi, L., R. Cordone, and I. Fumagalli, "Selective siphon control for deadlock prevention in Petri nets," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 38, No. 6, pp. 1337-1348 (2008).
– reference: Xing, K. Y., M. C. Zhou, H. X. Liu, and F. Tian, "Optimal Petri-Net-based polynomial-complexity deadlock-avoidance policies for automated manufacturing systems," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 39, No. 1, pp. 188-199 (2009).
– reference: Zhu, R. M., "A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models," Asian J. Control, Vol. 14, No. 1, pp. 217-229 (2012).
– reference: Wang, S. G., C. Y. Wang, and M. C. Zhou, "Design of optimal monitor-based supervisors for a class of Petri nets with uncontrollable transitions," IEEE Trans. Syst., Man, Cybern., Syst., Vol. 43, No. 5, pp. 1248-1255 (2013).
– reference: Hu, H. S., "An iterative deadlock prevention approach for automated manufacturing Systems," Trans. Inst. Meas. Control, Vol. 33, No. 1, pp. 59-76 (2011).
– reference: Zhang, Z. M. and W. M. Wu, "Combined buffer pre-allocation and siphon control for deadlock prevention in Petri nets," Int. J. Prod. Res., Vol. 49, No. 20, pp. 6125-6154 (2011).
– reference: Cordone, R., L. Ferrarini, and L. Piroddi, "Enumeration algorithms for minimal siphons in Petri nets based on place constraints," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 35, No. 6, pp. 844-854 (2005).
– reference: Piroddi, L., R. Cordone, and I. Fumagalli, "Combined siphon and marking generation for deadlock prevention in Petri nets," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 39, No. 3, pp. 650-661 (2009).
– reference: Ding, Z., C. Jiang, and M. C. Zhou, "Design, analysis and verification of real-time systems based on time Petri net refinement," ACM Trans. Embed. Comput. Syst., Vol. 12, No. 1, pp. 4:1-18 (2013).
– reference: Huang, Y. S., M. D. Jeng, X. L. Xie, and S. L. Chung, "Deadlock prevention policy based on Petri nets and siphons," Int. J. Prod. Res., Vol. 39, pp. 283-305 (2001).
– reference: Huang, Y. S., M. D. Jeng, X. L. Xie, and S. L. Chung, "Siphon-based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 36, No. 6, pp. 1248-1256 (2006).
– reference: Xing, K., M. C. Zhou, F. Wang, H. Liu, and F. Tian, "Resource transition circuits and siphons for deadlock control of automated manufacturing systems," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 41, No. 1, pp. 74-84 (2011).
– reference: Liu, G. J., C. J. Jiang, Z. H. Wu, and L. J. Chen, "A live subclass of Petri nets and their application in modeling flexible manufacturing systems," Int. J. Adv. Manuf. Technol., Vol. 41, No. 1, pp. 66-74 (2009).
– reference: Wu, N., F. Chu, C. Chu, and M. C. Zhou, "Petri net modeling and cycle-time analysis of dual-arm cluster tools with wafer revisiting," IEEE Trans. Syst., Man, Cybern., Syst., Vol. 43, No. 1, pp. 196-207 (2013).
– reference: Hu, H. S. and Z. W. Li, "An optimal-elementary-siphons based iterative deadlock prevention policy for flexible manufacturing systems," Int. J. Adv. Manuf. Technol., Vol. 38, No. 3, pp. 309-320 (2008).
– reference: Liu, G. J., C. J. Jiang, and M. C. Zhou, "Two simple deadlock prevention policies for S3PR based on Key-Resource/Operation-Place Pairs," IEEE Trans. Autom. Sci. Eng., Vol. 7, No. 4, pp. 945-957 (2010).
– reference: Li, Z. W. and M. Zhao, "On controllability of dependent siphons for deadlock prevention in generalized Petri nets," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 38, No. 2, pp. 369-384 (2008).
– reference: Ezpeleta, J., J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Autom, Vol. 11, No. 2, pp. 173-184 (1995).
– reference: Li, Z. W. and A. R. Wang, "A Petri net based deadlock prevention approach for flexible manufacturing systems," Acta Automatica Sinica, Vol. 29, No. 5, pp. 733-740 (2003).
– reference: Wang, A. R., Z. W. Li, J. Y. Jia, and M. C. Zhou, "An effective algorithm to find elementary siphons in a class of Petri nets," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 39, No. 4, pp. 912-923 (2009).
– reference: Hu, H. S. and Z. W. Li, "Liveness enforcing supervision in video streaming systems using siphons," J. Inf. Sci. Eng., Vol. 25, No. 6, pp. 1863-1884 (2009).
– reference: Uzam, M., Z. W. Li, and M. C. Zhou, "Identification and elimination of redundant control places," Int. J. Adv. Manuf. Technol., Vol. 35, pp. 150-168 (2007).
– reference: Reveliotis, S. A., M. A. Lawley, and P. M. Ferreira, "Polynomial complexity deadlock avoidance policies for sequential resource allocation systems," IEEE Trans. Autom. Control, Vol. 42, pp. 1344-1357 (1997).
– reference: Shih, Y. Y. and D. Y. Chao, "Sequence of control in S3PMR," Comp. J., Vol. 53, No. 10, pp. 1691-1703 (2010).
– reference: Wang, S. G., C. Y. Wang, M. C. Zhou, and Z. W. Li, "A Method to Compute Strict Minimal Siphons in S3PR Based on Loop Resource Subsets," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 42, No. 1, pp. 226-237 (2012).
– reference: Wu, N., M. C. Zhou, F. Chu, and C. Chu, "A Petri-net-based scheduling strategy for dual-arm cluster tools with wafer revisiting," IEEE Trans. Syst., Man, Cybern., Syst., Vol. 43, No 5, pp. 1182-1193 (2013).
– reference: Wang, S., M. C. Zhou, Z. Li, and C. Wang, "A new modified reachability tree approach and its applications to unbounded Petri nets," IEEE Trans. Syst., Man, Cybern., Syst., Vol. 43, No. 4, pp. 932-940 (2013).
– reference: Wu, N. Q. and M. C. Zhou, "Deadlock resolution in automated manufacturing systems with robots," IEEE Trans. Autom. Sci. Eng., Vol. 4, No. 3, pp. 474-480 (2007).
– reference: Reveliotis, S. A., Real-Time Management of Resource Allocation Systems: A Discrete-Event Systems Approach, Springer, NY (2005).
– reference: Chao, D. Y., T. Y. Chen, J. T. Chen, and K. C. Wu, "A best deadlock control for S3PMR to reach all states," Asian J. Control, Vol. 14, No. 1, pp. 278-283 (2012).
– reference: Moody, J. O. and P. J. Antsaklis, Supervisory Control of Discrete Event Systems Using Petri Nets, Kluwer, Norwell, MA (1998).
– reference: Hu, H., M. C. Zhou, Z. Li, and Y. Tang, "An optimization approach to improved Petri net controller design for automated manufacturing systems," IEEE Trans. Autom. Sci. Eng., Vol. 10, No. 3, pp. 772-782 (2013).
– reference: Li, Z. W., M. C. Zhou, and M. D. Jeng, "A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions," IEEE Trans. Autom. Sci. Eng., Vol. 5, No. 1, pp. 182-188 (2008).
– reference: Cordone, R., L. Ferrarini, and L. Piroddi, "Some results on the computation of minimal siphons in Petri nets," Proc. 42nd IEEE Conf. Decision Control Maui HI, Vol. 4, pp. 3754-3759 (2003).
– reference: Zhou, M. C. and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach, World Scientific, Singapore (1998).
– reference: Boer, E. R. and T. Murata, "Generating basis siphons and traps of Petri nets using sign incidence matrix," IEEE Trans. Circuits Syst. I Fundam. Theory Appl., Vol. 41, No. 4, pp. 266-271 (1994).
– reference: Liu, D., Z. W. Li, and M. C. Zhou, "Parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets," Automatica, Vol. 49, No. 11, pp. 3167-3179 (2013).
– reference: Chao, D. Y., "Direct minimal empty siphon computation using MIP," Int. J. Adv. Manuf. Technol., Vol. 45, No. 3-4, pp. 397-405 (2009).
– reference: Chao, D. Y., "Searching strict minimal siphons for SNC-based resource allocation systems," J. Inf. Sci. Eng., Vol. 23, No. 3, pp. 855-869 (2007).
– reference: Zhou, M. C. and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Kluwer Academic Publishers, London (1993).
– reference: Li, Z. W. and M. C. Zhou, "On siphon computation for deadlock control in a class of Petri nets," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 38, No. 3, pp. 667-679 (2008).
– reference: Hu, H., M. C. Zhou, and Z. Li, "Low-cost high-performance supervision in ratio-enforced automated manufacturing systems using timed Petri nets," IEEE Trans. Autom. Sci. Eng., Vol. 7, No. 4, pp. 933-944 (2010).
– reference: Chao, D. Y., "Technical note-reducing MIP iterations for deadlock prevention of flexible manufacturing systems," Int. J. Adv. Manuf. Technol., Vol. 41, No. 3-4, pp. 343-346 (2009).
– reference: Wu, N., M. C. Zhou, and G. Hu, "Petri net modeling and one-step look-ahead maximally permissive deadlock control of automated manufacturing systems," ACM Trans. Embed. Comput. Syst., Vol. 12, No. 1, pp. 10:1-10:23 (2013).
– reference: Wu, N. and M. C. Zhou, "Colored timed Petri nets for modeling and analysis of cluster tools," Asian J. Control, Vol. 12, No. 3, pp. 253-266 (2010).
– reference: Li, S. Y. and Z. W. Li, "Structure reduction of liveness-enforcing Petri nets using mixed integer programming," Asian J. Control, Vol. 14, No. 2, pp. 384-399 (2012).
– reference: Giua, A. and C. Seatzu, "Modeling and supervisory control of railway networks using Petri nets," IEEE Trans. Autom. Sci. Eng., Vol. 5, No. 3, pp. 431-476 (2008).
– reference: Liu, H. X., K. Y. Xing, and S. Gao, "Comment on 'On Siphon Computation for Deadlock Control in a Class of Petri Nets'," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 39, No. 6, pp. 1348-1350 (2009).
– reference: Hu, H. S. and Z. W. Li, "Synthesis of liveness enforcing supervisor for automated manufacturing systems," J. Intel. Manuf., Vol. 21, No. 4, pp. 555-567 (2010).
– reference: Abdallah, I. B. and H. A. ElMaraghy, "Deadlock prevention and avoidance in FMS: A Petri net based approach," Int. J. Adv. Manuf. Technol., Vol. 14, No. 10, pp. 704-715 (1998).
– reference: Li, Z. W. and M. C. Zhou, "Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 34, No. 1, pp. 38-51 (2004).
– reference: Hu, H. S. and Z. W. Li, "Efficient deadlock prevention policy in automated manufacturing systems using shared resources," Int. J. Adv. Manuf. Technol., Vol. 40, pp. 566-571 (2009).
– reference: Liu, G. J., C. J. Jiang, L. J. Chen, and Z. H. Wu, "Two types of extended RSNBs and their application in modeling flexible manufacturing systems," Int. J. Adv. Manuf. Technol., Vol. 45, No. 5, pp. 573-582 (2009).
– reference: Hu, H., M. C. Zhou, and Z. Li, "Liveness enforcing supervision of video streaming systems using non-sequential Petri nets," IEEE Trans. Multimedia, Vol. 11, No. 8, pp. 1446-1456 (2009).
– reference: Li, Z. W. and D. Liu, "A correct minimal siphons extraction algorithm from a maximal unmarked siphon of a Petri net," Int. J. Prod. Res., Vol. 45, No. 9, pp. 2161-2165 (2007).
– reference: Li, Z. W. and M. C. Zhou, "Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets," IEEE Trans. Ind. Inform., Vol. 2, No. 4, pp. 313-325 (2006).
– reference: Wang, S. G., C. Y. Wang, and M. C. Zhou, "Controllability conditions of resultant siphons in a class of Petri nets," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 42, No. 5, pp. 1206-1215 (2012).
– reference: Li, Z. W. and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach, Springer, London (2009).
– reference: Liu, G., C. Jiang, M. Zhou, and P. Xiong, "Interactive Petri nets," IEEE Trans. Syst., Man, Cybern., Syst., Vol. 43, No. 2, pp. 291-302 (2013).
– reference: Chu, F. and X. L. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. Robot. Autom., Vol. 13, No. 6, pp. 793-804 (1997).
– reference: Liu, D., Z. W. Li, and M. C. Zhou, "Hybrid liveness-enforcing policy for generalized Petri net models of flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern., Syst., Vol. 43, No. 1, pp. 85-97 (2013).
– reference: Hu, H., M. C. Zhou, and Z. Li, "Algebraic synthesis of timed supervisor for automated manufacturing systems using Petri nets," IEEE Trans. Autom. Sci. Eng., Vol. 7, No. 3, pp. 549-557 (2010).
– reference: Li, Z. W. and M. C. Zhou, "Clarifications on the definitions of elementary siphons of Petri nets," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 36, No. 6, pp. 1227-1229 (2006).
– reference: Wang, S. G., C. Y. Wang, and Y. Yu, "Comments on 'Siphon-based deadlock prevention policy for flexible manufacturing systems'," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 41, No. 2, pp. 338-340 (2011).
– start-page: 1
  year: 1989
  end-page: 21
  article-title: An Effective Characterization of Minimal Deadlocks and Traps in Petri nets Based on Graph Theory
– year: 2011
– year: 2009
– volume: 33
  start-page: 59
  issue: 1
  year: 2011
  end-page: 76
  article-title: An iterative deadlock prevention approach for automated manufacturing Systems
  publication-title: Trans. Inst. Meas. Control
– year: 2005
– volume: 14
  start-page: 384
  issue: 2
  year: 2012
  end-page: 399
  article-title: Structure reduction of liveness‐enforcing Petri nets using mixed integer programming
  publication-title: Asian J. Control
– volume: 4
  start-page: 474
  issue: 3
  year: 2007
  end-page: 480
  article-title: Deadlock resolution in automated manufacturing systems with robots
  publication-title: IEEE Trans. Autom. Sci. Eng.
– volume: 49
  start-page: 3167
  issue: 11
  year: 2013
  end-page: 3179
  article-title: Parameterized liveness and ratio‐enforcing supervisor for a class of generalized Petri nets
  publication-title: Automatica
– volume: 38
  start-page: 1337
  issue: 6
  year: 2008
  end-page: 1348
  article-title: Selective siphon control for deadlock prevention in Petri nets
  publication-title: IEEE Trans. Syst. Man. Cybern. Part A‐Syst. Hum.
– volume: 42
  start-page: 1344
  year: 1997
  end-page: 1357
  article-title: Polynomial complexity deadlock avoidance policies for sequential resource allocation systems
  publication-title: IEEE Trans. Autom. Control
– volume: 43
  start-page: 1182
  issue: 5
  year: 2013
  end-page: 1193
  article-title: A Petri‐net‐based scheduling strategy for dual‐arm cluster tools with wafer revisiting
  publication-title: IEEE Trans. Syst., Man, Cybern., Syst.
– volume: 10
  start-page: 772
  issue: 3
  year: 2013
  end-page: 782
  article-title: An optimization approach to improved Petri net controller design for automated manufacturing systems
  publication-title: IEEE Trans. Autom. Sci. Eng.
– volume: 39
  start-page: 188
  issue: 1
  year: 2009
  end-page: 199
  article-title: Optimal Petri‐Net‐based polynomial‐complexity deadlock‐avoidance policies for automated manufacturing systems
  publication-title: IEEE Trans. Syst. Man. Cybern. Part A‐Syst. Hum.
– year: 1998
– volume: 11
  start-page: 173
  issue: 2
  year: 1995
  end-page: 184
  article-title: A Petri net based deadlock prevention policy for flexible manufacturing systems
  publication-title: IEEE Trans. Robot. Autom
– volume: 42
  start-page: 1206
  issue: 5
  year: 2012
  end-page: 1215
  article-title: Controllability conditions of resultant siphons in a class of Petri nets
  publication-title: IEEE Trans. Syst. Man. Cybern. Part A‐Syst. Hum.
– volume: 13
  start-page: 793
  issue: 6
  year: 1997
  end-page: 804
  article-title: Deadlock analysis of Petri nets using siphons and mathematical programming
  publication-title: IEEE Trans. Robot. Autom.
– volume: 12
  start-page: 253
  issue: 3
  year: 2010
  end-page: 266
  article-title: Colored timed Petri nets for modeling and analysis of cluster tools
  publication-title: Asian J. Control
– volume: 12
  start-page: 10:1
  issue: 1
  year: 2013
  end-page: 10:23
  article-title: Petri net modeling and one‐step look‐ahead maximally permissive deadlock control of automated manufacturing systems
  publication-title: ACM Trans. Embed. Comput. Syst.
– volume: 11
  start-page: 1446
  issue: 8
  year: 2009
  end-page: 1456
  article-title: Liveness enforcing supervision of video streaming systems using non‐sequential Petri nets
  publication-title: IEEE Trans. Multimedia
– volume: 45
  start-page: 2161
  issue: 9
  year: 2007
  end-page: 2165
  article-title: A correct minimal siphons extraction algorithm from a maximal unmarked siphon of a Petri net
  publication-title: Int. J. Prod. Res.
– volume: 41
  start-page: 343
  issue: 3–4
  year: 2009
  end-page: 346
  article-title: Technical note—reducing MIP iterations for deadlock prevention of flexible manufacturing systems
  publication-title: Int. J. Adv. Manuf. Technol.
– volume: 38
  start-page: 369
  issue: 2
  year: 2008
  end-page: 384
  article-title: On controllability of dependent siphons for deadlock prevention in generalized Petri nets
  publication-title: IEEE Trans. Syst. Man. Cybern. Part A‐Syst. Hum.
– start-page: 283
  year: 2005
  end-page: 307
– volume: 7
  start-page: 933
  issue: 4
  year: 2010
  end-page: 944
  article-title: Low‐cost high‐performance supervision in ratio‐enforced automated manufacturing systems using timed Petri nets
  publication-title: IEEE Trans. Autom. Sci. Eng.
– volume: 35
  start-page: 844
  issue: 6
  year: 2005
  end-page: 854
  article-title: Enumeration algorithms for minimal siphons in Petri nets based on place constraints
  publication-title: IEEE Trans. Syst. Man. Cybern. Part A‐Syst. Hum.
– volume: 14
  start-page: 704
  issue: 10
  year: 1998
  end-page: 715
  article-title: Deadlock prevention and avoidance in FMS: A Petri net based approach
  publication-title: Int. J. Adv. Manuf. Technol.
– volume: 45
  start-page: 573
  issue: 5
  year: 2009
  end-page: 582
  article-title: Two types of extended RSNBs and their application in modeling flexible manufacturing systems
  publication-title: Int. J. Adv. Manuf. Technol.
– volume: 23
  start-page: 855
  issue: 3
  year: 2007
  end-page: 869
  article-title: Searching strict minimal siphons for SNC‐based resource allocation systems
  publication-title: J. Inf. Sci. Eng.
– volume: 38
  start-page: 309
  issue: 3
  year: 2008
  end-page: 320
  article-title: An optimal‐elementary‐siphons based iterative deadlock prevention policy for flexible manufacturing systems
  publication-title: Int. J. Adv. Manuf. Technol.
– volume: 7
  start-page: 945
  issue: 4
  year: 2010
  end-page: 957
  article-title: Two simple deadlock prevention policies for S PR based on Key‐Resource/Operation‐Place Pairs
  publication-title: IEEE Trans. Autom. Sci. Eng.
– volume: 43
  start-page: 291
  issue: 2
  year: 2013
  end-page: 302
  article-title: Interactive Petri nets
  publication-title: IEEE Trans. Syst., Man, Cybern., Syst.
– volume: 14
  start-page: 217
  issue: 1
  year: 2012
  end-page: 229
  article-title: A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models
  publication-title: Asian J. Control
– volume: 43
  start-page: 85
  issue: 1
  year: 2013
  end-page: 97
  article-title: Hybrid liveness‐enforcing policy for generalized Petri net models of flexible manufacturing systems
  publication-title: IEEE Trans. Syst., Man, Cybern., Syst.
– volume: 39
  start-page: 912
  issue: 4
  year: 2009
  end-page: 923
  article-title: An effective algorithm to find elementary siphons in a class of Petri nets
  publication-title: IEEE Trans. Syst. Man. Cybern. Part A‐Syst. Hum.
– year: 1993
– volume: 36
  start-page: 1248
  issue: 6
  year: 2006
  end-page: 1256
  article-title: Siphon‐based deadlock prevention policy for flexible manufacturing systems
  publication-title: IEEE Trans. Syst. Man. Cybern. Part A‐Syst. Hum.
– volume: 29
  start-page: 733
  issue: 5
  year: 2003
  end-page: 740
  article-title: A Petri net based deadlock prevention approach for flexible manufacturing systems
  publication-title: Acta Automatica Sinica
– volume: 41
  start-page: 74
  issue: 1
  year: 2011
  end-page: 84
  article-title: Resource transition circuits and siphons for deadlock control of automated manufacturing systems
  publication-title: IEEE Trans. Syst. Man. Cybern. Part A‐Syst. Hum.
– volume: E96‐A
  start-page: 1783
  issue: 8
  year: 2013
  end-page: 1793
  article-title: The liveness of WS3PR: Complexity and decision
  publication-title: IEICE Trans. Fund.
– volume: 41
  start-page: 338
  issue: 2
  year: 2011
  end-page: 340
  article-title: Comments on ‘Siphon‐based deadlock prevention policy for flexible manufacturing systems’
  publication-title: IEEE Trans. Syst. Man. Cybern. Part A‐Syst. Hum.
– volume: 45
  start-page: 397
  issue: 3–4
  year: 2009
  end-page: 405
  article-title: Direct minimal empty siphon computation using MIP
  publication-title: Int. J. Adv. Manuf. Technol.
– volume: 42
  start-page: 226
  issue: 1
  year: 2012
  end-page: 237
  article-title: A Method to Compute Strict Minimal Siphons in S PR Based on Loop Resource Subsets
  publication-title: IEEE Trans. Syst. Man. Cybern. Part A‐Syst. Hum.
– volume: 14
  start-page: 278
  issue: 1
  year: 2012
  end-page: 283
  article-title: A best deadlock control for S PMR to reach all states
  publication-title: Asian J. Control
– volume: 41
  start-page: 66
  issue: 1
  year: 2009
  end-page: 74
  article-title: A live subclass of Petri nets and their application in modeling flexible manufacturing systems
  publication-title: Int. J. Adv. Manuf. Technol.
– year: 2007
– volume: 43
  start-page: 196
  issue: 1
  year: 2013
  end-page: 207
  article-title: Petri net modeling and cycle‐time analysis of dual‐arm cluster tools with wafer revisiting
  publication-title: IEEE Trans. Syst., Man, Cybern., Syst.
– volume: 39
  start-page: 650
  issue: 3
  year: 2009
  end-page: 661
  article-title: Combined siphon and marking generation for deadlock prevention in Petri nets
  publication-title: IEEE Trans. Syst. Man. Cybern. Part A‐Syst. Hum.
– volume: 5
  start-page: 182
  issue: 1
  year: 2008
  end-page: 188
  article-title: A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions
  publication-title: IEEE Trans. Autom. Sci. Eng.
– volume: 34
  start-page: 38
  issue: 1
  year: 2004
  end-page: 51
  article-title: Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems
  publication-title: IEEE Trans. Syst. Man. Cybern. Part A‐Syst. Hum.
– volume: 41
  start-page: 266
  issue: 4
  year: 1994
  end-page: 271
  article-title: Generating basis siphons and traps of Petri nets using sign incidence matrix
  publication-title: IEEE Trans. Circuits Syst. I Fundam. Theory Appl.
– volume: 53
  start-page: 1691
  issue: 10
  year: 2010
  end-page: 1703
  article-title: Sequence of control in S PMR
  publication-title: Comp. J.
– volume: 40
  start-page: 566
  year: 2009
  end-page: 571
  article-title: Efficient deadlock prevention policy in automated manufacturing systems using shared resources
  publication-title: Int. J. Adv. Manuf. Technol.
– volume: 9
  start-page: 109
  issue: 1
  year: 2013
  end-page: 121
  article-title: Deadlock‐free control of ams with flexible routes and assembly operations using Petri nets
  publication-title: IEEE Trans. Ind. Informat.
– volume: 2
  start-page: 313
  issue: 4
  year: 2006
  end-page: 325
  article-title: Two‐stage method for synthesizing liveness‐enforcing supervisors for flexible manufacturing systems using Petri nets
  publication-title: IEEE Trans. Ind. Inform.
– year: 1992
– volume: 39
  start-page: 1348
  issue: 6
  year: 2009
  end-page: 1350
  article-title: Comment on ‘On Siphon Computation for Deadlock Control in a Class of Petri Nets’
  publication-title: IEEE Trans. Syst. Man. Cybern. Part A‐Syst. Hum.
– volume: 43
  start-page: 1248
  issue: 5
  year: 2013
  end-page: 1255
  article-title: Design of optimal monitor‐based supervisors for a class of Petri nets with uncontrollable transitions
  publication-title: IEEE Trans. Syst., Man, Cybern., Syst.
– volume: 7
  start-page: 549
  issue: 3
  year: 2010
  end-page: 557
  article-title: Algebraic synthesis of timed supervisor for automated manufacturing systems using Petri nets
  publication-title: IEEE Trans. Autom. Sci. Eng.
– volume: 38
  start-page: 667
  issue: 3
  year: 2008
  end-page: 679
  article-title: On siphon computation for deadlock control in a class of Petri nets
  publication-title: IEEE Trans. Syst. Man. Cybern. Part A‐Syst. Hum.
– year: 2002
– volume: 39
  start-page: 283
  year: 2001
  end-page: 305
  article-title: Deadlock prevention policy based on Petri nets and siphons
  publication-title: Int. J. Prod. Res.
– volume: 5
  start-page: 431
  issue: 3
  year: 2008
  end-page: 476
  article-title: Modeling and supervisory control of railway networks using Petri nets
  publication-title: IEEE Trans. Autom. Sci. Eng.
– volume: 21
  start-page: 555
  issue: 4
  year: 2010
  end-page: 567
  article-title: Synthesis of liveness enforcing supervisor for automated manufacturing systems
  publication-title: J. Intel. Manuf.
– start-page: 2785
  year: 2010
  end-page: 2790
  article-title: A method of computing strict minimal siphons in S PR based on resource circuits
– volume: 25
  start-page: 1863
  issue: 6
  year: 2009
  end-page: 1884
  article-title: Liveness enforcing supervision in video streaming systems using siphons
  publication-title: J. Inf. Sci. Eng.
– volume: 35
  start-page: 150
  year: 2007
  end-page: 168
  article-title: Identification and elimination of redundant control places
  publication-title: Int. J. Adv. Manuf. Technol.
– volume: 43
  start-page: 932
  issue: 4
  year: 2013
  end-page: 940
  article-title: A new modified reachability tree approach and its applications to unbounded Petri nets
  publication-title: IEEE Trans. Syst., Man, Cybern., Syst.
– volume: 49
  start-page: 6125
  issue: 20
  year: 2011
  end-page: 6154
  article-title: Combined buffer pre‐allocation and siphon control for deadlock prevention in Petri nets
  publication-title: Int. J. Prod. Res.
– volume: 4
  start-page: 3754
  year: 2003
  end-page: 3759
  article-title: Some results on the computation of minimal siphons in Petri nets
  publication-title: Proc. 42nd IEEE Conf. Decision Control Maui HI
– volume: 36
  start-page: 1227
  issue: 6
  year: 2006
  end-page: 1229
  article-title: Clarifications on the definitions of elementary siphons of Petri nets
  publication-title: IEEE Trans. Syst. Man. Cybern. Part A‐Syst. Hum.
– volume: 12
  start-page: 1
  issue: 1
  year: 2013
  end-page: 18
  article-title: Design, analysis and verification of real‐time systems based on time Petri net refinement
  publication-title: ACM Trans. Embed. Comput. Syst.
– ident: e_1_2_6_48_1
  doi: 10.1002/asjc.342
– ident: e_1_2_6_54_1
  doi: 10.1007/s10845-009-0238-1
– volume-title: Introduction to Mathematical Programming
  year: 2002
  ident: e_1_2_6_57_1
– ident: e_1_2_6_66_1
  doi: 10.1145/2406336.2406346
– ident: e_1_2_6_69_1
  doi: 10.1109/TSMCA.2012.2204741
– ident: e_1_2_6_6_1
  doi: 10.1007/s00170-008-1473-x
– ident: e_1_2_6_15_1
  doi: 10.1109/TASE.2006.884674
– ident: e_1_2_6_29_1
– ident: e_1_2_6_43_1
  doi: 10.1007/BF01438223
– ident: e_1_2_6_70_1
  doi: 10.1109/TSMCA.2012.2226878
– ident: e_1_2_6_3_1
  doi: 10.1109/81.285680
– ident: e_1_2_6_50_1
  doi: 10.1109/TSMCA.2011.2170419
– ident: e_1_2_6_75_1
  doi: 10.1016/j.automatica.2013.07.023
– volume: 25
  start-page: 1863
  issue: 6
  year: 2009
  ident: e_1_2_6_53_1
  article-title: Liveness enforcing supervision in video streaming systems using siphons
  publication-title: J. Inf. Sci. Eng.
– ident: e_1_2_6_5_1
  doi: 10.1007/s00170-009-1967-1
– ident: e_1_2_6_45_1
  doi: 10.1002/asjc.370
– ident: e_1_2_6_36_1
– ident: e_1_2_6_18_1
  doi: 10.1109/TII.2006.885185
– ident: e_1_2_6_26_1
  doi: 10.1109/TSMCA.2009.2013189
– ident: e_1_2_6_16_1
  doi: 10.1109/TSMCA.2003.820576
– ident: e_1_2_6_35_1
  doi: 10.1007/s00170-006-0701-5
– ident: e_1_2_6_40_1
  doi: 10.1109/9.633824
– ident: e_1_2_6_44_1
  doi: 10.1109/TASE.2010.2050059
– ident: e_1_2_6_27_1
  doi: 10.1109/TSMCA.2008.2003535
– ident: e_1_2_6_30_1
  doi: 10.1109/TSMCA.2009.2019880
– ident: e_1_2_6_32_1
  doi: 10.1109/CDC.2010.5717027
– ident: e_1_2_6_51_1
  doi: 10.1007/978-1-4615-5711-1
– ident: e_1_2_6_74_1
  doi: 10.1109/TSMC.2012.2235427
– ident: e_1_2_6_19_1
  doi: 10.1080/00207540500464942
– ident: e_1_2_6_7_1
  doi: 10.1109/TSMCA.2005.853504
– ident: e_1_2_6_67_1
  doi: 10.1145/2406336.2406340
– ident: e_1_2_6_49_1
  doi: 10.1002/asjc.369
– ident: e_1_2_6_31_1
  doi: 10.1109/TSMCA.2010.2059698
– ident: e_1_2_6_65_1
  doi: 10.1109/TSMCA.2012.2187890
– ident: e_1_2_6_71_1
  doi: 10.1587/transfun.E96.A.1783
– ident: e_1_2_6_55_1
  doi: 10.1007/s00170-007-1110-0
– ident: e_1_2_6_41_1
  doi: 10.1109/TSMCA.2011.2159590
– ident: e_1_2_6_21_1
  doi: 10.1109/TSMCA.2007.914741
– ident: e_1_2_6_38_1
  doi: 10.1109/TASE.2009.2037825
– ident: e_1_2_6_58_1
  doi: 10.1007/s00170-008-1457-x
– ident: e_1_2_6_72_1
  doi: 10.1109/TASE.2012.2201714
– ident: e_1_2_6_34_1
  doi: 10.1109/TSMCA.2010.2048898
– ident: e_1_2_6_60_1
  doi: 10.1080/00207543.2010.511636
– ident: e_1_2_6_11_1
  doi: 10.1080/00207540010002405
– ident: e_1_2_6_4_1
  doi: 10.1109/70.650158
– ident: e_1_2_6_12_1
  doi: 10.1109/TSMCA.2006.878953
– volume: 11
  start-page: 1446
  issue: 8
  year: 2009
  ident: e_1_2_6_13_1
  article-title: Liveness enforcing supervision of video streaming systems using non‐sequential Petri nets
  publication-title: IEEE Trans. Multimedia
– ident: e_1_2_6_37_1
  doi: 10.1109/TASE.2010.2046412
– ident: e_1_2_6_22_1
  doi: 10.1109/TSMCA.2009.2030162
– ident: e_1_2_6_52_1
  doi: 10.1177/0142331208095620
– ident: e_1_2_6_9_1
  doi: 10.1109/70.370500
– ident: e_1_2_6_25_1
– ident: e_1_2_6_62_1
  doi: 10.1007/978-1-4615-3126-5
– ident: e_1_2_6_64_1
  doi: 10.1109/TSMCA.2012.2192266
– volume: 29
  start-page: 733
  issue: 5
  year: 2003
  ident: e_1_2_6_14_1
  article-title: A Petri net based deadlock prevention approach for flexible manufacturing systems
  publication-title: Acta Automatica Sinica
– ident: e_1_2_6_2_1
– ident: e_1_2_6_39_1
  doi: 10.1109/TASE.2006.888049
– ident: e_1_2_6_24_1
– ident: e_1_2_6_68_1
  doi: 10.1109/TII.2012.2198661
– ident: e_1_2_6_10_1
  doi: 10.1109/TASE.2008.916925
– volume: 23
  start-page: 855
  issue: 3
  year: 2007
  ident: e_1_2_6_46_1
  article-title: Searching strict minimal siphons for SNC‐based resource allocation systems
  publication-title: J. Inf. Sci. Eng.
– start-page: 283
  volume-title: Deadlock Resolution in Computer‐Integrated Systems
  year: 2005
  ident: e_1_2_6_28_1
– ident: e_1_2_6_73_1
  doi: 10.1109/TSMCA.2012.2230440
– ident: e_1_2_6_56_1
  doi: 10.1007/s00170-007-1366-4
– ident: e_1_2_6_47_1
  doi: 10.1093/comjnl/bxp081
– ident: e_1_2_6_59_1
  doi: 10.1007/s00170-009-1995-x
– volume: 4
  start-page: 3754
  year: 2003
  ident: e_1_2_6_8_1
  article-title: Some results on the computation of minimal siphons in Petri nets
  publication-title: Proc. 42nd IEEE Conf. Decision Control Maui HI
  doi: 10.1109/CDC.2003.1271733
– volume-title: Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach
  year: 2009
  ident: e_1_2_6_23_1
– ident: e_1_2_6_33_1
  doi: 10.1109/TSMCA.2008.2007947
– volume-title: Real‐Time Management of Resource Allocation Systems: A Discrete‐Event Systems Approach
  year: 2005
  ident: e_1_2_6_42_1
– ident: e_1_2_6_17_1
  doi: 10.1109/TSMCA.2006.878966
– volume-title: Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach
  year: 1998
  ident: e_1_2_6_63_1
– ident: e_1_2_6_61_1
  doi: 10.1002/asjc.183
– ident: e_1_2_6_20_1
  doi: 10.1109/TSMCA.2008.918605
SSID ssj0061385
Score 2.1179101
Snippet This paper deals with the problems of computational and structural complexity in designing maximally permissive liveness‐enforcing supervisors for a class of...
This paper deals with the problems of computational and structural complexity in designing maximally permissive liveness-enforcing supervisors for a class of...
SourceID proquest
crossref
wiley
istex
SourceType Aggregation Database
Enrichment Source
Index Database
Publisher
StartPage 190
SubjectTerms deadlock
discrete event system
Flexible manufacturing system
Flexible manufacturing systems
Petri net
Supervisors
Title Design of a Maximally Permissive Liveness-enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems
URI https://api.istex.fr/ark:/67375/WNG-3NVP23S0-9/fulltext.pdf
https://onlinelibrary.wiley.com/doi/abs/10.1002%2Fasjc.837
https://www.proquest.com/docview/1647482097
Volume 17
WOSCitedRecordID wos000351166800019&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVWIB
  databaseName: Wiley Online Library Full Collection 2020
  customDbUrl:
  eissn: 1934-6093
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0061385
  issn: 1561-8625
  databaseCode: DRFUL
  dateStart: 19990101
  isFulltext: true
  titleUrlDefault: https://onlinelibrary.wiley.com
  providerName: Wiley-Blackwell
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LbxMxELYg4QAHyqsipUVGQnBauutHNnuM2gaE0ihqaOnNGnttqZAmVTZBrcSBn8Bv5Jcws4-0lUBC4rSHHXtXM_bM59HMZ8Zexw4xLQQbeetUpFxIo0zJEGGwBQEJSF0mc06G6WjUOz3NxnVVJfXCVPwQ64Qb7YzSX9MGB1vsXpOGQvHFvcPj1V3WFrhsVYu1948Gx8PGD2OcKi_kxANKEiFu1w31bCx2m7G3glGb9Hp5C2nexKtlwBls_M-vPmIPa5jJ-9W6eMzu-NkT9uAG-eBT9n2_LN7g88CBH8Ll2TlMp1d8TNUxBRW182HtCX_9-Ompa8nhOD5ZXZB7KeYLTjlcfkTcrz7n5FiIXHN5xVGU91fLOYJhfHEIsxW1T5T9kLxmSH_GjgcHn_Y-RPVdDJFTFMi6OqQ-2CTL8yRxGNitQiADHlLruyBz3ZVpFqROQVrd66ogFegQS4vHOydByE3Wms1n_jnjPZE7G1wCIhdKe8hAprGAXFlwWZrLDnvbGMW4mqic7suYmopiWRjSp0F9dtirteRFRc7xB5k3pV3XArD4SsVsqTafR--NHJ2MhZzEJuuw7cbwpt7HhSG2NYUgKaN5ShP_9UOmP_m4h8-tfxV8we4j-tJVPmebtZaLld9h99y35VmxeFmv5t8Krv2W
linkProvider Wiley-Blackwell
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1Lb9NAEB6VBAk4tDxFoMAiITiZ2t7dOBanqG0o4FhR09dtNV7vSoWQVHGCWqkHfgK_kV_Cjh-hlUBC4uSDZ9fWzO7Mt6OZbwFe-dphWrSZZzItPKFt5MWCW88FWwwxQC7LZM5REqVp7-QkHq3Bu6YXpuKHWCXcaGeU_po2OCWkt36zhmLxWb9156sb0BZuFckWtHf2B4dJ44hdoCpv5HQnlMBzwF023LN-uNWMvRaN2qTY82tQ8ypgLSPOYOO__vUurNdAk_WrlXEP1sz0Pty5Qj_4AC53yvINNrMM2RDPT7_iZHLBRlQfU1BZO0tqX_jz-w9DfUvajWPj5Rk5mGI2Z5TFZfvE_mpyRq6F6DUXF8yJsv5yMXNw2L0Y4nRJDRRlRySrOdIfwuFg92B7z6tvY_C0oFDWlTYyNgviPA8C7UJ7JhyUQYNRZrrIc9nlUWy5jJBnstcVlguU1ueZO-BpjiF_BK3pbGoeA-uFuc6sDjDMQyENxsgjP8RcZKjjKOcdeNNYRemaqpxuzJioimQ5VKRP5fTZgZcrybOKnuMPMq9Lw64EcP6FytkiqY7T94qnR6OQj30Vd2Czsbyqd3KhiG9NOJgU0zyljf_6IdUff9x2zyf_KvgCbu0dDBOVfEg_PYXbDovJKruzCa3FfGmewU39bXFazJ_XS_sXJZABlQ
linkToPdf http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LbxMxELZKgxA98EZNKWAkBKelu36sY_UUNYRXuooa-rhZY68tFdIkyiaolTj0J_Ab-SXY-witBBISpz3s2LvyeGY-j2Y-I_QyNh7TgtOR1YZFzDgRSUZd5IMtEEiA8jKZczQQWdY5OZHDNbTb9MJU_BCrhFuwjNJfBwO3s9zt_GYNheKLeePPVzdQi3GZeqts9Q76h4PGEftAVd7I6U8oSeSBO2-4Z2Oy04y9Fo1aYWHPr0HNq4C1jDj9u__1r_fQnRpo4m61M-6jNTt5gDau0A8-RN97ZfkGnjoMeB_OT89gPL7Aw1AfU4SydjyofeHPyx829C0ZPw6PlrPgYIrpHIcsLj4I7K82x8G1BHrNxQX2ori7XEw9HPYv9mGyDA0UZUckrjnSH6HD_tvPe--j-jaGyLAQylLuhHU6kXmeJMaHds08lAELQtsUaM5TKqSjXADVvJMyRxlwF1PtD3iGAqGP0fpkOrGbCHdIbrQzCZCcMG5BAhUxgZxpMFLktI1eN1pRpqYqDzdmjFVFskxUWE_l17ONXqwkZxU9xx9kXpWKXQnA_GsoZxNcHWfvFM2OhoSOYiXbaLvRvKotuVCBb415mCTDPKWO__oh1R193PPPrX8VfI5uDXt9NfiQfXqCbnsoxqvkzjZaX8yX9im6ab4tTov5s3pn_wKxTwEQ
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Design+of+a+Maximally+Permissive+Liveness-enforcing+Supervisor+with+Reduced+Complexity+for+Automated+Manufacturing+Systems&rft.jtitle=Asian+journal+of+control&rft.au=Wang%2C+ShouGuang&rft.au=Zhou%2C+MengChu&rft.au=Wu%2C+WenHui&rft.date=2015-01-01&rft.pub=Wiley+Subscription+Services%2C+Inc&rft.issn=1561-8625&rft.eissn=1934-6093&rft.volume=17&rft.issue=1&rft.spage=190&rft_id=info:doi/10.1002%2Fasjc.837&rft.externalDBID=NO_FULL_TEXT&rft.externalDocID=3565846541
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1561-8625&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1561-8625&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1561-8625&client=summon