{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T21:23:28Z","timestamp":1750454608668,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030588601"},{"type":"electronic","value":"9783030588618"}],"license":[{"start":{"date-parts":[[2020,9,6]],"date-time":"2020-09-06T00:00:00Z","timestamp":1599350400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,9,6]],"date-time":"2020-09-06T00:00:00Z","timestamp":1599350400000},"content-version":"vor","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":[[2021]]},"DOI":"10.1007\/978-3-030-58861-8_21","type":"book-chapter","created":{"date-parts":[[2020,9,5]],"date-time":"2020-09-05T18:03:29Z","timestamp":1599329009000},"page":"294-307","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Configuration-Dependent Stochastic Reward Nets"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9093-1180","authenticated-orcid":false,"given":"Samir","family":"Tigane","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9739-7715","authenticated-orcid":false,"given":"Laid","family":"Kahloul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2038-6257","authenticated-orcid":false,"given":"Samir","family":"Bourekkache","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,9,6]]},"reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"15731","DOI":"10.1109\/ACCESS.2017.2735418","volume":"5","author":"M Bashir","year":"2017","unstructured":"Bashir, M.: A minimal supervisory structure to optimally enforce liveness on Petri net models for flexible manufacturing systems. IEEE Access 5, 15731\u201315749 (2017)","journal-title":"IEEE Access"},{"doi-asserted-by":"publisher","unstructured":"Bashir, M., Liu, D., Uzam, M., Wu, N., Al-Ahmari, A., Li, Z.: Optimal enforcement of liveness to flexible manufacturing systems modeled with Petri nets via transition-based controllers. Adv. Mech. Eng. 10(1) (2018). \nhttps:\/\/doi.org\/10.1177\/1687814017750707","key":"21_CR2","DOI":"10.1177\/1687814017750707"},{"issue":"1","key":"21_CR3","first-page":"37","volume":"8","author":"M Brettel","year":"2014","unstructured":"Brettel, M., Friederichsen, N., Keller, M., Rosenberg, M.: How virtualization, decentralization and network building change the manufacturing landscape: an Industry 4.0 perspective. Int. J. Mech. Ind. Sci. Eng. 8(1), 37\u201344 (2014)","journal-title":"Int. J. Mech. Ind. Sci. Eng."},{"doi-asserted-by":"crossref","unstructured":"Cao, Y., Zhao, L., Zhang, R., Yang, Y., Zhou, X., Li, K.: Experience-availability analysis of online cloud services using stochastic models. In: 2018 IFIP Networking Conference (IFIP Networking) and Workshops, pp.\u00a01\u20139 (2018)","key":"21_CR4","DOI":"10.23919\/IFIPNetworking.2018.8696531"},{"key":"21_CR5","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1016\/j.ins.2016.11.011","volume":"381","author":"Y Chen","year":"2017","unstructured":"Chen, Y., Li, Z., Al-Ahmari, A., Wu, N., Qu, T.: Deadlock recovery for flexible manufacturing systems modeled with Petri nets. Inf. Sci. 381, 290\u2013303 (2017)","journal-title":"Inf. Sci."},{"issue":"23\u201324","key":"21_CR6","doi-asserted-by":"publisher","first-page":"6788","DOI":"10.1080\/00207543.2012.761362","volume":"51","author":"G Chryssolouris","year":"2013","unstructured":"Chryssolouris, G., Efthymiou, K., Papakostas, N., Mourtzis, D., Pagoropoulos, A.: Flexibility and complexity: is it a trade-off? Int. J. Prod. Res. 51(23\u201324), 6788\u20136802 (2013)","journal-title":"Int. J. Prod. Res."},{"doi-asserted-by":"crossref","unstructured":"Ciardo, G., Blakemore, A., Chimento, P.F., Muppala, J.K., Trivedi, K.S.: Automated generation and analysis of Markov reward models using stochastic reward nets. In: Linear Algebra, Markov Chains, and Queueing Models, pp. 145\u2013191. Springer, New York (1993)","key":"21_CR7","DOI":"10.1007\/978-1-4613-8351-2_11"},{"issue":"1","key":"21_CR8","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1002\/asjc.1583","volume":"20","author":"X Cong","year":"2018","unstructured":"Cong, X.: Design of optimal Petri net supervisors for flexible manufacturing systems via weighted inhibitor arcs. Asian J. Control 20(1), 511\u2013530 (2018)","journal-title":"Asian J. Control"},{"doi-asserted-by":"crossref","unstructured":"Fu, Y., Zhu, J., Gao, S.: CPS information security risk evaluation system based on Petri net. In: Proceedings of IEEE Second International Conference on Data Science in Cyberspace, pp. 541\u2013548 (June 2017)","key":"21_CR9","DOI":"10.1109\/DSC.2017.65"},{"doi-asserted-by":"crossref","unstructured":"Guo, Z., Zhang, Y., Zhao, X., Song, X.: A timed colored Petri net simulation-based self-adaptive collaboration method for production-logistics systems. Appl. Sci. 7(3) (2017)","key":"21_CR10","DOI":"10.3390\/app7030235"},{"key":"21_CR11","doi-asserted-by":"publisher","first-page":"38","DOI":"10.5281\/zenodo.3444051","volume":"3","author":"E Gu\u0163uleac","year":"2019","unstructured":"Gu\u0163uleac, E., Zaporojan, S., Moraru, V., Sclifos, A.: Performance modeling of network defense in breadth systems by matrix rewriting SRN with fuzzy parameters. J. Eng. Sci. 3, 38\u201353 (2019). \nhttps:\/\/doi.org\/10.5281\/zenodo.3444051","journal-title":"J. Eng. Sci."},{"unstructured":"Henning, K.: Recommendations for implementing the strategic initiative INDUSTRIE 4.0 (2013)","key":"21_CR12"},{"doi-asserted-by":"crossref","unstructured":"Huang, J., Zhu, Y., Cheng, B., Lin, C., Chen, J.: A Petri net-based approach for supporting traceability in cyber-physical manufacturing systems. Sensors 16(3) (2016)","key":"21_CR13","DOI":"10.3390\/s16030382"},{"key":"21_CR14","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1016\/j.procir.2016.07.054","volume":"52","author":"K Jackson","year":"2016","unstructured":"Jackson, K., Efthymiou, K., Borton, J.: Digital manufacturing and flexible assembly technologies for reconfigurable aerospace production systems. Procedia CIRP 52, 274\u2013279 (2016). The Sixth International Conference on Changeable, Agile, Reconfigurable and Virtual Production (CARV2016)","journal-title":"Procedia CIRP"},{"issue":"8","key":"21_CR15","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1080\/0951192X.2015.1130262","volume":"29","author":"L Kahloul","year":"2016","unstructured":"Kahloul, L., Bourekkache, S., Djouani, K.: Designing reconfigurable manufacturing systems using reconfigurable object Petri nets. Int. J. Comput. Integr. Manuf. 29(8), 889\u2013906 (2016)","journal-title":"Int. J. Comput. Integr. Manuf."},{"issue":"1","key":"21_CR16","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1109\/TASE.2008.2006857","volume":"6","author":"J Li","year":"2009","unstructured":"Li, J., Dai, X., Meng, Z.: Automatic reconfiguration of Petri net controllers for reconfigurable manufacturing systems with an improved net rewriting system-based approach. IEEE Trans. Autom. Sci. Eng. 6(1), 156\u2013167 (2009)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"21_CR17","doi-asserted-by":"publisher","first-page":"26376","DOI":"10.1109\/ACCESS.2017.2768069","volume":"5","author":"M Liu","year":"2017","unstructured":"Liu, M., He, Z., Wu, N., Al-Ahmari, A., Li, Z.: Resource configuration analysis for a class of Petri nets based on strongly connected characteristic resource subnets. IEEE Access 5, 26376\u201326386 (2017)","journal-title":"IEEE Access"},{"doi-asserted-by":"crossref","unstructured":"Llorens, M., Oliver, J.: Introducing structural dynamic changes in Petri nets: marked-controlled reconfigurable nets. In: Proceedings of International Symposium on Automated Technology for Verification and Analysis, pp. 310\u2013323. Springer, Heidelberg (2004)","key":"21_CR18","DOI":"10.1007\/978-3-540-30476-0_26"},{"doi-asserted-by":"crossref","unstructured":"Long, F., Zeiler, P., Bertsche, B.: Potentials of coloured Petri nets for realistic availability modelling of production systems in Industry 4.0. In: Proceedings of the ESREL 2015 Conference, vol.\u00a07 (2015)","key":"21_CR19","DOI":"10.1201\/b19094-585"},{"issue":"1","key":"21_CR20","doi-asserted-by":"publisher","first-page":"5680","DOI":"10.1016\/j.ifacol.2017.08.1118","volume":"50","author":"F Long","year":"2017","unstructured":"Long, F., Zeiler, P., Bertsche, B.: Modelling the flexibility of production systems in Industry 4.0 for analysing their productivity and availability with high-level Petri nets. IFAC-PapersOnLine 50(1), 5680\u20135687 (2017). 20th IFAC World Congress","journal-title":"IFAC-PapersOnLine"},{"key":"21_CR21","first-page":"1","volume":"6","author":"Y Lu","year":"2017","unstructured":"Lu, Y.: Industry 4.0: a survey on technologies, applications and open research issues. J. Ind. Inf. Integr. 6, 1\u201310 (2017)","journal-title":"J. Ind. Inf. Integr."},{"issue":"4","key":"21_CR22","doi-asserted-by":"publisher","first-page":"742","DOI":"10.1108\/IMDS-06-2016-0220","volume":"117","author":"Y Lv","year":"2017","unstructured":"Lv, Y., Lin, D.: Design an intelligent real-time operation planning system in distributed manufacturing network. Ind. Manage. Data Syst. 117(4), 742\u2013753 (2017)","journal-title":"Ind. Manage. Data Syst."},{"issue":"3","key":"21_CR23","doi-asserted-by":"publisher","first-page":"1329","DOI":"10.1109\/TAC.2016.2585647","volume":"62","author":"Z Ma","year":"2017","unstructured":"Ma, Z., Li, Z., Giua, A.: Characterization of admissible marking sets in Petri nets with conflicts and synchronizations. IEEE Trans. Autom. Control 62(3), 1329\u20131341 (2017)","journal-title":"IEEE Trans. Autom. Control"},{"key":"21_CR24","doi-asserted-by":"publisher","first-page":"9273","DOI":"10.1109\/ACCESS.2019.2891282","volume":"7","author":"TA Nguyen","year":"2019","unstructured":"Nguyen, T.A., Min, D., Choi, E., Tran, T.D.: Reliability and availability evaluation for cloud data center networks using hierarchical models. IEEE Access 7, 9273\u20139313 (2019)","journal-title":"IEEE Access"},{"issue":"8","key":"21_CR25","doi-asserted-by":"publisher","first-page":"4657","DOI":"10.1007\/s11227-018-2677-y","volume":"75","author":"TA Nguyen","year":"2019","unstructured":"Nguyen, T.A., Han, K., Min, D., Choi, E., Thang, T.D., Choi, Y.J.: A stochastic reward net-based assessment of reliability, availability and operational cost for a software-defined network infrastructure. J. Supercomput. 75(8), 4657\u20134683 (2019)","journal-title":"J. Supercomput."},{"doi-asserted-by":"crossref","unstructured":"Shojaee, R., Latifi, A., Yazdani, N.: A stochastic reward net approach to model availability of cloud virtualization. In: 7th International Symposium on Telecommunications, IST2014, pp. 683\u2013688 (2014)","key":"21_CR26","DOI":"10.1109\/ISTEL.2014.7000790"},{"key":"21_CR27","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.conengprac.2016.01.009","volume":"49","author":"RM da Silva","year":"2016","unstructured":"da Silva, R.M., Junqueira, F., Filho, D.J.S., Miyagi, P.E.: Control architecture and design method of reconfigurable manufacturing systems. Control Eng. Pract. 49, 87\u2013100 (2016)","journal-title":"Control Eng. Pract."},{"doi-asserted-by":"crossref","unstructured":"Tigane, S., Kahloul, L., Bourekkache, S.: Generalized stochastic Petri nets with rewritable topology. In: Proceedings of First International Conference on Embedded Distributed Systems (EDiS), pp.\u00a01\u20136 (December 2017)","key":"21_CR28","DOI":"10.1109\/EDIS.2017.8284023"},{"doi-asserted-by":"crossref","unstructured":"Tigane, S., Kahloul, L., Bourekkache, S.: Reconfigurable stochastic Petri nets: a new formalism for reconfigurable discrete event systems. In: Proceedings of International Conference on Mathematics and Information Technology (ICMIT), p. 301\u2013308 (2017)","key":"21_CR29","DOI":"10.1109\/MATHIT.2017.8259733"},{"doi-asserted-by":"crossref","unstructured":"Tigane, S., Kahloul, L., Baarir, S., Bourekkache, S.: Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification. In: Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2020, pp. 164\u2013171. ACM, New York, NY, USA (2020)","key":"21_CR30","DOI":"10.1145\/3388831.3388854"},{"key":"21_CR31","doi-asserted-by":"publisher","first-page":"102302","DOI":"10.1016\/j.scico.2019.102302","volume":"183","author":"S Tigane","year":"2019","unstructured":"Tigane, S., Kahloul, L., Benharzallah, S., Baarir, S., Bourekkache, S.: Reconfigurable GSPNs: a modeling formalism of evolvable discrete-event systems. Sci. Comput. Program. 183, 102302 (2019). \nhttps:\/\/doi.org\/10.1016\/j.scico.2019.102302","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"21_CR32","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1504\/IJCCBS.2018.091837","volume":"8","author":"S Tigane","year":"2018","unstructured":"Tigane, S., Kahloul, L., Bourekkache, S., Baarir, S.: Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systems. Int. J. Crit. Comput. Based Syst. 8(1), 25\u201344 (2018)","journal-title":"Int. J. Crit. Comput. Based Syst."}],"container-title":["Lecture Notes in Networks and Systems","Modelling and Implementation of Complex Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-58861-8_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,5]],"date-time":"2020-09-05T18:51:50Z","timestamp":1599331910000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-58861-8_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,6]]},"ISBN":["9783030588601","9783030588618"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-58861-8_21","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"type":"print","value":"2367-3370"},{"type":"electronic","value":"2367-3389"}],"subject":[],"published":{"date-parts":[[2020,9,6]]},"assertion":[{"value":"6 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"MISC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Modelling and Implementation of Complex Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Batna","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Algeria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 October 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 October 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"misc2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/misc2020.misc-lab.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}