Analytical methods for controlling timed event graphs with disturbances and paths subject to marking constraints: application to a disassembly process

This paper discusses the problem of marking constraints in a class of partially controllable timed Petri nets. Specifically, these are Timed Event Graphs (TEGs) which include disturbed input transitions and which are subject to token capacity constraints in some paths. Using the Min-Plus algebra for...

Full description

Saved in:
Bibliographic Details
Published inInternational journal of control Vol. 97; no. 8; pp. 1874 - 1886
Main Authors Bouazza, S., Amari, S., Hassine, H., Barkallah, M., Haddar, M.
Format Journal Article
LanguageEnglish
Published Abingdon Taylor & Francis 02.08.2024
Taylor & Francis Ltd
Subjects
Constraints
control laws
Control methods
Controllability
Discrete event systems
Dismantling
Graphs
Marking
marking constraints
Min-Plus algebra
Petri nets
timed event graphs with disturbances
Online AccessGet full text
ISSN0020-7179
1366-5820
DOI10.1080/00207179.2023.2236723

Cover

Abstract This paper discusses the problem of marking constraints in a class of partially controllable timed Petri nets. Specifically, these are Timed Event Graphs (TEGs) which include disturbed input transitions and which are subject to token capacity constraints in some paths. Using the Min-Plus algebra formalism, formal approaches are proposed to design causal control laws to guarantee compliance with marking constraints in TEGs. Sufficient conditions are defined to show the existence and synthesis of these controllers. The developed methodologies are illustrated in a case study of a disassembly system with a limited stock of components.
AbstractList This paper discusses the problem of marking constraints in a class of partially controllable timed Petri nets. Specifically, these are Timed Event Graphs (TEGs) which include disturbed input transitions and which are subject to token capacity constraints in some paths. Using the Min-Plus algebra formalism, formal approaches are proposed to design causal control laws to guarantee compliance with marking constraints in TEGs. Sufficient conditions are defined to show the existence and synthesis of these controllers. The developed methodologies are illustrated in a case study of a disassembly system with a limited stock of components.
Author Amari, S.
Hassine, H.
Haddar, M.
Barkallah, M.
Bouazza, S.
Author_xml – sequence: 1
  givenname: S.
  surname: Bouazza
  fullname: Bouazza, S.
  email: syrine.bouazza@ens-paris-saclay.fr
  organization: LA2MP, National Engineering School of Sfax
– sequence: 2
  givenname: S.
  surname: Amari
  fullname: Amari, S.
  organization: University of Sorbonne Paris Nord
– sequence: 3
  givenname: H.
  surname: Hassine
  fullname: Hassine, H.
  organization: LA2MP, National Engineering School of Sfax
– sequence: 4
  givenname: M.
  surname: Barkallah
  fullname: Barkallah, M.
  organization: LA2MP, National Engineering School of Sfax
– sequence: 5
  givenname: M.
  surname: Haddar
  fullname: Haddar, M.
  organization: LA2MP, National Engineering School of Sfax
BookMark eNqFkc1u1DAUhS1UJKaFR0CyxDqDfyaJAxuqqvxIldjA2rpxnI4Hxw6-Hqp5EZ4XmykbFrCxFz7nu77nXJKLEIMl5CVnW84Ue82YYD3vh61gQm6FkF0v5BOy4bLrmlYJdkE2VdNU0TNyiXhgjMtW8Q35eR3An7Iz4Oli8z5OSOeYqIkhp-i9C_c0u8VO1P6wIdP7BOse6YPLezo5zMc0QjAWKYSJrpDLGx7HgzWZ5kgXSN8qodAwJ3Ah4xsK6-rLvOxiqBqoHEC0y-hPdE2x0PA5eTqDR_vi8b4iX9_ffrn52Nx9_vDp5vquMVKq3Ay2UwamYQedZLZvRxiFmvoW2nmUSvVgd0KZ2dh6cjn0u5kPg5GKmWJUg7wir87cMvf70WLWh3hMJRLUkqkdF6yAi-rtWWVSREx21sbl3wvUpbzmTNci9J8idC1CPxZR3O1f7jW5kszpv753Z58LpZEFHmLyk85w8jHNqaTuyif_jfgFzY2lTA
CitedBy_id crossref_primary_10_1080_00207179_2024_2380029
crossref_primary_10_1109_LRA_2023_3346809
Cites_doi 10.1109/9.769386
10.1007/s10626-006-0021-9
10.1016/j.cie.2011.07.004
10.1016/j.automatica.2013.08.018
10.1002/asjc.528
10.1109/TAC.2019.2914895
10.1109/TAC.2011.2164735
10.1016/j.automatica.2004.05.013
10.1080/21693277.2022.2091679
10.1016/j.automatica.2016.07.002
10.1016/j.automatica.2011.01.047
10.3182/20121003-3-MX-4033.00015
10.1109/TCNS.2015.2482219
10.1016/j.ejcon.2021.11.007
10.1109/TRO.2013.2296105
10.1109/CDC.2017.8264284
10.1016/j.automatica.2006.02.003
10.1007/s00170-016-9466-7
10.1109/TASE.2007.912716
10.1002/asjc.1787
10.1016/j.ifacol.2022.10.342
10.1007/s10626-012-0140-4
10.1109/WODES.2016.7497880
10.1504/IJISE.2009.024159
10.1109/CESA.2006.4281778
10.1016/j.ejcon.2020.12.002
10.1016/j.automatica.2015.10.030
10.1016/0098-1354(91)85029-T
10.1109/CDC.2012.6426345
10.23919/ECC.2013.6669380
10.1109/5.24143
10.1007/s10626-006-0009-5
10.1016/j.ins.2021.09.047
10.1016/0005-1098(95)00103-4
ContentType Journal Article
Copyright 2023 Informa UK Limited, trading as Taylor & Francis Group 2023
2023 Informa UK Limited, trading as Taylor & Francis Group
Copyright_xml – notice: 2023 Informa UK Limited, trading as Taylor & Francis Group 2023
– notice: 2023 Informa UK Limited, trading as Taylor & Francis Group
DBID AAYXX
CITATION
7SC
7SP
7TB
8FD
FR3
JQ2
L7M
L~C
L~D
DOI 10.1080/00207179.2023.2236723
DatabaseName CrossRef
Computer and Information Systems Abstracts
Electronics & Communications Abstracts
Mechanical & Transportation Engineering Abstracts
Technology Research Database
Engineering Research Database
ProQuest Computer Science Collection
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
DatabaseTitle CrossRef
Technology Research Database
Computer and Information Systems Abstracts – Academic
Mechanical & Transportation Engineering Abstracts
Electronics & Communications Abstracts
ProQuest Computer Science Collection
Computer and Information Systems Abstracts
Engineering Research Database
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts Professional
DatabaseTitleList
Technology Research Database
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
EISSN 1366-5820
EndPage 1886
ExternalDocumentID 10_1080_00207179_2023_2236723
2236723
Genre Research Article
GroupedDBID -~X
.7F
.QJ
0BK
0R~
29J
2DF
30N
4.4
5GY
5VS
AAENE
AAJMT
AALDU
AAMIU
AAPUL
AAQRR
ABCCY
ABFIM
ABHAV
ABJNI
ABLIJ
ABPAQ
ABPEM
ABTAI
ABXUL
ABXYU
ACBEA
ACGEJ
ACGFO
ACGFS
ACIWK
ACTIO
ADCVX
ADGTB
ADXPE
AEISY
AENEX
AEOZL
AEPSL
AEYOC
AFKVX
AGDLA
AGMYJ
AHDZW
AIJEM
AJWEG
AKBVH
AKOOK
ALMA_UNASSIGNED_HOLDINGS
ALQZU
AQRUH
AVBZW
AWYRJ
BLEHA
CCCUG
CE4
CS3
DGEBU
DKSSO
DU5
EBS
E~A
E~B
F5P
GTTXZ
H13
HF~
HZ~
H~P
IPNFZ
J.P
KYCEM
LJTGL
M4Z
NA5
NX~
O9-
P2P
RIG
RNANH
ROSJB
RTWRZ
S-T
SNACF
TBQAZ
TDBHL
TEN
TFL
TFT
TFW
TN5
TNC
TTHFI
TUROJ
TWF
UT5
UU3
ZGOLN
~S~
AAGDL
AAHIA
AAYXX
ADYSH
AFRVT
AIYEW
AMPGV
AMVHM
CITATION
7SC
7SP
7TB
8FD
FR3
JQ2
L7M
L~C
L~D
TASJS
ID FETCH-LOGICAL-c338t-9e68cad94a630e75bab28d75a5fb3887ae428cfce28cf13974f199c380c68c893
ISSN 0020-7179
IngestDate Sat Jul 26 03:02:51 EDT 2025
Tue Jul 01 03:39:18 EDT 2025
Thu Apr 24 23:12:23 EDT 2025
Wed Dec 25 09:02:11 EST 2024
IsPeerReviewed true
IsScholarly true
Issue 8
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c338t-9e68cad94a630e75bab28d75a5fb3887ae428cfce28cf13974f199c380c68c893
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
PQID 3084120630
PQPubID 176145
PageCount 13
ParticipantIDs crossref_citationtrail_10_1080_00207179_2023_2236723
informaworld_taylorfrancis_310_1080_00207179_2023_2236723
proquest_journals_3084120630
crossref_primary_10_1080_00207179_2023_2236723
ProviderPackageCode CITATION
AAYXX
PublicationCentury 2000
PublicationDate 2024-08-02
PublicationDateYYYYMMDD 2024-08-02
PublicationDate_xml – month: 08
  year: 2024
  text: 2024-08-02
  day: 02
PublicationDecade 2020
PublicationPlace Abingdon
PublicationPlace_xml – name: Abingdon
PublicationTitle International journal of control
PublicationYear 2024
Publisher Taylor & Francis
Taylor & Francis Ltd
Publisher_xml – name: Taylor & Francis
– name: Taylor & Francis Ltd
References e_1_3_2_27_1
Baccelli F. (e_1_3_2_5_1) 1992
Jacob R. (e_1_3_2_16_1) 2016
e_1_3_2_28_1
e_1_3_2_29_1
Lhommeau M. (e_1_3_2_18_1) 2000
e_1_3_2_20_1
e_1_3_2_41_1
e_1_3_2_21_1
e_1_3_2_23_1
e_1_3_2_24_1
e_1_3_2_25_1
e_1_3_2_26_1
Basile F. (e_1_3_2_8_1) 2021
e_1_3_2_40_1
e_1_3_2_39_1
e_1_3_2_9_1
e_1_3_2_17_1
e_1_3_2_38_1
e_1_3_2_7_1
e_1_3_2_19_1
Li L. (e_1_3_2_22_1) 2020; 66
Giua A. (e_1_3_2_12_1) 1992; 2
e_1_3_2_2_1
e_1_3_2_31_1
e_1_3_2_30_1
e_1_3_2_10_1
e_1_3_2_33_1
e_1_3_2_11_1
e_1_3_2_32_1
e_1_3_2_6_1
e_1_3_2_35_1
e_1_3_2_13_1
e_1_3_2_34_1
e_1_3_2_4_1
e_1_3_2_14_1
e_1_3_2_37_1
e_1_3_2_3_1
e_1_3_2_15_1
e_1_3_2_36_1
References_xml – ident: e_1_3_2_10_1
  doi: 10.1109/9.769386
– ident: e_1_3_2_15_1
  doi: 10.1007/s10626-006-0021-9
– ident: e_1_3_2_4_1
  doi: 10.1016/j.cie.2011.07.004
– ident: e_1_3_2_7_1
  doi: 10.1016/j.automatica.2013.08.018
– ident: e_1_3_2_11_1
  doi: 10.1002/asjc.528
– ident: e_1_3_2_21_1
  doi: 10.1109/TAC.2019.2914895
– ident: e_1_3_2_3_1
  doi: 10.1109/TAC.2011.2164735
– ident: e_1_3_2_19_1
  doi: 10.1016/j.automatica.2004.05.013
– ident: e_1_3_2_28_1
  doi: 10.1080/21693277.2022.2091679
– ident: e_1_3_2_38_1
  doi: 10.1016/j.automatica.2016.07.002
– ident: e_1_3_2_26_1
  doi: 10.1016/j.automatica.2011.01.047
– volume: 66
  start-page: 5326
  issue: 1
  year: 2020
  ident: e_1_3_2_22_1
  article-title: Closed-loop deadlock-free supervision for GMECs in time petri net systems
  publication-title: IEEE Transactions on Automatic Control
– ident: e_1_3_2_20_1
  doi: 10.3182/20121003-3-MX-4033.00015
– ident: e_1_3_2_41_1
  doi: 10.1109/TCNS.2015.2482219
– ident: e_1_3_2_34_1
  doi: 10.1016/j.ejcon.2021.11.007
– ident: e_1_3_2_24_1
  doi: 10.1109/TRO.2013.2296105
– ident: e_1_3_2_29_1
  doi: 10.1109/CDC.2017.8264284
– ident: e_1_3_2_6_1
  doi: 10.1016/j.automatica.2006.02.003
– volume: 2
  start-page: 974
  volume-title: Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics
  year: 1992
  ident: e_1_3_2_12_1
– ident: e_1_3_2_36_1
  doi: 10.1007/s00170-016-9466-7
– volume-title: Wodes’2002, workshop on discrete event systems
  year: 2000
  ident: e_1_3_2_18_1
– ident: e_1_3_2_17_1
  doi: 10.1109/TASE.2007.912716
– ident: e_1_3_2_37_1
  doi: 10.1002/asjc.1787
– volume-title: Synchronization and linearity: An algebra for discrete event systems
  year: 1992
  ident: e_1_3_2_5_1
– ident: e_1_3_2_13_1
  doi: 10.1016/j.ifacol.2022.10.342
– ident: e_1_3_2_9_1
  doi: 10.1007/s10626-012-0140-4
– ident: e_1_3_2_33_1
  doi: 10.1109/WODES.2016.7497880
– ident: e_1_3_2_30_1
  doi: 10.1504/IJISE.2009.024159
– year: 2021
  ident: e_1_3_2_8_1
  article-title: Supervisory control of timed discrete event systems with logical and timed specifications
  publication-title: IEEE Transactions on Automatic Control
– ident: e_1_3_2_2_1
  doi: 10.1109/CESA.2006.4281778
– start-page: 1
  year: 2016
  ident: e_1_3_2_16_1
  article-title: Output feedback control of discrete processes under time constraint: application to cluster tools
  publication-title: International Journal of Computer Integrated Manufacturing
– ident: e_1_3_2_35_1
  doi: 10.1016/j.ejcon.2020.12.002
– ident: e_1_3_2_32_1
  doi: 10.1016/j.automatica.2015.10.030
– ident: e_1_3_2_39_1
  doi: 10.1016/0098-1354(91)85029-T
– ident: e_1_3_2_25_1
  doi: 10.1109/CDC.2012.6426345
– ident: e_1_3_2_31_1
  doi: 10.23919/ECC.2013.6669380
– ident: e_1_3_2_27_1
  doi: 10.1109/5.24143
– ident: e_1_3_2_14_1
  doi: 10.1007/s10626-006-0009-5
– ident: e_1_3_2_23_1
  doi: 10.1016/j.ins.2021.09.047
– ident: e_1_3_2_40_1
  doi: 10.1016/0005-1098(95)00103-4
SSID ssj0013581
Score 2.4408846
Snippet This paper discusses the problem of marking constraints in a class of partially controllable timed Petri nets. Specifically, these are Timed Event Graphs...
SourceID proquest
crossref
informaworld
SourceType Aggregation Database
Enrichment Source
Index Database
Publisher
StartPage 1874
SubjectTerms Constraints
control laws
Control methods
Controllability
Discrete event systems
Dismantling
Graphs
Marking
marking constraints
Min-Plus algebra
Petri nets
timed event graphs with disturbances
Title Analytical methods for controlling timed event graphs with disturbances and paths subject to marking constraints: application to a disassembly process
URI https://www.tandfonline.com/doi/abs/10.1080/00207179.2023.2236723
https://www.proquest.com/docview/3084120630
Volume 97
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3Pb9MwFLbKdoED4qcYDOQDtypVYyeps1uBTRUa45KKikvkOI6YtLVoTS79Q_iH9o_xnu0kjjox4BJVaewk_b7a7z37fY-Q93ym4hSm6aAIGTgogEMAVisLZKWjksdhIjU6il8uksUy-ryKV6PRrbdrqamLidrdmVfyP6jCOcAVs2T_AdmuUzgBnwFfOALCcPwrjI2iiA1G20rQRlyh3X5uEs2xdnw5NjJNYyNO7dLZSoC3uSkQc6vSjKWJt-NtU2BgBi3Sa2nC6Njb1hSSqM3uOW_FG6-S2BMY4Pq6wDiJTTvwLd5hyNETqnBP2cUDNo3c7eQgGjuHZ7gcnFnArS5tELZb4_oAD4rLAT_64K4LY7DIbKLrnd5sr6KIt63JZh1MA3A97fCq7WDNkySIBZv6o7nd7etYK7yhGYsPetN8KKwE994U0u65ZOjpYioT4xOGOnc2L3oo2X3xNT9bnp_n2ekqe0AOGfgqMDsczhefvn_rF7NiYQs3uldoE8lQ4v2u2wxMpIGA7p7BYKyg7Al57NwXOrdcfEpGev2MPPJELZ-TXz0rqWMlhb6px0pqWEkNK6llJUVWUp-VFFhJDSupYyWtN9SxknqsPKEeJ_EaST1OUsfJF2R5dpp9XASu-kegOBd1kOpEKFmmkUz4VM_iQhZMlLNYxlXBYWqUGjxnVSmNR_RjoipMU8XFVEFDMMNfkoP1Zq1fERolZSqVShjTVVSW4HUoHlUlZqAKHuryiETtD54rJ42Pr3CVh52CrsUpR5xyh9MRmXTNflptmPsapD6aeW1IX1m-5_yetsct9Ln7r0KTqYhChrJ5r__89RvysP_THZOD-qbRb8Garot3jq2_AQG5zMg
linkProvider Library Specific Holdings
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV07T8QwDI54DMDAG_HGA2tP1yTttWwIgY7XTSCxVXl1Ae4Q7Q3wQ_i92EkLBwgxsHRpbTWJ49iO_ZmxQ9EzSY7HdKRjjg4KrkOEViuPVOmkFUmcKkeO4vUg7d_Ki7vkbqIWhtIqyYcuA1CE19W0uSkY3abEUQk3uSFUZ8JFhxMIGRfTbDbJ0x5tTtEdfN4kJFnomoduEtG0VTy_sflyPn1BL_2hrf0RdLbETPvzIfPkvjOudce8fsN1_N_oltliY6HCcRCpFTblhqtsYQK3cI29eSgTHwWH0IK6AhwBNHnvVOEO1LTegseHAo-KXQHFfMGiXI2fNQlbBfiTQD2RK6jGmiJCUI_gUfn4PXGrfAeLujqCiYt2-kYRH7T73aN-eIGnUO2wzm7PTm9O-lHT4CEy6BnXUe7SzCibS5WKruslWmme2V6iklIL1H7KoXNkSuPoSaaqLOM8NyLrGiRES2uDzQxHQ7fJQKY2V8aknLtSWouGpRGytFRkmInY2S0m22UtTIN-TkN4KOIPkNQw7QVNe9FM-xbrfJA9BfiPvwjySZkpah93KUOTlEL8QbvbCljRaBIk6WYy5oSMtv0P1gdsrn9zfVVcnQ8ud9g8vpI-i5Hvspn6eez20LKq9b7fOu_zQhdW
linkToPdf http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LT9wwELZgkSo4AH0gFijModesNraTTbghyopXVz0UqbfIz0thWZHsAX4Iv5cZO4GlVcWBSy7JjGJ7PJ4Zz3zD2DcxMlmJx3SiU44OCq5DglYrT5R30ooszZUjR_HHJD-9kue_sy6bsG7TKsmH9hEoIuhq2twz67uMOKrgJi-Eyky4GHDCIONima3kdMlHVRzDyctFQlbEpnnoJRFNV8TzPzavjqdX4KX_KOtwAo03mO7-PSae_BnMGz0wD3_BOr5rcJtsvbVP4SgK1Ee25Kaf2NoCauFn9hiATEIMHGID6hpwANBmvVN9O1DLegsBHQoCJnYNFPEFi1I1v9MkajXgPwJ1RK6hnmuKB0FzCzcqRO-JWx36VzT1ISxcs9M3ivig1e9u9PU9zGKtwxd2NT75dXyatO0dEoN-cZOULi-MsqVUuRi6UaaV5oUdZSrzWqDuUw5dI-ONoycZqtKnZWlEMTRIiHbWFutNb6dum4HMbamMyTl3XlqLZqUR0lsqMSxE6myfyW5VK9Nin9MQrqv0GSI1TntF0161095ng2eyWQT_eIugXBSZqglRFx9bpFTiDdq9Tr6qVo8gybCQKSdctJ13sD5gH35-H1eXZ5OLXbaKb2RIYeR7rNfczd1XNKsavR82zhNu7RX6
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=Analytical+methods+for+controlling+timed+event+graphs+with+disturbances+and+paths+subject+to+marking+constraints%3A+application+to+a+disassembly+process&rft.jtitle=International+journal+of+control&rft.au=Bouazza%2C+S&rft.au=Amari%2C+S&rft.au=Hassine%2C+H&rft.au=Barkallah%2C+M&rft.date=2024-08-02&rft.pub=Taylor+%26+Francis+Ltd&rft.issn=0020-7179&rft.eissn=1366-5820&rft.volume=97&rft.issue=8&rft.spage=1874&rft.epage=1886&rft_id=info:doi/10.1080%2F00207179.2023.2236723&rft.externalDBID=NO_FULL_TEXT
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0020-7179&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0020-7179&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0020-7179&client=summon