{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T03:11:16Z","timestamp":1768533076367,"version":"3.49.0"},"reference-count":37,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2016,10,1]],"date-time":"2016-10-01T00:00:00Z","timestamp":1475280000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Information Sciences"],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1016\/j.ins.2016.02.016","type":"journal-article","created":{"date-parts":[[2016,2,13]],"date-time":"2016-02-13T17:53:18Z","timestamp":1455385998000},"page":"292-307","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":7,"special_numbering":"C","title":["Sequential composition of linear systems\u2019 clans"],"prefix":"10.1016","volume":"363","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5698-7324","authenticated-orcid":false,"given":"Dmitry","family":"Zaitsev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"4","key":"10.1016\/j.ins.2016.02.016_bib0001","doi-asserted-by":"crossref","first-page":"2741","DOI":"10.1080\/00207540412331312688","article-title":"The tool Tina - construction of abstract state space for Petri nets and time Petri nets","volume":"42","author":"Berthomieu","year":"2004","journal-title":"Int. J. Prod. Res."},{"key":"10.1016\/j.ins.2016.02.016_bib0002","series-title":"Branch-and-Bound Applications in Combinatorial Data Analysis","author":"Brusco","year":"2005"},{"key":"10.1016\/j.ins.2016.02.016_bib0003","doi-asserted-by":"crossref","unstructured":"S.T. Chapman, U. Krause, and E. Oeljeklaus, On diophantine monoids and their class groups, vol. 207 (1), 2002, 125\u2013142.","DOI":"10.2140\/pjm.2002.207.125"},{"key":"10.1016\/j.ins.2016.02.016_bib0004","first-page":"12","article-title":"A novel method for deadlock prevention of AMS by using resource-oriented Petri nets","author":"Chen","year":"2015","journal-title":"Inf. Sci."},{"key":"10.1016\/j.ins.2016.02.016_bib0005","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1016\/j.ins.2013.07.021","article-title":"Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems","volume":"256","author":"Chen","year":"2014","journal-title":"Inf. Sci."},{"issue":"10","key":"10.1016\/j.ins.2016.02.016_bib0006","doi-asserted-by":"crossref","first-page":"1384","DOI":"10.1109\/TSMC.2014.2307284","article-title":"New Petri net structure and its application to optimal supervisory control: interval inhibitor arcs","volume":"44","author":"Chen","year":"2014","journal-title":"IEEE Trans. Syst. Man Cybernet.: Syst."},{"issue":"5","key":"10.1016\/j.ins.2016.02.016_bib0007","doi-asserted-by":"crossref","first-page":"1028","DOI":"10.1016\/j.automatica.2011.01.070","article-title":"Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems","volume":"47","author":"Chen","year":"2011","journal-title":"Automatica"},{"issue":"1","key":"10.1016\/j.ins.2016.02.016_bib0008","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1006\/inco.1994.1067","article-title":"An efficient incremental algorithm for solving systems of Diophantine equations","volume":"113","author":"Contejean","year":"1994","journal-title":"Inf. Comput."},{"key":"10.1016\/j.ins.2016.02.016_bib0009","series-title":"Direct Methods for Sparse Linear Systems","author":"Davis","year":"2006"},{"key":"10.1016\/j.ins.2016.02.016_bib0010","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1006\/jsco.2001.0451","article-title":"On efficient sparse integer matrix Smith normal form computations","volume":"32","author":"Dumas","year":"2001","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.ins.2016.02.016_bib0011","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1137\/0916028","article-title":"An improved spectral graph partitioning algorithm for mapping parallel computations","volume":"16","author":"Hendrickson","year":"1994","journal-title":"SIAM J. Sci. Comput."},{"key":"10.1016\/j.ins.2016.02.016_bib0012","unstructured":"D.S. Hochbaum, A. Pathria, Can a System of Linear Diophantine Equations be Solved in Strongly Polynomial Time, UC Berkley Report, 1995."},{"key":"10.1016\/j.ins.2016.02.016_bib0013","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1137\/S1064827595287997","article-title":"A fast and high quality multilevel scheme for partitioning irregular graphs","volume":"20","author":"Karypis","year":"1998","journal-title":"SIAM J. Sci. Comput."},{"issue":"4","key":"10.1016\/j.ins.2016.02.016_bib0014","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1109\/TSMCC.2011.2160626","article-title":"Deadlock control of automated manufacturing systems based on Petri nets\u2013A literature review","volume":"42","author":"Li","year":"2012","journal-title":"IEEE Trans. Syst. Man, Cybern., Part C"},{"issue":"1","key":"10.1016\/j.ins.2016.02.016_bib0015","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSMCA.2011.2147308","article-title":"Deadlock prevention based on structure reuse of Petri net supervisors for flexible manufacturing systems","volume":"42","author":"Li","year":"2012","journal-title":"IEEE Trans. Syst. Man Cybern. Part A: Syst. Hum."},{"key":"10.1016\/j.ins.2016.02.016_bib0016","series-title":"Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach","author":"Li","year":"2009"},{"issue":"2","key":"10.1016\/j.ins.2016.02.016_bib0017","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1109\/TSMCA.2007.914741","article-title":"On controllability of dependent siphons for deadlock prevention in generalized Petri nets","volume":"38","author":"Li","year":"2008","journal-title":"IEEE Trans. Syst. Man Cybern. Part A"},{"issue":"4","key":"10.1016\/j.ins.2016.02.016_bib0018","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1109\/TSMCC.2007.897333","article-title":"Design of liveness-enforcing supervisors for flexible manufacturing systems using petri nets","volume":"37","author":"Li","year":"2007","journal-title":"IEEE Trans. Syst. Man, Cybern. Part C"},{"issue":"6","key":"10.1016\/j.ins.2016.02.016_bib0019","doi-asserted-by":"crossref","first-page":"1227","DOI":"10.1109\/TSMCA.2006.878966","article-title":"Clarifications on the Definitions of elementary siphons in petri nets","volume":"36","author":"Li","year":"2006","journal-title":"IEEE Trans. Syst. Man Cybern. Part A: Syst. Humans"},{"issue":"4","key":"10.1016\/j.ins.2016.02.016_bib0020","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1109\/TII.2006.885185","article-title":"Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using petri nets","volume":"2","author":"Li","year":"2006","journal-title":"IEEE Trans. Ind. Inform."},{"issue":"1","key":"10.1016\/j.ins.2016.02.016_bib0021","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/TSMCA.2003.820576","article-title":"Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems","volume":"34","author":"Li","year":"2004","journal-title":"IEEE Trans. Syst. Man Cybern., Part A"},{"key":"10.1016\/j.ins.2016.02.016_bib0022","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/j.ins.2013.01.003","article-title":"Robustness of deadlock control for a class of petri nets with unreliable resources","volume":"235","author":"Liu","year":"2013","journal-title":"Inf. Sci."},{"key":"10.1016\/j.ins.2016.02.016_bib0023","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","article-title":"Petri nets: properties, analysis, and applications","volume":"77","author":"Murata","year":"1989","journal-title":"Proc. IEEE"},{"key":"10.1016\/j.ins.2016.02.016_bib0024","series-title":"Iterative Methods for Sparse Linear Systems","author":"Saad","year":"2003"},{"key":"10.1016\/j.ins.2016.02.016_bib0025","series-title":"Theory of Linear and Integer Programming","author":"Schrijver","year":"1986"},{"key":"10.1016\/j.ins.2016.02.016_bib0026","first-page":"387","volume":"vol. 340","author":"Silva","year":"1988"},{"key":"10.1016\/j.ins.2016.02.016_bib0027","series-title":"Matrix Algorithms: Volume I: Basic Decompositions","author":"Stewart","year":"1998"},{"key":"10.1016\/j.ins.2016.02.016_bib0028","series-title":"Introduction to Linear Algebra","author":"Strang","year":"2003"},{"issue":"1","key":"10.1016\/j.ins.2016.02.016_bib0029","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/TSMCA.2007.909542","article-title":"Resource-oriented Petri net for deadlock avoidance in flexible assembly systems","volume":"38","author":"Wu","year":"2008","journal-title":"IEEE Trans. Syst. Man Cybern. Part A"},{"key":"10.1016\/j.ins.2016.02.016_bib0030","series-title":"Theory and Application of Graphs","author":"Xu","year":"2003"},{"issue":"6","key":"10.1016\/j.ins.2016.02.016_bib0031","doi-asserted-by":"crossref","first-page":"955","DOI":"10.1109\/TSMC.2014.2373316","article-title":"Decentralized supervision of petri nets with a coordinator","volume":"45","author":"Ye","year":"2015","journal-title":"IEEE Trans. Syst. Man Cybern.: Syst."},{"key":"10.1016\/j.ins.2016.02.016_bib0032","first-page":"32","article-title":"Calculating Petri Net Siphons via Composition of Clans","volume":"4","author":"Zaitsev","year":"2012","journal-title":"Proc. Int. Human. Univ.: Ser. IT&PM"},{"issue":"1","key":"10.1016\/j.ins.2016.02.016_bib0033","first-page":"73","article-title":"Solving linear systems via composition of their clans","author":"Zaitsev","year":"2009","journal-title":"Intel. Inf. Manag."},{"key":"10.1016\/j.ins.2016.02.016_bib0034","unstructured":"D.A. Zaitsev, Functional Petri Nets, Universite Paris-Dauphine, Cahier du Lamsade 224, Avril 2005, 62p."},{"key":"10.1016\/j.ins.2016.02.016_bib0035","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/j.cam.2014.11.011","article-title":"On parallel multisplitting block iterative methods for linear systems arising in the numerical solution of Euler equations","volume":"279","author":"Zhang","year":"2015","journal-title":"J. Comput. Appl. Math."},{"issue":"1","key":"10.1016\/j.ins.2016.02.016_bib0036","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1109\/TCST.2014.2313352","article-title":"Reconfigurable coordination of distributed discrete event control systems","volume":"23","author":"Zhang","year":"2014","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"10.1016\/j.ins.2016.02.016_bib0037","doi-asserted-by":"crossref","first-page":"3980","DOI":"10.1016\/j.eswa.2014.12.048","article-title":"A decomposition algorithm of fuzzy Petri net using an index function and incidence matrix","volume":"42","author":"Zhou","year":"2015","journal-title":"Expert Syst. Appl."}],"container-title":["Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020025516300706?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020025516300706?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,9,4]],"date-time":"2019-09-04T10:58:44Z","timestamp":1567594724000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020025516300706"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":37,"alternative-id":["S0020025516300706"],"URL":"https:\/\/doi.org\/10.1016\/j.ins.2016.02.016","relation":{},"ISSN":["0020-0255"],"issn-type":[{"value":"0020-0255","type":"print"}],"subject":[],"published":{"date-parts":[[2016,10]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Sequential composition of linear systems\u2019 clans","name":"articletitle","label":"Article Title"},{"value":"Information Sciences","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.ins.2016.02.016","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2016 Elsevier Inc. All rights reserved.","name":"copyright","label":"Copyright"}]}}