{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T21:11:15Z","timestamp":1774905075845,"version":"3.50.1"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T00:00:00Z","timestamp":1550448000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural\nScience Foundation of China","doi-asserted-by":"publisher","award":["61374068"],"award-info":[{"award-number":["61374068"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["61472295"],"award-info":[{"award-number":["61472295"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["61703321"],"award-info":[{"award-number":["61703321"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001809","name":"National Natural\nScience Foundation of China","doi-asserted-by":"publisher","award":["61803246"],"award-info":[{"award-number":["61803246"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1007\/s10626-019-00278-w","type":"journal-article","created":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T04:44:12Z","timestamp":1550465052000},"page":"127-143","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["An improved approach for marking optimization of timed weighted\nmarked graphs"],"prefix":"10.1007","volume":"29","author":[{"given":"Zhou","family":"He","sequence":"first","affiliation":[]},{"given":"Miao","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Ziyue","family":"Ma","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2486-1246","authenticated-orcid":false,"given":"Zhiwu","family":"Li","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Giua","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,2,18]]},"reference":[{"issue":"2","key":"278_CR1","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1023\/A:1008052406396","volume":"21","author":"S Bhattacharyya","year":"1999","unstructured":"Bhattacharyya S, Murthy P, Lee E (1999) Synthesis of embedded\nsoftware from synchronous dataflow specifications. J VLSI Signal Process\n21(2):151\u2013166","journal-title":"J VLSI Signal Process"},{"issue":"2","key":"278_CR2","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1109\/32.67593","volume":"17","author":"J Campos","year":"1991","unstructured":"Campos J, Chiola G, Silva M (1991) Ergodicity and throughput bounds\nof Petri nets with unique consistent firing count vector. IEEE Trans Software\nEng 17 (2):117\u2013125","journal-title":"IEEE Trans Software Eng"},{"issue":"5","key":"278_CR3","doi-asserted-by":"publisher","first-page":"1219","DOI":"10.1109\/TAC.2013.2294822","volume":"59","author":"B Cottenceau","year":"2014","unstructured":"Cottenceau B, Hardouin L, Boimond JL (2014) Modeling and control of\nweight-balanced timed event graphs in dioids. IEEE Trans Autom Control 59\n(5):1219\u20131231","journal-title":"IEEE Trans Autom Control"},{"key":"278_CR4","doi-asserted-by":"crossref","unstructured":"Ghamarian AH, Geilen MCW, Stuijk S, Basten T, Moonen AJM, Bekooij\nMJG, Theelen BD, Mousavi MR (2006) Throughput analysis of synchronous data flow\ngraph. In: Proc. 6th Int appl concur syst design, pp 25\u201336","DOI":"10.1109\/ACSD.2006.33"},{"issue":"1","key":"278_CR5","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/S0005-1098(01)00189-3","volume":"38","author":"A Giua","year":"2002","unstructured":"Giua A, Piccaluga A, Seatzu C (2002) Firing rate optimization of\ncyclic timed event graphs. Automatica 38(1):91\u2013103","journal-title":"Automatica"},{"issue":"3","key":"278_CR6","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/BF02407086","volume":"9","author":"R Govindarajan","year":"1995","unstructured":"Govindarajan R, Gao GR (1995) Rate-optimal schedule for multi-rate\ndsp computations. J VLSI Signal Process 9(3):211\u2013232","journal-title":"J VLSI Signal Process"},{"key":"278_CR7","unstructured":"Gurobi (2018) Optimization Gurobi. [Online]. Available: \nhttp:\/\/www.gurobi.com\/"},{"key":"278_CR8","doi-asserted-by":"crossref","unstructured":"He Z, Li ZW, Giua A (2014) Marking optimization of deterministic\ntimed weighted marked graphs. In: Proc. 10th IEEE int. conf. autom. sci. eng..\nTaipei, pp 413\u2013418","DOI":"10.1109\/CoASE.2014.6899358"},{"issue":"4","key":"278_CR9","doi-asserted-by":"publisher","first-page":"1318","DOI":"10.1109\/TCST.2016.2613967","volume":"25","author":"Zhou He","year":"2017","unstructured":"He Z, Li ZW, Giua A (2017a) Cycle time optimization of\ndeterministic timed weighted marked graphs by transformation. IEEE Trans Control\nSyst Technol 25 (4):1318\u20131330","journal-title":"IEEE Transactions on Control Systems Technology"},{"issue":"2","key":"278_CR10","doi-asserted-by":"publisher","first-page":"1084","DOI":"10.1109\/TASE.2015.2490538","volume":"14","author":"Zhou He","year":"2017","unstructured":"He Z, Li ZW, Giua A (2017b) Optimization of deterministic timed\nweighted marked graphs. IEEE Trans Autom Sci Eng\n14(2):1084\u20131095","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"issue":"8","key":"278_CR11","doi-asserted-by":"publisher","first-page":"2573","DOI":"10.1109\/TAC.2017.2766202","volume":"63","author":"Z He","year":"2018","unstructured":"He Z, Li ZW, Giua A (2018) Performance optimization for timed\nweighted marked graphs under infinite server semantics. IEEE Trans Autom Control\n63(8):2573\u20132580","journal-title":"IEEE Trans Autom Control"},{"key":"278_CR12","unstructured":"Lafit S, Proth JM, Xie XL (1991) Marking optimization in timed\nevent graphs. In: Proc. Int conf. appl. theory Petri nets. Springer, Berlin, pp\n281\u2013300"},{"issue":"9","key":"278_CR13","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"E Lee","year":"1987","unstructured":"Lee E, Messerschmitt D (1987) Synchronous data flow. Proc IEEE 75\n(9):1235\u20131245","journal-title":"Proc IEEE"},{"key":"278_CR14","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/j.ins.2017.08.014","volume":"420","author":"M Liu","year":"2017","unstructured":"Liu M, Wang SG, Zhou MC, Liu D, Al-Ahmari A, Wu NQ, Li ZW (2017)\nDeadlock and liveness characterization for a class of generalized Petri nets.\nInfor Sci 420:403\u2013416","journal-title":"Infor Sci"},{"issue":"7","key":"278_CR15","doi-asserted-by":"publisher","first-page":"1774","DOI":"10.1109\/TAC.2015.2389313","volume":"60","author":"ZY Ma","year":"2015","unstructured":"Ma ZY, Li ZW, Giua A (2015) Design of optimal Petri net controllers\nfor disjunctive generalized mutual exclusion constraints. IEEE Trans Autom\nControl 60 (7):1774\u20131785","journal-title":"IEEE Trans Autom Control"},{"issue":"3","key":"278_CR16","doi-asserted-by":"publisher","first-page":"1329","DOI":"10.1109\/TAC.2016.2585647","volume":"62","author":"ZY Ma","year":"2017","unstructured":"Ma ZY, Li ZW, Giua A (2017) Characterization of admissible marking\nsets in Petri nets with conflicts and synchronizations. IEEE Trans Autom Control\n62 (3):1329\u20131341","journal-title":"IEEE Trans Autom Control"},{"issue":"3","key":"278_CR17","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1016\/j.disopt.2010.03.006","volume":"7","author":"O Marchetti","year":"2010","unstructured":"Marchetti O, Munier A (2010) Complexity results for weighted timed\nevent graphs. Discrete Optim 7(3):166\u2013180","journal-title":"Discrete Optim"},{"key":"278_CR18","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/j.tcs.2012.08.012","volume":"458","author":"JV Millo","year":"2012","unstructured":"Millo JV, De Simone R (2012) Periodic scheduling of marked graphs\nusing balanced binary words. Theor Comput Sci 458:113\u2013130","journal-title":"Theor Comput Sci"},{"key":"278_CR19","first-page":"487","volume":"27","author":"A Munier","year":"1992","unstructured":"Munier A (1992) R\u00e9gime asymptotique optimal d\u2019un graphe\nd\u2019\u00e9v\u00e9nements temporis\u00e9 g\u00e9n\u00e9ralis\u00e9: Application \u00e0 un probl\u00e8me d\u2019assemblage.\nRAIRO-APII 27:487\u2013513","journal-title":"RAIRO-APII"},{"issue":"4","key":"278_CR20","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis and applications.\nProc IEEE 77 (4):541\u2013580","journal-title":"Proc IEEE"},{"key":"278_CR21","unstructured":"Nakamura M, Silva M (1999a) Cycle time computation in\ndeterministically timed weighted marked graphs. In: Proc. 7th IEEE int conf\nemerg technol factory autom, vol 2, pp 1037\u20131046"},{"key":"278_CR22","doi-asserted-by":"crossref","unstructured":"Nakamura M, Silva M (1999b) An iterative linear relaxation and tabu\nsearch approach to minimum initial marking problems of timed marked graphs. In:\nProc. European control conf, pp 985\u2013990","DOI":"10.23919\/ECC.1999.7099435"},{"issue":"3","key":"278_CR23","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1023\/A:1024055724914","volume":"13","author":"N Sauer","year":"2003","unstructured":"Sauer N (2003) Marking optimization of weighted marked graphs.\nDiscrete Event Dyn Syst 13(3):245\u2013262","journal-title":"Discrete Event Dyn Syst"},{"key":"278_CR24","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/978-3-540-68746-7_28","volume-title":"Applications and Theory of Petri Nets","author":"Fausto Sessego","year":"2008","unstructured":"Sessego F, Giua A, Seatzu C (2008) HYPENS: a Matlab tool for timed\ndiscrete, continuous and hybrid Petri nets. In: Proc. Int conf appl theor Petri\nnets, pp 419\u2013428"},{"key":"278_CR25","volume-title":"Embedded multiprocessors: scheduling and synchronization","author":"S Sriram","year":"2009","unstructured":"Sriram S, Bhattacharyya SS (2009) Embedded multiprocessors:\nscheduling and synchronization. CRC Press, Boca Raton"},{"key":"278_CR26","doi-asserted-by":"crossref","unstructured":"Stuijk S, Geilen M, Basten T (2006) Exploring trade-offs in buffer\nrequirements and throughput constraints for synchronous dataflow graphs. In:\nProc. 43rd Design autom. conf., pp 899\u2013904","DOI":"10.1145\/1146909.1147138"},{"key":"278_CR27","first-page":"348","volume":"616","author":"E Teruel","year":"1992","unstructured":"Teruel E, Chrzastowski-Wachtel P, Colom JM, Silva M (1992) On\nweighted T-systems. Appl Theory Petri Nets 616:348\u2013367","journal-title":"Appl Theory Petri Nets"},{"issue":"9","key":"278_CR28","doi-asserted-by":"publisher","first-page":"2448","DOI":"10.1109\/TAC.2015.2496500","volume":"61","author":"Y Tong","year":"2016","unstructured":"Tong Y, Li ZW, Seatzu C, Giua A (2016) On the equivalence of\nobservation structures for Petri net generators. IEEE Trans Autom Control\n61(9):2448\u20132462","journal-title":"IEEE Trans Autom Control"},{"issue":"2","key":"278_CR29","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s10626-017-0264-7","volume":"28","author":"Y Tong","year":"2018","unstructured":"Tong Y, Li ZW, Seatzu C, Giua A (2018) Current-state opacity\nenforcement in discrete event systems under incomparable observations. Discrete\nEvent Dyn Syst 28 (2):161\u2013182","journal-title":"Discrete Event Dyn Syst"},{"key":"278_CR30","first-page":"319","volume":"433","author":"JH Schuppen van","year":"2012","unstructured":"van Schuppen JH, Silva M, Seatzu C (2012) Control of discrete-event\nsystems-automata and Petri net perspectives. Lect Notes Control Inf Sci Springer\n433:319\u2013340","journal-title":"Lect Notes Control Inf Sci Springer"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-019-00278-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-019-00278-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-019-00278-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,18]],"date-time":"2020-02-18T11:02:25Z","timestamp":1582023745000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-019-00278-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2,18]]},"references-count":30,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["278"],"URL":"https:\/\/doi.org\/10.1007\/s10626-019-00278-w","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,2,18]]},"assertion":[{"value":"21 June 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 January 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 February 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}