{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,22]],"date-time":"2026-07-22T16:04:16Z","timestamp":1784736256146,"version":"3.55.0"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,3,1]],"date-time":"2013-03-01T00:00:00Z","timestamp":1362096000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1007\/s10626-013-0159-1","type":"journal-article","created":{"date-parts":[[2013,2,28]],"date-time":"2013-02-28T16:40:12Z","timestamp":1362069612000},"page":"419-438","source":"Crossref","is-referenced-by-count":4,"title":["Shrinking of Time Petri nets"],"prefix":"10.1007","volume":"23","author":[{"given":"Didier","family":"Lime","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claude","family":"Martinez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Olivier H.","family":"Roux","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,3,1]]},"reference":[{"issue":"1","key":"159_CR1","first-page":"57","volume":"16","author":"Z Achour","year":"2007","unstructured":"Achour Z, Rezg N (2007) Time floating general mutual exclusion constraints. J Stud Inf Control 16(1):57\u201366","journal-title":"J Stud Inf Control"},{"key":"159_CR2","doi-asserted-by":"crossref","unstructured":"Alur R, Henzinger TA, Vardi MY (1993) Parametric real-time reasoning. In: ACM symposium on theory of computing, pp\u00a0592\u2013601","DOI":"10.1145\/167088.167242"},{"issue":"1\u20133","key":"159_CR3","doi-asserted-by":"crossref","first-page":"319","DOI":"10.3166\/jesa.39.319-334","volume":"39","author":"S Amari","year":"2005","unstructured":"Amari S, Demongodin I, Loiseau J (2005) M\u00e9thode formelle de commande sous contraintes de temps dans les dioides. Journal Europ\u00e9en des Syst\u00e8mes Automatis\u00e9s (Num\u00e9ro sp\u00e9cial sur la Mod\u00e9lisation des Syst\u00e8mes R\u00e9actifs, (MSR\u201905)) 39(1\u20133):319\u2013334","journal-title":"Journal Europ\u00e9en des Syst\u00e8mes Automatis\u00e9s (Num\u00e9ro sp\u00e9cial sur la Mod\u00e9lisation des Syst\u00e8mes R\u00e9actifs, (MSR\u201905)"},{"issue":"5","key":"159_CR4","doi-asserted-by":"crossref","first-page":"819","DOI":"10.1142\/S0129054109006905","volume":"20","author":"E Andr\u00e9","year":"2009","unstructured":"Andr\u00e9 E, Chatain T, Encrenaz E, Fribourg L (2009) An inverse method for parametric timed automata. Int J Found Comput Sci 20(5):819\u2013836","journal-title":"Int J Found Comput Sci"},{"issue":"4","key":"159_CR5","first-page":"1149","volume":"61","author":"AM Atto","year":"2011","unstructured":"Atto AM, Martinez C, Amari S (2011) Control of discrete event systems with respect to strict duration: supervision of an industrial manufacturing plant. Comput Inf Syst 61(4):1149\u20131159. doi: 10.1016\/j.cie.2011.07.004","journal-title":"Comput Inf Syst"},{"issue":"1\u20132","key":"159_CR6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.scico.2007.08.001","volume":"72","author":"R Bagnara","year":"2008","unstructured":"Bagnara R, Hill PM, Zaffanella E (2008) The Parma Polyhedra Library: toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Sci Comput Program 72(1\u20132):3\u201321","journal-title":"Sci Comput Program"},{"issue":"3","key":"159_CR7","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B Berthomieu","year":"1991","unstructured":"Berthomieu B, Diaz M (1991) Modeling and verification of time dependent systems using time Petri nets. IEEE Trans Softw Eng 17(3):259\u2013273","journal-title":"IEEE Trans Softw Eng"},{"key":"159_CR8","doi-asserted-by":"crossref","unstructured":"Berthomieu B, Vernadat F (2003) State class constructions for branching analysis of time Petri nets. In: TACAS 2003. Lecture notes in computer science, vol\u00a02619, pp\u00a0442\u2013457","DOI":"10.1007\/3-540-36577-X_33"},{"issue":"2","key":"159_CR9","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/s10626-006-0011-y","volume":"17","author":"B Berthomieu","year":"2007","unstructured":"Berthomieu B, Lime D, Roux OH, Vernadat F (2007) Reachability problems and abstract state spaces for time Petri nets with stopwatches. Discrete Event Dyn Syst (Theory and Applications (DEDS)) 17(2):133\u2013158","journal-title":"Discrete Event Dyn Syst (Theory and Applications (DEDS))"},{"key":"159_CR10","doi-asserted-by":"crossref","unstructured":"Bloch C, Manier MA, Baptiste P, Varnier C (2010) Hoist scheduling problem. In: ISTE, pp\u00a0193\u2013231. doi: 10.1002\/9780470611050.ch8","DOI":"10.1002\/9780470611050.ch8"},{"key":"159_CR11","unstructured":"Bonhomme P, Aygalinc P, Calvez S (2001) Syst\u00e8mes \u00e0 contraintes de temps: validation, \u00e9valuation et contr\u00f4le. In: Mod\u00e9lisation des syst\u00e8mes r\u00e9actifs, MSR 01. Toulouse, France"},{"issue":"6","key":"159_CR12","doi-asserted-by":"crossref","first-page":"1509","DOI":"10.1093\/logcom\/exp036","volume":"19","author":"H Boucheneb","year":"2009","unstructured":"Boucheneb H, Gardey G, Roux OH (2009) TCTL model checking of time Petri nets. J Log Comput 19(6):1509\u20131540","journal-title":"J Log Comput"},{"issue":"3","key":"159_CR13","first-page":"225","volume":"88","author":"M Boyer","year":"2008","unstructured":"Boyer M, Roux OH (2008) On the compared expressiveness of arc, place and transition time Petri nets. Fundam Inform 88(3):225\u2013249","journal-title":"Fundam Inform"},{"key":"159_CR14","unstructured":"Cassandras C, Lafortune S (1992) Introduction to discrete event systems. Kluwer Academic"},{"issue":"1","key":"159_CR15","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF01191202","volume":"12","author":"W Cook","year":"1992","unstructured":"Cook W, Hartmann M, Kannan R, McDiarmid C (1992) On integer points in polyhedra. Combinatorica 12(1):27\u201337","journal-title":"Combinatorica"},{"key":"159_CR16","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1109\/WODES.2006.1678434","volume-title":"8th international workshop on discrete event systems (WODES\u201906)","author":"G Gardey","year":"2006","unstructured":"Gardey G, Roux OF, Roux OH (2006) Safety control synthesis for time Petri nets. In: 8th international workshop on discrete event systems (WODES\u201906). IEEE Computer Society Press, Ann Arbor, pp\u00a0222\u2013228"},{"key":"159_CR17","unstructured":"Giua A, DiCesare F, Silva M (1992) Generalized mutual exclusion constraints on nets with uncontrollable transitions. In: IEEE int. conf. on SMC"},{"issue":"2","key":"159_CR18","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1023\/A:1008271916548","volume":"7","author":"LE Holloway","year":"1997","unstructured":"Holloway LE, Krogh BH, Giua A (1997) A survey of Petri net methods for controlled discrete event systems. Discrete Event Dyn Syst 7(2):151\u2013190","journal-title":"Discrete Event Dyn Syst"},{"key":"159_CR19","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/s10626-006-0009-5","volume":"17","author":"L Houssin","year":"2007","unstructured":"Houssin L, Lahaye S, Boimond J (2007) Just in time control of constrained (max, +)-linear systems. Discrete Event Dyn Syst 17:159\u2013178","journal-title":"Discrete Event Dyn Syst"},{"key":"159_CR20","doi-asserted-by":"crossref","unstructured":"Hune T, Romijn J, Stoelinga M, Vaandrager FW (2001) Linear parametric model checking of timed automata. In: TACAS\u201901, LNCS, vol\u00a02031. Springer","DOI":"10.7146\/brics.v8i5.20459"},{"key":"159_CR21","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1109\/TAC.2006.890478","volume":"52","author":"RD Katz","year":"2007","unstructured":"Katz RD (2007) Max-plus (a,b)-invariant spaces and control of timed discrete event systems. IEEE Trans Automat Contr 52:229\u2013241","journal-title":"IEEE Trans Automat Contr"},{"key":"159_CR22","unstructured":"Kim J, Lee T (2003) Schedule stabilization and robust timing control for time-constrained cluster tools. In: IEEE international conference on robotics and automation. Taipei, Taiwan, pp\u00a01039\u20131044"},{"key":"159_CR23","doi-asserted-by":"crossref","unstructured":"Larsen KG, Pettersson P, Yi W (1995) Model-checking for real-time systems. In: Fundamentals of computation theory, pp\u00a062\u201388","DOI":"10.1007\/3-540-60249-6_41"},{"key":"159_CR24","doi-asserted-by":"crossref","unstructured":"Lee TE (2008) A review of scheduling theory and methods for semiconductor manufacturing cluster tools. In: Winter simulation conference, pp\u00a02127\u20132135","DOI":"10.1109\/WSC.2008.4736310"},{"key":"159_CR25","unstructured":"Li ZW, Zhou MC (2009) Deadlock resolution in automated manufacturing systems: a novel Petri net approach, 1st edn. Springer"},{"key":"159_CR26","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/978-3-642-00768-2_6","volume-title":"15th international conference on tools and algorithms for the construction and analysis of systems (TACAS 2009)","author":"D Lime","year":"2009","unstructured":"Lime D, Roux OH, Seidner C, Traonouez LM (2009) Romeo: a parametric model-checker for Petri nets with stopwatches. In: Kowalewski S, Philippou A (eds) 15th international conference on tools and algorithms for the construction and analysis of systems (TACAS 2009). Lecture notes in computer science, vol\u00a05505. Springer, York, pp\u00a054\u201357"},{"key":"159_CR27","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1023\/A:1023952906934","volume":"15","author":"MA Manier","year":"2003","unstructured":"Manier MA, Bloch C (2003) A classification for hoist scheduling problems. Int J Flex Manuf Syst 15:37\u201355","journal-title":"Int J Flex Manuf Syst"},{"key":"159_CR28","doi-asserted-by":"crossref","unstructured":"Maza S, Castagna P (2005) A performance-based structural policy for conflict-free routing of bi-directional automated guided vehicles. Comput Ind 56(7). doi: 10.1016\/j.compind.2005.03.003","DOI":"10.1016\/j.compind.2005.03.003"},{"key":"159_CR29","unstructured":"Merlin PM (1974) A study of the recoverability of computing systems. PhD thesis, Dep. of Information and Computer Science, Univ. of California, Irvine, CA"},{"key":"159_CR30","doi-asserted-by":"crossref","DOI":"10.1002\/9781118627372","volume-title":"Integer and combinatorial optimization","author":"GL Nemhauser","year":"1988","unstructured":"Nemhauser GL, Wolsey LA (1988) Integer and combinatorial optimization. Wiley-Interscience, New York"},{"key":"159_CR31","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1080\/09511920110046083","volume":"15","author":"J Park","year":"2002","unstructured":"Park J, Reveliotis SA, Bodner DA, McGinnis LF (2002) A distributed, event-driven control architecture for flexibly automated manufacturing systems. Int J Comput Integr Manuf 15:109\u2013126","journal-title":"Int J Comput Integr Manuf"},{"key":"159_CR32","volume-title":"Theory of linear and integer programming","author":"A Schrijver","year":"1986","unstructured":"Schrijver A (1986) Theory of linear and integer programming. Wiley, New York"},{"issue":"7","key":"159_CR33","doi-asserted-by":"crossref","first-page":"759","DOI":"10.1080\/002077299292065","volume":"30","author":"P Spacek","year":"1999","unstructured":"Spacek P, Manier M, Moudni A (1999) Control of an electroplating line in the max and min algebras. Int J Syst Sci 30(7):759\u2013778","journal-title":"Int J Syst Sci"},{"issue":"17","key":"159_CR34","first-page":"3273","volume":"15","author":"LM Traonouez","year":"2009","unstructured":"Traonouez LM, Lime D, Roux OH (2009) Parametric model-checking of stopwatch Petri nets. J Univers Comput Sci 15(17):3273\u20133304","journal-title":"J Univers Comput Sci"},{"key":"159_CR35","first-page":"134","volume-title":"PaCT\u201999","author":"I Virbitskaite","year":"1999","unstructured":"Virbitskaite I, Pokozy E (1999) Parametric behaviour analysis for Time Petri nets. In: PaCT\u201999. Springer, London, pp\u00a0134\u2013140"},{"issue":"2","key":"159_CR36","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1006\/inco.1996.0086","volume":"130","author":"F Wang","year":"1996","unstructured":"Wang F (1996) Parametric timing analysis for real-time systems. Inf Comput 130(2):131\u2013150. doi: 10.1006\/inco.1996.0086","journal-title":"Inf Comput"},{"issue":"2","key":"159_CR37","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1109\/TSM.2008.2000425","volume":"21","author":"N Wu","year":"2008","unstructured":"Wu N, Chu C, Chu F, Zhou M (2008) A Petri net method for schedulability and scheduling problems in single-arm cluster tools with wafer residency time constraints. IEEE Trans Semicond Manuf 21(2):224\u2013237","journal-title":"IEEE Trans Semicond Manuf"},{"issue":"1","key":"159_CR38","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/TASE.2010.2046736","volume":"8","author":"N Wu","year":"2011","unstructured":"Wu N, Chu F, Chu C, Zhou M (2011) Petri net-based scheduling of single-arm cluster tools with reentrant atomic layer deposition processes. IEEE Trans Autom Sci Eng 8(1):42\u201355. doi: 10.1109\/TASE.2010.2046736","journal-title":"IEEE Trans Autom Sci Eng"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-013-0159-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-013-0159-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-013-0159-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,10]],"date-time":"2019-07-10T05:51:36Z","timestamp":1562737896000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-013-0159-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,1]]},"references-count":38,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["159"],"URL":"https:\/\/doi.org\/10.1007\/s10626-013-0159-1","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,1]]}}}