{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,31]],"date-time":"2025-08-31T10:28:24Z","timestamp":1756636104516},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319737508"},{"type":"electronic","value":"9783319737515"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-73751-5_26","type":"book-chapter","created":{"date-parts":[[2018,1,31]],"date-time":"2018-01-31T12:57:43Z","timestamp":1517403463000},"page":"345-357","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Using Statistical-Model-Checking-Based Simulation for Evaluating the Robustness of a Production Schedule"],"prefix":"10.1007","author":[{"given":"Sara","family":"Himmiche","sequence":"first","affiliation":[]},{"given":"Alexis","family":"Aubry","sequence":"additional","affiliation":[]},{"given":"Pascale","family":"Marang\u00e9","sequence":"additional","affiliation":[]},{"given":"Marie","family":"Duflot-Kremer","sequence":"additional","affiliation":[]},{"given":"Jean-Fran\u00e7ois","family":"P\u00e9tin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,2,1]]},"reference":[{"unstructured":"Kobetski, A., Fabian, M.: Time-optimal coordination of flexible manufacturing systems using deterministic finite automata and mixed integer linear programming. J. Discr. Event Dyn. Syst. Theor. Appl. 19(3), 287\u2013315 (2009)","key":"26_CR1"},{"doi-asserted-by":"crossref","unstructured":"Panek, S., Engell, S., Stursberg, O.: Scheduling and planning with timed automata. In: 16th European Symposium on Computer Aided Process Engineering and 9th International Symposium on Process Systems Engineering, pp. 1973\u20131978. Elsevier (2006)","key":"26_CR2","DOI":"10.1016\/S1570-7946(06)80337-8"},{"doi-asserted-by":"publisher","unstructured":"Billaut, J.C., Moukrim, A., Sanlaville, E.: Flexibility and robustness in scheduling. ISTE (2010). https:\/\/doi.org\/10.1002\/9780470611432.ch1","key":"26_CR3","DOI":"10.1002\/9780470611432.ch1"},{"doi-asserted-by":"crossref","unstructured":"Behrmann, G., Brinksma, E., Hendriks, M., Mader, A.: Production scheduling by reachability analysis\u2014a case study. International Parallel and Distributed Processing Symposium (2005)","key":"26_CR4","DOI":"10.1109\/IPDPS.2005.363"},{"unstructured":"Marang\u00e9, P., Aubry, A., P\u00e9tin, J.F.: Ordonnancement d\u2019ateliers \u00e0 partir de patrons de mod\u00e9lisation bas\u00e9s sur des automates communicants. In: 11th International Conference on Modeling, Optimization and Simulation. Montr\u00e9al, Canada (2016)","key":"26_CR5"},{"doi-asserted-by":"crossref","unstructured":"Subbiah, S., Engell, S.: Short-term scheduling of multi-product batch plants with sequence-dependent changeovers using timed automata models. In: 20th European Symposium on Computer Aided Process Engineering, 28, pp. 1201\u20131206. Elsevier (2010)","key":"26_CR6","DOI":"10.1016\/S1570-7946(10)28201-9"},{"doi-asserted-by":"crossref","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to discrete event systems, 2nd edn. Springer (2008)","key":"26_CR7","DOI":"10.1007\/978-0-387-68612-7"},{"doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Norman, G., Parker, D., Sproston, J.: Performance analysis of probabilistic timed automata using digital clocks. Formal Methods Syst. Des. (2006)","key":"26_CR8","DOI":"10.1007\/s10703-006-0005-2"},{"doi-asserted-by":"crossref","unstructured":"Ballarini, P., Djafri, H., Duflot, M., Haddad, S., Pekergin, N.: Petri nets compositional modelling and verification of flexible manufacturing systems. In: Proceedings of the 7th Conference on Automation Science and Engineering (2011)","key":"26_CR9","DOI":"10.1109\/CASE.2011.6042488"},{"unstructured":"Kritzinger, P., Bause, F.: Stochastic Petri nets\u2014An Introduction to the Theory. Vieweg + Teubner (2002)","key":"26_CR10"},{"issue":"10","key":"26_CR11","doi-asserted-by":"crossref","first-page":"1093","DOI":"10.1109\/32.99196","volume":"17","author":"B Plateau","year":"1991","unstructured":"Plateau, B., Atif, K.: Stochastic automata network of modeling parallel systems. IEEE Trans. Softw. Eng. 17(10), 1093\u20131108 (1991)","journal-title":"IEEE Trans. Softw. Eng."},{"doi-asserted-by":"crossref","unstructured":"Stewart, W.J., Atif, K., Plateau, B.: The numerical solution of stochastic automata networks. Eur. J. Operat. Res. (1995)","key":"26_CR12","DOI":"10.1016\/0377-2217(94)00075-N"},{"unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M., Poulsen, D.B.: Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transfer 17(4), 397\u2013415 (2015)","key":"26_CR13"},{"issue":"2","key":"26_CR14","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Behrmann, G., David, A., Larsen, K.: A tutorial on uppaal. In: Proceedings of Formal Methods for the Design of Real-Time Systems, No. 3185 in Lecture Notes in Computer Science, pp. 200\u2013236. Springer (2004)","key":"26_CR15","DOI":"10.1007\/978-3-540-30080-9_7"},{"doi-asserted-by":"crossref","unstructured":"Himmiche, S., Aubry, A., Marang\u00e9, P., P\u00e9tin, J.F.: Modeling flexible workshops scheduling problems: evaluating a timed automata based approach versus MILP. In: 20th World Congress of the International Federation of Automatic Control. Toulouse, France Accepted (2017)","key":"26_CR16","DOI":"10.1016\/j.ifacol.2017.08.346"},{"unstructured":"Giard, V.: Gestion de la production et des flux: avec CD livre \u00e9lectronique + Logiciels + Animations. Economica (2003)","key":"26_CR17"}],"container-title":["Studies in Computational Intelligence","Service Orientation in Holonic and Multi-Agent Manufacturing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-73751-5_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T01:57:18Z","timestamp":1570672638000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-73751-5_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319737508","9783319737515"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-73751-5_26","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2018]]}}}