Robust deadlock avoidance control for AMSs with assembly operations embedded in flexible routes using Petri nets

Deadlock-free supervisory control for automated manufacturing systems (AMSs) has been a popular research subject. However, for numerous researchers, their studies are merely practicable on the assumption that resources cannot fail. In practice, resource failures can occur unexpectedly. In this study...

Full description

Saved in:
Bibliographic Details
Published inIET control theory & applications Vol. 13; no. 11; pp. 1579 - 1590
Main Authors Du, Nan, Hu, He Suan
Format Journal Article
LanguageEnglish
Published The Institution of Engineering and Technology 23.07.2019
Subjects
AMSs
assembly operations
automated manufacturing systems
blocking problems
consideration deadlock
currently‐available resources
deadlock‐free supervisory control
discrete event systems
failed resource
flexible manufacturing systems
flexible routes
manufacturing systems
numerous researchers
Petri nets
popular research subject
Research Article
resource allocation
resource failures
robust control
robust deadlock avoidance control
robust supervisor
shared resource capacity
stagnant parts
Petri nets
flexible manufacturing systems
flexible routes
popular research subject
shared resource capacity
robust supervisor
automated manufacturing systems
discrete event systems
AMSs
resource allocation
robust deadlock avoidance control
consideration deadlock
currently-available resources
resource failures
stagnant parts
failed resource
robust control
manufacturing systems
numerous researchers
assembly operations
blocking problems
deadlock-free supervisory control
Online AccessGet full text

Cover

Abstract Deadlock-free supervisory control for automated manufacturing systems (AMSs) has been a popular research subject. However, for numerous researchers, their studies are merely practicable on the assumption that resources cannot fail. In practice, resource failures can occur unexpectedly. In this study, the authors take into consideration deadlock and blocking problems in systems with assembly operations embedded in flexible routes. Their objective is to develop a robust supervisor that controls resource allocation and selects flexible routes such that stagnant parts requiring failed resources do not block the movement of parts not necessarily requiring failed resources. That is to say, it must ensure that parts not necessarily requiring any failed resource can continue their operations. The proposed policy tries to take full advantage of the shared resource capacity to improve systems' performance. By modelling AMSs with Petri nets, their robust supervisor predicts in advance whether the currently-available resources are sufficient to support a token to advance into the desired destination in a single process. The method is achieved in an online and distributed way and avoids enumerating states. At last, several simulation examples show the correctness of their proposed method.
AbstractList Deadlock‐free supervisory control for automated manufacturing systems (AMSs) has been a popular research subject. However, for numerous researchers, their studies are merely practicable on the assumption that resources cannot fail. In practice, resource failures can occur unexpectedly. In this study, the authors take into consideration deadlock and blocking problems in systems with assembly operations embedded in flexible routes. Their objective is to develop a robust supervisor that controls resource allocation and selects flexible routes such that stagnant parts requiring failed resources do not block the movement of parts not necessarily requiring failed resources. That is to say, it must ensure that parts not necessarily requiring any failed resource can continue their operations. The proposed policy tries to take full advantage of the shared resource capacity to improve systems' performance. By modelling AMSs with Petri nets, their robust supervisor predicts in advance whether the currently‐available resources are sufficient to support a token to advance into the desired destination in a single process. The method is achieved in an online and distributed way and avoids enumerating states. At last, several simulation examples show the correctness of their proposed method.
Author Du, Nan
Hu, He Suan
Author_xml – sequence: 1
  givenname: Nan
  surname: Du
  fullname: Du, Nan
  organization: 1School of Electro-mechanical Engineering, Xidian University, Xi'an 710071, People's Republic of China
– sequence: 2
  givenname: He Suan
  surname: Hu
  fullname: Hu, He Suan
  email: huhesuan@gmail.com
  organization: 3State Key Laboratory for manufacturing Systems Engineering, Xi'an Jiaotong University, Xi'an, Shaanxi, 710054, People's Republic of China
BookMark eNqFkMFOwzAMQCMEEtvgA7jlBzqSNmk7bmNiDGkIBONcpYkDGV0yJRljf0_LEAcOwxdblp9tvT46ts4CQheUDClho0sDMZFRDFNCyyHPRuUR6tGC06TMeXr8WzN2ivohLAnhPGe8h9ZPrt6EiBUI1Tj5jsWHM0pYCVg6G71rsHYej--fA96a-IZFCLCqmx12a_AiGmcDbhugFChsLNYNfJq6AezdJkLAm2DsK36E6A22EMMZOtGiCXD-kwfoZXqzmMyS-cPt3WQ8T2SWsSIRmSKploJpUpScK6VTzogmUNZtaMgUk5CXeV6SgkuQWa0g56yUSo94QVU2QMV-r_QuBA-6kiZ-_xu9ME1FSdWJq1pxVSuu6sRVnbiWpH_ItTcr4XcHmas9szUN7P4Hqslill5PCWF50cLJHu7Glm7jbSvmwLEvIkyZiw
CitedBy_id crossref_primary_10_1109_TSMC_2020_3035446
crossref_primary_10_1080_00207543_2022_2127965
crossref_primary_10_1109_TSMC_2024_3505795
crossref_primary_10_1109_TSMC_2022_3228640
crossref_primary_10_1109_TASE_2019_2926758
crossref_primary_10_1049_cth2_12384
crossref_primary_10_1109_ACCESS_2019_2952056
crossref_primary_10_1109_TASE_2020_3019684
crossref_primary_10_1109_TASE_2020_2983672
crossref_primary_10_1109_TSMC_2023_3279867
crossref_primary_10_1109_TDSC_2023_3248602
crossref_primary_10_1109_TASE_2021_3130768
Cites_doi 10.1109/TASE.2008.917142
10.1049/iet-cta:20060218
10.1049/iet-cta.2015.0671
10.1109/TASE.2010.2050059
10.1016/j.ins.2015.11.025
10.1109/TSMCC.2011.2160626
10.1080/0951192X.2011.552526
10.1049/iet-cta.2010.0371
10.1109/TASE.2005.861397
10.1007/s10845-009-0238-1
10.1049/iet-cta.2009.0118
10.1007/s10845-012-0647-4
10.1109/70.370500
10.1049/iet-cta:20070399
10.1016/j.ins.2013.01.003
10.1080/00207543.2013.807375
10.1109/CoASE.2015.7294234
10.1016/j.ins.2016.01.049
10.1109/TII.2012.2198661
10.1109/TSMCA.2007.902651
10.1080/00207170903502815
10.1049/iet-cta.2010.0195
10.1016/j.conengprac.2016.05.009
10.1080/00207540802225991
10.1080/00207540210155792
10.1109/TRA.2002.1019464
10.1109/TSMCA.2008.918616
10.1109/TASE.2012.2215323
10.1109/ICSMC.1995.538247
10.1177/0142331213495884
10.1177/0142331216656755
10.1016/j.ins.2016.01.057
10.1109/ACCESS.2018.2885116
10.1049/iet-cta.2009.0557
10.1109/TCST.2015.2504046
10.1080/00207179.2011.561443
10.1016/j.cie.2015.01.028
10.1049/iet-cta:20060468
10.1049/iet-cta.2016.0010
10.1109/TSMC.2016.2558106
10.1016/j.ins.2015.08.016
10.1049/iet-cta.2013.0576
ContentType Journal Article
Copyright The Institution of Engineering and Technology
2021 The Authors. IET Control Theory & Applications published by John Wiley & Sons, Ltd. on behalf of The Institution of Engineering and Technology
Copyright_xml – notice: The Institution of Engineering and Technology
– notice: 2021 The Authors. IET Control Theory & Applications published by John Wiley & Sons, Ltd. on behalf of The Institution of Engineering and Technology
DBID AAYXX
CITATION
DOI 10.1049/iet-cta.2018.5398
DatabaseName CrossRef
DatabaseTitle CrossRef
DatabaseTitleList

CrossRef
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
EISSN 1751-8652
EndPage 1590
ExternalDocumentID 10_1049_iet_cta_2018_5398
CTH2BF00467
Genre article
GrantInformation_xml – fundername: National Natural Science Foundation of China
  grantid: 61573265
– fundername: National Natural Science Foundation of China
  grantid: 51305321
– fundername: National Natural Science Foundation of China
  grantid: 61203037
– fundername: National Natural Science Foundation of China
  funderid: 61203037; 51305321; 61573265
– fundername: Academic Research Fund Tier 2
– fundername: Academic Research Fund Tier 1
– fundername: Ministry of Education in Singapore
  funderid: MOE2015‐T2‐2‐049
– fundername: Major Fundamental Research Program of the Natural Science Foundation of Shaanxi Province
  funderid: 2017ZDJC‐34
– fundername: Ministry of Education in Singapore
  funderid: 2014‐T1‐001‐147
– fundername: New Century Excellent Talents in University
  funderid: NCET‐12‐0921
– fundername: Fundamental Research Funds for the Central Universities
  funderid: K721558 1201; K5051304021; K5051304004
GroupedDBID 0R
24P
29I
4IJ
5GY
6IK
8VB
AAJGR
ABPTK
ACGFS
ACIWK
AENEX
ALMA_UNASSIGNED_HOLDINGS
BFFAM
CS3
DU5
ESX
HZ
IFIPE
IPLJI
JAVBF
LAI
LOTEE
LXI
M43
MS
NADUK
NXXTH
O9-
OCL
QWB
RIE
RNS
RUI
U5U
UNMZH
UNR
ZL0
ZZ
.DC
0R~
0ZK
1OC
3V.
4.4
8FE
8FG
96U
AAHHS
AAHJG
ABJCF
ABQXS
ABUWG
ACCFJ
ACCMX
ACESK
ACXQS
ADEYR
AEEZP
AEGXH
AEQDE
AFAZI
AFKRA
AIWBW
AJBDE
ALUQN
ARAPS
AVUZU
AZQEC
BENPR
BGLVJ
BPHCQ
CCPQU
DWQXO
EBS
EJD
F8P
GNUQQ
GOZPB
GROUPED_DOAJ
GRPMH
HCIFZ
HZ~
IAO
ITC
K1G
K6V
K7-
L6V
M0N
M7S
MCNEO
MS~
OK1
P62
PQQKQ
PROAC
PTHSS
ROL
~ZZ
AAMMB
AAYXX
AEFGJ
AGXDD
AIDQK
AIDYY
CITATION
IDLOA
IGS
PHGZM
PHGZT
PQGLB
WIN
ID FETCH-LOGICAL-c3347-a3d02fca4f07855ddf2540f0e8bbbbfe3d4ce68668075cec3bde6548cdf9571d3
IEDL.DBID 24P
ISSN 1751-8644
IngestDate Tue Aug 05 12:09:47 EDT 2025
Thu Apr 24 22:52:00 EDT 2025
Wed Jan 22 16:32:09 EST 2025
Tue Jan 05 21:45:32 EST 2021
IsPeerReviewed true
IsScholarly true
Issue 11
Keywords Petri nets
flexible manufacturing systems
flexible routes
popular research subject
shared resource capacity
robust supervisor
automated manufacturing systems
discrete event systems
AMSs
resource allocation
robust deadlock avoidance control
consideration deadlock
currently-available resources
resource failures
stagnant parts
failed resource
robust control
manufacturing systems
numerous researchers
assembly operations
blocking problems
deadlock-free supervisory control
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c3347-a3d02fca4f07855ddf2540f0e8bbbbfe3d4ce68668075cec3bde6548cdf9571d3
PageCount 12
ParticipantIDs crossref_citationtrail_10_1049_iet_cta_2018_5398
crossref_primary_10_1049_iet_cta_2018_5398
wiley_primary_10_1049_iet_cta_2018_5398_CTH2BF00467
iet_journals_10_1049_iet_cta_2018_5398
ProviderPackageCode RUI
PublicationCentury 2000
PublicationDate 2019-07-23
PublicationDateYYYYMMDD 2019-07-23
PublicationDate_xml – month: 07
  year: 2019
  text: 2019-07-23
  day: 23
PublicationDecade 2010
PublicationTitle IET control theory & applications
PublicationYear 2019
Publisher The Institution of Engineering and Technology
Publisher_xml – name: The Institution of Engineering and Technology
References Feng, Y.X.; Xing, K.Y.; Gao, Z.X. (C30) 2017; 47
Yue, H.; Xing, K.Y.; Hu, H.S. (C43) 2016; 54
Han, L.B.; Zhou, Y.; Xing, K.M.C. (C6) 2016; 10
Luo, J.C.; Xing, K.Y.; Wu, Y.C. (C35) 2017; 39
Hu, H.S.; Zhou, M.C.; Li, Z.W. (C8) 2013; 9
Wang, S.Y.; Chew, S.F.; Lawley, M.A. (C36) 2008; 38
Hu, H.S.; Li, Z.W. (C7) 2010; 21
Hsieh, F.S. (C31) 2007; 37
Li, Z.W.; Zhang, J.; Zhao, M. (C11) 2007; 1
Liu, G.Y.; Li, Z.W. (C19) 2010; 4
Wang, S.Y.; Chew, S.F.; Lawley, M.A. (C26) 2008; 47
Yue, H.; Xing, K.Y.; Hu, Z. (C40) 2014; 52
Hsieh, F.S. (C32) 2010; 83
Chen, H.F.; Wu, N.Q.; Zhou, M.C. (C3) 2016; 363
Hsieh, F.S. (C33) 2011; 84
Li, Z.W.; Wu, N.Q.; Zhou, M.C. (C14) 2012; 42
Yue, H.; Xing, K.Y.; Hu, H.S. (C41) 2015; 83
Du, N.; Hu, H.S. (C29) 2018; 6
Chao, D.Y. (C2) 2010; 4
Ezpeleta, J.; Colom, J.M.; Martinez, J. (C5) 1995; 11
Li, Z.W.; Shpitalni, M. (C13) 2009; 3
Liu, G.J. (C18) 2016; 363
Uzam, M.; Li, Z.W.; Gelen, G. (C21) 2016; 27
Basile, F.; Pasquale, C.; Jolanda, C. (C1) 2012; 9
Hu, H.S.; Su, R.; Zhou, M.C. (C9) 2015; 24
Lawley, M.A.; Sulistyono, W. (C25) 2002; 18
Yue, H.; Xing, K.Y. (C39) 2014; 36
Li, S.Y.; An, A.M.; Wang, Y. (C15) 2013; 24
Liu, G.Y.; Li, Z.W.; Barkaoui, K. (C34) 2013; 235
Lawley, M.A. (C24) 2002; 40
Chew, S.F.; Wang, S.Y.; Lawley, M.A. (C28) 2011; 24
Wang, F.; Xing, K.Y.; Zhou, M.C. (C37) 2016; 345
Dong, L.D.; Zhu, D.; Zhu, C.C. (C4) 2014; 8
Wu, Y.C.; Xing, K.Y.; Luo, J.C. (C38) 2016; 346–347
Chew, S.F.; Lawley, M.A. (C23) 2006; 3
Li, Z.W.; Zhou, M.C.; Uzam, M. (C12) 2007; 1
Liu, G.J.; Jiang, C.J.; Zhou, M.C. (C17) 2011; 5
Liu, G.J.; Jiang, C.J.; Zhou, M.C. (C16) 2010; 7
Huang, Y.S.; Pan, Y.L. (C10) 2011; 5
Chew, S.F.; Wang, S.Y.; Lawley, M.A. (C27) 2009; 6
Yue, H.; Xing, K.Y.; Hu, H.S. (C42) 2016; 10
October 1995
2002; 18
2017; 47
2013; 24
1995; 11
2011; 84
2008; 38
2016; 10
2016; 54
2016; 363
2006; 3
2016; 345
2011; 5
2013; 9
2007; 37
2010; 83
2015; 24
2018; 6
2010; 21
2017; 39
2002; 40
2015; 83
2016; 346–347
2008; 47
August 2015
2013; 235
2014; 36
2011; 24
2009; 6
2009; 3
2014; 52
2014; 8
2007; 1
2016; 27
2010; 4
2010; 7
2012; 42
2012; 9
e_1_2_8_28_1
e_1_2_8_29_1
e_1_2_8_24_1
e_1_2_8_25_1
e_1_2_8_26_1
Wu Y.C. (e_1_2_8_39_1) 2016; 346
e_1_2_8_27_1
e_1_2_8_3_1
e_1_2_8_2_1
e_1_2_8_5_1
e_1_2_8_4_1
e_1_2_8_7_1
e_1_2_8_6_1
e_1_2_8_9_1
e_1_2_8_8_1
e_1_2_8_20_1
e_1_2_8_43_1
e_1_2_8_21_1
e_1_2_8_42_1
e_1_2_8_23_1
e_1_2_8_44_1
Uzam M. (e_1_2_8_22_1) 2016; 27
e_1_2_8_41_1
e_1_2_8_40_1
e_1_2_8_17_1
e_1_2_8_18_1
e_1_2_8_19_1
e_1_2_8_13_1
e_1_2_8_36_1
e_1_2_8_14_1
e_1_2_8_35_1
e_1_2_8_15_1
e_1_2_8_38_1
e_1_2_8_16_1
e_1_2_8_37_1
e_1_2_8_32_1
e_1_2_8_10_1
e_1_2_8_31_1
e_1_2_8_11_1
e_1_2_8_34_1
e_1_2_8_12_1
e_1_2_8_33_1
e_1_2_8_30_1
References_xml – volume: 3
  start-page: 362
  issue: 3
  year: 2009
  end-page: 374
  ident: C13
  article-title: Smart deadlock prevention policy for flexible manufacturing systems using Petri nets
  publication-title: IET Control Theory Appl.
– volume: 9
  start-page: 654
  issue: 4
  year: 2012
  end-page: 668
  ident: C1
  article-title: A hybrid model of complex automated warehouse systems – part II: analysis and experimental results
  publication-title: IEEE Trans. Autom. Sci. Eng.
– volume: 363
  start-page: 178
  issue: 1
  year: 2016
  end-page: 189
  ident: C3
  article-title: A novel method for deadlock prevention of AMS by using resource-oriented Petri nets
  publication-title: Inf. Sci.
– volume: 8
  start-page: 1224
  issue: 13
  year: 2014
  end-page: 1237
  ident: C4
  article-title: Region minimised monitor design for deadlock-prevention of S PR nets
  publication-title: IET Control Theory Appl.
– volume: 10
  start-page: 1181
  issue: 10
  year: 2016
  end-page: 1186
  ident: C6
  article-title: Efficient optimal deadlock control of flexible manufacturing systems
  publication-title: IET Control Theory Appl.
– volume: 3
  start-page: 309
  issue: 3
  year: 2006
  end-page: 323
  ident: C23
  article-title: Robust supervisory control for production systems with multiple unreliable resources
  publication-title: IEEE Trans. Autom. Sci. Eng.
– volume: 1
  start-page: 1594
  issue: 6
  year: 2007
  end-page: 1605
  ident: C12
  article-title: Deadlock control policy for a class of Petri nets without complete siphon enumeration
  publication-title: IET Control Theory Appl.
– volume: 346–347
  start-page: 17
  issue: 10
  year: 2016
  end-page: 28
  ident: C38
  article-title: Robust deadlock control for automated manufacturing systems with an unreliable resource
  publication-title: Inf. Sci.
– volume: 18
  start-page: 346
  issue: 3
  year: 2002
  end-page: 359
  ident: C25
  article-title: Robust supervisory control policies for manufacturing systems with unreliable resources
  publication-title: IEEE Trans. Robot. Autom.
– volume: 27
  start-page: 1111
  issue: 5
  year: 2016
  end-page: 1129
  ident: C21
  article-title: A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems
  publication-title: Int. J. Prod. Res.
– volume: 47
  start-page: 6499
  issue: 23
  year: 2008
  end-page: 6524
  ident: C26
  article-title: Guidelines for implementing robust supervisors in flexible manufacturing systems
  publication-title: Int. J. Prod. Res.
– volume: 24
  start-page: 1610
  issue: 5
  year: 2015
  end-page: 1622
  ident: C9
  article-title: Polynomially complex synthesis of distributed supervisors for large scale AMS using Petri nets
  publication-title: IEEE Trans. Control Syst. Tech.
– volume: 24
  start-page: 229
  issue: 3
  year: 2011
  end-page: 241
  ident: C28
  article-title: Resource failure and blockage control for production systems
  publication-title: Int. J. Comput. Integr. Manuf.
– volume: 4
  start-page: 1298
  issue: 7
  year: 2010
  end-page: 1302
  ident: C2
  article-title: Conservative control policy for weakly dependent siphons in S3PR based on elementary siphons
  publication-title: IET Control Theory Appl.
– volume: 40
  start-page: 4563
  issue: 17
  year: 2002
  end-page: 4582
  ident: C24
  article-title: Control of deadlock and blocking for production systems with unreliable resources
  publication-title: Int. J. Prod. Res.
– volume: 37
  start-page: 792
  issue: 5
  year: 2007
  end-page: 803
  ident: C31
  article-title: Analysis of flexible assembly processes based on structural decomposition of Petri nets
  publication-title: IEEE Trans. Syst. Man Cybern. A, Syst. Humans
– volume: 38
  start-page: 605
  issue: 3
  year: 2008
  end-page: 627
  ident: C36
  article-title: Using shared resources capacity for robust control of failure prone manufacturing systems
  publication-title: IEEE Trans. Syst. Man Cybern. A, Syst. Humans
– volume: 363
  start-page: 190
  year: 2016
  end-page: 197
  ident: C18
  article-title: Complexity of the deadlock problem for Petri nets modelling resource allocation systems
  publication-title: Inf. Sci.
– volume: 7
  start-page: 945
  issue: 4
  year: 2010
  end-page: 957
  ident: C16
  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: 83
  start-page: 139
  year: 2015
  end-page: 150
  ident: C41
  article-title: Robust supervision using shared-buffers in automated manufacturing systems with unreliable resource
  publication-title: Comput. Ind. Eng.
– volume: 21
  start-page: 555
  issue: 4
  year: 2010
  end-page: 567
  ident: C7
  article-title: Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons
  publication-title: J. Intell. Manuf.
– volume: 5
  start-page: 1069
  issue: 9
  year: 2011
  end-page: 1078
  ident: C10
  article-title: An improved maximally permissive deadlock prevention policy based on the theory of regions and reduction approach
  publication-title: IET Control Theory Appl.
– volume: 4
  start-page: 2867
  issue: 12
  year: 2010
  end-page: 2878
  ident: C19
  article-title: General mixed integer programming-based liveness test for system of sequential systems with shared resources nets
  publication-title: IET Control Theory Appl.
– volume: 6
  start-page: 195
  issue: 1
  year: 2009
  end-page: 200
  ident: C27
  article-title: Robust supervisory control for product routings with multiple unreliable resources
  publication-title: IEEE Trans. Autom. Sci. Eng.
– volume: 52
  start-page: 1573
  issue: 6
  year: 2014
  end-page: 1591
  ident: C40
  article-title: Robust supervisory control for avoiding deadlock in automated manufacturing systems with unreliable resources
  publication-title: Int. J. Prod. Res.
– volume: 5
  start-page: 1059
  issue: 9
  year: 2011
  end-page: 1068
  ident: C17
  article-title: Improved sufficient condition for the controllability of weakly dependent siphons in system of simple sequential processes with resources
  publication-title: IET Control Theory Appl.
– volume: 39
  start-page: 793
  issue: 6
  year: 2017
  end-page: 806
  ident: C35
  article-title: Robust supervisory control policy for automated manufacturing systems with a single unreliable resource
  publication-title: Trans. Inst. Meas. Control
– volume: 42
  start-page: 437
  issue: 4
  year: 2012
  end-page: 462
  ident: C14
  article-title: Deadlock control of automated manufacturing systems based on Petri nets – a literature review
  publication-title: IEEE Trans. Syst. Man Cybern. C, Appl. Rev.
– volume: 11
  start-page: 173
  issue: 2
  year: 1995
  end-page: 184
  ident: C5
  article-title: A Petri net based deadlock prevention policy for flexible manufacturing systems
  publication-title: IEEE Trans. Robot. Autom.
– volume: 47
  start-page: 3019
  issue: 11
  year: 2017
  end-page: 3029
  ident: C30
  article-title: Transition cover-based robust Petri net controllers for automated manufacturing systems with a type of unreliable resources
  publication-title: IEEE Trans. Syst. Man Cybern. Syst.
– volume: 6
  start-page: 78598
  year: 2018
  end-page: 78608
  ident: C29
  article-title: A robust prevention method for automated manufacturing systems with unreliable resources using Petri nets
  publication-title: IEEE Access
– volume: 54
  start-page: 176
  year: 2016
  end-page: 189
  ident: C43
  article-title: Petri-net-based robust supervisory control of automated manufacturing systems
  publication-title: Control Eng. Pract.
– volume: 83
  start-page: 928
  issue: 5
  year: 2010
  end-page: 939
  ident: C32
  article-title: Robustness analysis of non-ordinary Petri nets for flexible assembly systems
  publication-title: Int. J. Control
– volume: 36
  start-page: 435
  issue: 4
  year: 2014
  end-page: 444
  ident: C39
  article-title: Robust supervisory control for avoiding deadlocks in automated manufacturing systems with one specified unreliable resource
  publication-title: Trans. Inst. Meas. Control
– volume: 24
  start-page: 1157
  issue: 6
  year: 2013
  end-page: 1173
  ident: C15
  article-title: Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons
  publication-title: J. Intell. Manuf.
– volume: 345
  start-page: 243
  issue: 1
  year: 2016
  end-page: 256
  ident: C37
  article-title: A robust deadlock prevention control for automated manufacturing systems with unreliable resources
  publication-title: Inf. Sci.
– volume: 1
  start-page: 955
  issue: 4
  year: 2007
  end-page: 967
  ident: C11
  article-title: Liveness-enforcing supervisor design for a class of generalised Petri net models of flexible manufacturing systems
  publication-title: IET Control Theory Appl.
– volume: 84
  start-page: 496
  issue: 3
  year: 2011
  end-page: 510
  ident: C33
  article-title: Robustness analysis of non-ordinary Petri nets for flexible assembly/disassembly processes based on structural decomposition
  publication-title: Int. J. Control
– volume: 235
  start-page: 259
  issue: 20
  year: 2013
  end-page: 279
  ident: C34
  article-title: Robustness of deadlock control for a class of Petri nets with unreliable resources
  publication-title: Inf. Sci.
– volume: 9
  start-page: 109
  issue: 1
  year: 2013
  end-page: 121
  ident: C8
  article-title: Deadlock-free control of automated manufacturing systems with flexible routes and assembly operations using Petri nets
  publication-title: IEEE Trans. Ind. Inf.
– volume: 10
  start-page: 939
  issue: 8
  year: 2016
  end-page: 946
  ident: C42
  article-title: Deadlock and blockage control for manufacturing systems with failure-prone workstations
  publication-title: IET Control Theory Appl.
– volume: 6
  start-page: 78598
  year: 2018
  end-page: 78608
  article-title: A robust prevention method for automated manufacturing systems with unreliable resources using Petri nets
  publication-title: IEEE Access
– volume: 5
  start-page: 1069
  issue: 9
  year: 2011
  end-page: 1078
  article-title: An improved maximally permissive deadlock prevention policy based on the theory of regions and reduction approach
  publication-title: IET Control Theory Appl.
– volume: 27
  start-page: 1111
  issue: 5
  year: 2016
  end-page: 1129
  article-title: A divide‐and‐conquer‐method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems
  publication-title: Int. J. Prod. Res.
– start-page: 1029
  year: August 2015
  end-page: 1035
– volume: 52
  start-page: 1573
  issue: 6
  year: 2014
  end-page: 1591
  article-title: Robust supervisory control for avoiding deadlock in automated manufacturing systems with unreliable resources
  publication-title: Int. J. Prod. Res.
– volume: 37
  start-page: 792
  issue: 5
  year: 2007
  end-page: 803
  article-title: Analysis of flexible assembly processes based on structural decomposition of Petri nets
  publication-title: IEEE Trans. Syst. Man Cybern. A, Syst. Humans
– 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: 6
  start-page: 195
  issue: 1
  year: 2009
  end-page: 200
  article-title: Robust supervisory control for product routings with multiple unreliable resources
  publication-title: IEEE Trans. Autom. Sci. Eng.
– volume: 5
  start-page: 1059
  issue: 9
  year: 2011
  end-page: 1068
  article-title: Improved sufficient condition for the controllability of weakly dependent siphons in system of simple sequential processes with resources
  publication-title: IET Control Theory Appl.
– volume: 36
  start-page: 435
  issue: 4
  year: 2014
  end-page: 444
  article-title: Robust supervisory control for avoiding deadlocks in automated manufacturing systems with one specified unreliable resource
  publication-title: Trans. Inst. Meas. Control
– volume: 363
  start-page: 178
  issue: 1
  year: 2016
  end-page: 189
  article-title: A novel method for deadlock prevention of AMS by using resource‐oriented Petri nets
  publication-title: Inf. Sci.
– volume: 83
  start-page: 139
  year: 2015
  end-page: 150
  article-title: Robust supervision using shared‐buffers in automated manufacturing systems with unreliable resource
  publication-title: Comput. Ind. Eng.
– volume: 47
  start-page: 6499
  issue: 23
  year: 2008
  end-page: 6524
  article-title: Guidelines for implementing robust supervisors in flexible manufacturing systems
  publication-title: Int. J. Prod. Res.
– volume: 54
  start-page: 176
  year: 2016
  end-page: 189
  article-title: Petri‐net‐based robust supervisory control of automated manufacturing systems
  publication-title: Control Eng. Pract.
– volume: 10
  start-page: 1181
  issue: 10
  year: 2016
  end-page: 1186
  article-title: Efficient optimal deadlock control of flexible manufacturing systems
  publication-title: IET Control Theory Appl.
– volume: 24
  start-page: 229
  issue: 3
  year: 2011
  end-page: 241
  article-title: Resource failure and blockage control for production systems
  publication-title: Int. J. Comput. Integr. Manuf.
– volume: 235
  start-page: 259
  issue: 20
  year: 2013
  end-page: 279
  article-title: Robustness of deadlock control for a class of Petri nets with unreliable resources
  publication-title: Inf. Sci.
– volume: 346–347
  start-page: 17
  issue: 10
  year: 2016
  end-page: 28
  article-title: Robust deadlock control for automated manufacturing systems with an unreliable resource
  publication-title: Inf. Sci.
– volume: 83
  start-page: 928
  issue: 5
  year: 2010
  end-page: 939
  article-title: Robustness analysis of non‐ordinary Petri nets for flexible assembly systems
  publication-title: Int. J. Control
– volume: 363
  start-page: 190
  year: 2016
  end-page: 197
  article-title: Complexity of the deadlock problem for Petri nets modelling resource allocation systems
  publication-title: Inf. Sci.
– volume: 24
  start-page: 1610
  issue: 5
  year: 2015
  end-page: 1622
  article-title: Polynomially complex synthesis of distributed supervisors for large scale AMS using Petri nets
  publication-title: IEEE Trans. Control Syst. Tech.
– volume: 40
  start-page: 4563
  issue: 17
  year: 2002
  end-page: 4582
  article-title: Control of deadlock and blocking for production systems with unreliable resources
  publication-title: Int. J. Prod. Res.
– volume: 3
  start-page: 309
  issue: 3
  year: 2006
  end-page: 323
  article-title: Robust supervisory control for production systems with multiple unreliable resources
  publication-title: IEEE Trans. Autom. Sci. Eng.
– volume: 18
  start-page: 346
  issue: 3
  year: 2002
  end-page: 359
  article-title: Robust supervisory control policies for manufacturing systems with unreliable resources
  publication-title: IEEE Trans. Robot. Autom.
– volume: 4
  start-page: 2867
  issue: 12
  year: 2010
  end-page: 2878
  article-title: General mixed integer programming‐based liveness test for system of sequential systems with shared resources nets
  publication-title: IET Control Theory Appl.
– 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: 4
  start-page: 1298
  issue: 7
  year: 2010
  end-page: 1302
  article-title: Conservative control policy for weakly dependent siphons in S3PR based on elementary siphons
  publication-title: IET Control Theory Appl.
– volume: 84
  start-page: 496
  issue: 3
  year: 2011
  end-page: 510
  article-title: Robustness analysis of non‐ordinary Petri nets for flexible assembly/disassembly processes based on structural decomposition
  publication-title: Int. J. Control
– volume: 9
  start-page: 109
  issue: 1
  year: 2013
  end-page: 121
  article-title: Deadlock‐free control of automated manufacturing systems with flexible routes and assembly operations using Petri nets
  publication-title: IEEE Trans. Ind. Inf.
– volume: 1
  start-page: 1594
  issue: 6
  year: 2007
  end-page: 1605
  article-title: Deadlock control policy for a class of Petri nets without complete siphon enumeration
  publication-title: IET Control Theory Appl.
– volume: 9
  start-page: 654
  issue: 4
  year: 2012
  end-page: 668
  article-title: A hybrid model of complex automated warehouse systems – part II: analysis and experimental results
  publication-title: IEEE Trans. Autom. Sci. Eng.
– volume: 8
  start-page: 1224
  issue: 13
  year: 2014
  end-page: 1237
  article-title: Region minimised monitor design for deadlock‐prevention of S PR nets
  publication-title: IET Control Theory Appl.
– start-page: 3035
  year: October 1995
  end-page: 3040
– volume: 3
  start-page: 362
  issue: 3
  year: 2009
  end-page: 374
  article-title: Smart deadlock prevention policy for flexible manufacturing systems using Petri nets
  publication-title: IET Control Theory Appl.
– volume: 38
  start-page: 605
  issue: 3
  year: 2008
  end-page: 627
  article-title: Using shared resources capacity for robust control of failure prone manufacturing systems
  publication-title: IEEE Trans. Syst. Man Cybern. A, Syst. Humans
– volume: 24
  start-page: 1157
  issue: 6
  year: 2013
  end-page: 1173
  article-title: Design of liveness‐enforcing supervisors with simpler structures for deadlock‐free operations in flexible manufacturing systems using necessary siphons
  publication-title: J. Intell. Manuf.
– volume: 39
  start-page: 793
  issue: 6
  year: 2017
  end-page: 806
  article-title: Robust supervisory control policy for automated manufacturing systems with a single unreliable resource
  publication-title: Trans. Inst. Meas. Control
– volume: 10
  start-page: 939
  issue: 8
  year: 2016
  end-page: 946
  article-title: Deadlock and blockage control for manufacturing systems with failure‐prone workstations
  publication-title: IET Control Theory Appl.
– volume: 42
  start-page: 437
  issue: 4
  year: 2012
  end-page: 462
  article-title: Deadlock control of automated manufacturing systems based on Petri nets – a literature review
  publication-title: IEEE Trans. Syst. Man Cybern. C, Appl. Rev.
– volume: 21
  start-page: 555
  issue: 4
  year: 2010
  end-page: 567
  article-title: Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons
  publication-title: J. Intell. Manuf.
– volume: 1
  start-page: 955
  issue: 4
  year: 2007
  end-page: 967
  article-title: Liveness‐enforcing supervisor design for a class of generalised Petri net models of flexible manufacturing systems
  publication-title: IET Control Theory Appl.
– volume: 47
  start-page: 3019
  issue: 11
  year: 2017
  end-page: 3029
  article-title: Transition cover‐based robust Petri net controllers for automated manufacturing systems with a type of unreliable resources
  publication-title: IEEE Trans. Syst. Man Cybern. Syst.
– volume: 345
  start-page: 243
  issue: 1
  year: 2016
  end-page: 256
  article-title: A robust deadlock prevention control for automated manufacturing systems with unreliable resources
  publication-title: Inf. Sci.
– ident: e_1_2_8_28_1
  doi: 10.1109/TASE.2008.917142
– ident: e_1_2_8_12_1
  doi: 10.1049/iet-cta:20060218
– ident: e_1_2_8_43_1
  doi: 10.1049/iet-cta.2015.0671
– ident: e_1_2_8_17_1
  doi: 10.1109/TASE.2010.2050059
– ident: e_1_2_8_19_1
  doi: 10.1016/j.ins.2015.11.025
– ident: e_1_2_8_15_1
  doi: 10.1109/TSMCC.2011.2160626
– ident: e_1_2_8_29_1
  doi: 10.1080/0951192X.2011.552526
– ident: e_1_2_8_11_1
  doi: 10.1049/iet-cta.2010.0371
– ident: e_1_2_8_24_1
  doi: 10.1109/TASE.2005.861397
– ident: e_1_2_8_8_1
  doi: 10.1007/s10845-009-0238-1
– ident: e_1_2_8_3_1
  doi: 10.1049/iet-cta.2009.0118
– ident: e_1_2_8_16_1
  doi: 10.1007/s10845-012-0647-4
– ident: e_1_2_8_6_1
  doi: 10.1109/70.370500
– ident: e_1_2_8_14_1
  doi: 10.1049/iet-cta:20070399
– ident: e_1_2_8_35_1
  doi: 10.1016/j.ins.2013.01.003
– ident: e_1_2_8_41_1
  doi: 10.1080/00207543.2013.807375
– volume: 27
  start-page: 1111
  issue: 5
  year: 2016
  ident: e_1_2_8_22_1
  article-title: A divide‐and‐conquer‐method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems
  publication-title: Int. J. Prod. Res.
– ident: e_1_2_8_23_1
  doi: 10.1109/CoASE.2015.7294234
– volume: 346
  start-page: 17
  issue: 10
  year: 2016
  ident: e_1_2_8_39_1
  article-title: Robust deadlock control for automated manufacturing systems with an unreliable resource
  publication-title: Inf. Sci.
  doi: 10.1016/j.ins.2016.01.049
– ident: e_1_2_8_9_1
  doi: 10.1109/TII.2012.2198661
– ident: e_1_2_8_32_1
  doi: 10.1109/TSMCA.2007.902651
– ident: e_1_2_8_33_1
  doi: 10.1080/00207170903502815
– ident: e_1_2_8_18_1
  doi: 10.1049/iet-cta.2010.0195
– ident: e_1_2_8_44_1
  doi: 10.1016/j.conengprac.2016.05.009
– ident: e_1_2_8_27_1
  doi: 10.1080/00207540802225991
– ident: e_1_2_8_25_1
  doi: 10.1080/00207540210155792
– ident: e_1_2_8_26_1
  doi: 10.1109/TRA.2002.1019464
– ident: e_1_2_8_37_1
  doi: 10.1109/TSMCA.2008.918616
– ident: e_1_2_8_2_1
  doi: 10.1109/TASE.2012.2215323
– ident: e_1_2_8_21_1
  doi: 10.1109/ICSMC.1995.538247
– ident: e_1_2_8_40_1
  doi: 10.1177/0142331213495884
– ident: e_1_2_8_36_1
  doi: 10.1177/0142331216656755
– ident: e_1_2_8_38_1
  doi: 10.1016/j.ins.2016.01.057
– ident: e_1_2_8_30_1
  doi: 10.1109/ACCESS.2018.2885116
– ident: e_1_2_8_20_1
  doi: 10.1049/iet-cta.2009.0557
– ident: e_1_2_8_10_1
  doi: 10.1109/TCST.2015.2504046
– ident: e_1_2_8_34_1
  doi: 10.1080/00207179.2011.561443
– ident: e_1_2_8_42_1
  doi: 10.1016/j.cie.2015.01.028
– ident: e_1_2_8_13_1
  doi: 10.1049/iet-cta:20060468
– ident: e_1_2_8_7_1
  doi: 10.1049/iet-cta.2016.0010
– ident: e_1_2_8_31_1
  doi: 10.1109/TSMC.2016.2558106
– ident: e_1_2_8_4_1
  doi: 10.1016/j.ins.2015.08.016
– ident: e_1_2_8_5_1
  doi: 10.1049/iet-cta.2013.0576
SSID ssj0055645
Score 2.3168507
Snippet Deadlock-free supervisory control for automated manufacturing systems (AMSs) has been a popular research subject. However, for numerous researchers, their...
Deadlock‐free supervisory control for automated manufacturing systems (AMSs) has been a popular research subject. However, for numerous researchers, their...
SourceID crossref
wiley
iet
SourceType Enrichment Source
Index Database
Publisher
StartPage 1579
SubjectTerms AMSs
assembly operations
automated manufacturing systems
blocking problems
consideration deadlock
currently‐available resources
deadlock‐free supervisory control
discrete event systems
failed resource
flexible manufacturing systems
flexible routes
manufacturing systems
numerous researchers
Petri nets
popular research subject
Research Article
resource allocation
resource failures
robust control
robust deadlock avoidance control
robust supervisor
shared resource capacity
stagnant parts
SummonAdditionalLinks – databaseName: IET Digital Library Open Access
  dbid: IDLOA
  link: http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1Rb9MwELZY9zIeEGObGDB0D4gHJG-JHTfJI3RUBcEe0Cr1LYp99lRRkqpNJ-3fc5ekY5OmjTxFjuOHO8v33Z3vOyE-GOUsZ7dknhlPDkpwssQ4l4aMf5QzR1fEBc4_L4aTafJ9Zmb_yqNxfsW9MuQ24sbRct9VHvDVbTqHz3oZdw1JCN-e0QTpGuYQirNTo_NsR-yqNI2Tgdj9dv6DXazuZDbMnNIWSJpYZgQEbrOcDyxyz07t0Of76LU1P-OX4kWPG-Fzp-h98cxXr8TzO2yCB2L5q7abdQNIaiMT9RvK63qOrFXoL6QDIVQg130NHH4Fws3-j13cQL303UZYAw14OosQ5hUEJsu0Cw-rekOIFPiO_BW0Pbig8s36UEzHXy9HE9k3VJBO6ySVpcZIBVcmgYCBMYiB3MMoRD6z9ASvMXF-mA2HzFDsvNMWPfeVdxhyk8aoj8Sgqiv_WoBzqXYZZlhGPlEhtqhLjDBRVpXkrKtjEW3FV7iebZybXiyKNuud5AWJtCCJFyzxgiV-LD7d_rLsqDYem_yRx7ab4bGJulXb00sWo8uJ-jLmiEH65n-Xfyv26J3rwKTS78SgWW38CcGUxr7vd99fC8_lcw
  priority: 102
  providerName: Institution of Engineering and Technology
Title Robust deadlock avoidance control for AMSs with assembly operations embedded in flexible routes using Petri nets
URI http://digital-library.theiet.org/content/journals/10.1049/iet-cta.2018.5398
https://onlinelibrary.wiley.com/doi/abs/10.1049%2Fiet-cta.2018.5398
Volume 13
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LT-MwELZKe9k9IB672i4PzQHtYSWziR23yREKVUH7QAgkblH8QhXdpGrSlfbfM5OkFQgJJHJ0bB9mbM83Hs83jB0pYTRFt3gSK4cOijc8s2HCFRr_ICGOroASnH_9Hkxuo8s7dddho1UuTMMPsb5wo51Rn9e0wTPdVCFBUItKnLqKm4qog8L4WMkk3mA9SrElAn0RXa2OY0V0KXVWpAp5jNZ_HdpMfryY4plx2sDfzyFrbXPGW2yzBYtw0mh3m3VcvsM-PqEQ3GXz60Ivywos6grt0gNk_4qpJVVC-wodEJYC-usl0J0rIFh2f_XsPxRz12i_BGxweABZmObgiSFTzxwsiiXCUKCH8fdQF96C3FXlJ3Y7Pr8ZTXhbRYEbKaMhz6QNhDdZ5BENKGWtR58w8IGLNX7eSRsZN4gHA6IlNs5IbR0VkzfWJ2oYWvmZdfMid18YGDOUJraxzQIXCR9qKzMb2EhokaGHLvosWIkvNS3FOFW6mKV1qDtKUhRpihJPSeIpSbzPvq-HzBt-jdc6f6O2dpeVr3WUtdrenjId3UzE6ZiuCYZf3zVqj33AdsoE40Lus261WLoDBCqVPqwX4iHrXZz9_HPyCEAo5Q0
linkProvider Wiley-Blackwell
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1Lb9RADB615UA5VOVRdSktPlQckAaSeeRxhLarhT6E0FbqLcq8qhVLsmqySPx77CS7okJqJXKczORgx-PPnvFnxo61sIZOt3ieaY8BSrC8dHHONTr_KCeOrogKnC-vksm1-nqjbzbY6aoWpueHWCfcyDK6_ZoMnBLSfcCpiCRz5ltuW-IOirMPWubZJnuiEpGSeQr1bbUfa-JL6coidcwzdP_rs8384z-fuOedNvH1fczaOZ3xLtsZ0CJ86tX7nG346gV79heH4Eu2-F6bZdOCQ2WhY_oB5a965kiXMFxDB8SlgAF7A5R0BUTL_qeZ_4Z64Xv1N4ADHncgB7MKAlFkmrmHu3qJOBToZvwtdJ23oPJt84pdj8-mJxM-tFHgVkqV8lK6SARbqoBwQGvnAgaFUYh8ZvAJXjplfZIlCfESW2-lcZ66yVsXcp3GTu6xraqu_D4Da1NpM5e5MvJKhNg4WbrIKWFEiSG6GLFoJb7CDhzj1OpiXnRn3SovUKQFSrwgiRck8RF7v16y6Ak2Hpr8jsYGM2semig7tT3-yeJkOhGfx5QnSF__16q37OlkenlRXHy5Oj9g2ziHysK4kG_YVnu39IeIWlpz1P2UfwBrlObt
linkToPdf http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3da9swEBdpA6N7KN1HWdt1u4exh4FW27IS-7FNF7KvMkYzQl-MpZNGWGqH2hnsv9-d7YSFQQfzoyzp4U7S_U6n-50Qr3RkDUe3ZJpoRw6KtzLHMJWajH-QMkdXwAnOn68Gk2n8YaZnPTFa58K0_BCbCzfeGc15zRt8ib71N2PmyJy7WtqaqYPC5K1WabIj-syWR0u7f_5tejNdH8iaCVOavEgdyoTs_ya4mZ79NcmWedqh39ugtbE64wOx38FFOG_1-0j0XPFYPPyDRPCJWH4tzaqqAUlbZJl-QP6znCMrE7p36EDAFMhjr4BvXYHgsrs1i19QLl2r_wqowdERhDAvwDNHplk4uCtXBESBn8Z_h6b0FhSurp6K6fjd9WgiuzoK0ioVD2WuMIi8zWNPeEBrRE9eYeADlxj6vFMYWzdIBgMmJrbOKoOOy8lb9KkehqgOxW5RFu6ZAGuHyiaYYB64OPKhQZVjgHFkopx89OhIBGvxZbYjGedaF4usCXbHaUYizUjiGUs8Y4kfiTebIcuWYeO-zq-5rdtn1X0dVaO2f0-Zja4n0cWYLwqGx_816qV48OVynH16f_XxROxRF04Lk5F6Lnbru5U7JdRSmxfdqvwNgWbn5Q
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=Robust+deadlock+avoidance+control+for+AMSs+with+assembly+operations+embedded+in+flexible+routes+using+Petri+nets&rft.jtitle=IET+control+theory+%26+applications&rft.au=Du%2C+Nan&rft.au=Hu%2C+He+Suan&rft.date=2019-07-23&rft.pub=The+Institution+of+Engineering+and+Technology&rft.issn=1751-8644&rft.eissn=1751-8652&rft.volume=13&rft.issue=11&rft.spage=1579&rft.epage=1590&rft_id=info:doi/10.1049%2Fiet-cta.2018.5398&rft.externalDBID=10.1049%252Fiet-cta.2018.5398&rft.externalDocID=CTH2BF00467
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1751-8644&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1751-8644&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1751-8644&client=summon