{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T21:23:26Z","timestamp":1750454606948,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,5,18]],"date-time":"2020-05-18T00:00:00Z","timestamp":1589760000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,5,18]]},"DOI":"10.1145\/3388831.3388854","type":"proceedings-article","created":{"date-parts":[[2020,5,30]],"date-time":"2020-05-30T04:41:41Z","timestamp":1590813701000},"page":"164-171","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Dynamic GSPNs"],"prefix":"10.1145","author":[{"given":"Samir","family":"Tigane","sequence":"first","affiliation":[{"name":"LINFI Laboratory, Biskra University, Biskra, Algeria, Sorbonne Universit\u00e9, CNRS, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laid","family":"Kahloul","sequence":"additional","affiliation":[{"name":"LINFI Laboratory, Biskra University, Biskra, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Souheib","family":"Baarir","sequence":"additional","affiliation":[{"name":"Sorbonne Universit\u00e9, CNRS, Paris, France, Universit\u00e9 Paris Lumi\u00e8res, Universit\u00e9 Paris Nanterre, Nanterre, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samir","family":"Bourekkache","sequence":"additional","affiliation":[{"name":"LINFI Laboratory, Biskra University, Biskra, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,5,29]]},"reference":[{"volume-title":"Quantitative Evaluation of Systems","author":"Amparare Elvio Gilberto","key":"e_1_3_2_1_1_1","unstructured":"Elvio Gilberto Amparare . 2014. A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking . In Quantitative Evaluation of Systems , Gethin Norman and William Sanders (Eds.). Springer International Publishing , Cham , 170--173. Elvio Gilberto Amparare. 2014. A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking. In Quantitative Evaluation of Systems, Gethin Norman and William Sanders (Eds.). Springer International Publishing, Cham, 170--173."},{"key":"e_1_3_2_1_2_1","volume-title":"SPNPS: A Tool for Perfect Sampling in Stochastic Petri Nets. In Quantitative Evaluation of Systems","author":"Balsamo Simonetta","year":"2016","unstructured":"Simonetta Balsamo , Andrea Marin , and Ivan Stojic . 2016 . SPNPS: A Tool for Perfect Sampling in Stochastic Petri Nets. In Quantitative Evaluation of Systems , Gul Agha and Benny Van Houdt (Eds.). Springer International Publishing , Cham , 163--166. Simonetta Balsamo, Andrea Marin, and Ivan Stojic. 2016. SPNPS: A Tool for Perfect Sampling in Stochastic Petri Nets. In Quantitative Evaluation of Systems, Gul Agha and Benny Van Houdt (Eds.). Springer International Publishing, Cham, 163--166."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.06.343"},{"key":"e_1_3_2_1_4_1","volume-title":"Deadlock recovery for flexible manufacturing systems modeled with Petri nets. Information Sciences 381 (March","author":"Chen YuFeng","year":"2017","unstructured":"YuFeng Chen , ZhiWu Li , Abdulrahman Al-Ahmari , NaiQi Wu , and Ting Qu. 2017. Deadlock recovery for flexible manufacturing systems modeled with Petri nets. Information Sciences 381 (March 2017 ), 290--303. YuFeng Chen, ZhiWu Li, Abdulrahman Al-Ahmari, NaiQi Wu, and Ting Qu. 2017. Deadlock recovery for flexible manufacturing systems modeled with Petri nets. Information Sciences 381 (March 2017), 290--303."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.247838"},{"volume-title":"A Tutorial on Graph Transformation","author":"K\u00f6nig Barbara","key":"e_1_3_2_1_6_1","unstructured":"Barbara K\u00f6nig , Dennis Nolte , Julia Padberg , and Arend Rensink . 2018. A Tutorial on Graph Transformation . Springer , Cham , 83--104. Barbara K\u00f6nig, Dennis Nolte, Julia Padberg, and Arend Rensink. 2018. A Tutorial on Graph Transformation. Springer, Cham, 83--104."},{"volume-title":"Integrated Formal Methods","author":"Langari Zarrin","key":"e_1_3_2_1_7_1","unstructured":"Zarrin Langari and Richard Trefler . 2009. Application of Graph Transformation in Verification of Dynamic Systems . In Integrated Formal Methods . Springer Berlin Heidelberg , 261--276. Zarrin Langari and Richard Trefler. 2009. Application of Graph Transformation in Verification of Dynamic Systems. In Integrated Formal Methods. Springer Berlin Heidelberg, 261--276."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.03.046"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3150928.3150944"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.2006857"},{"key":"e_1_3_2_1_11_1","volume-title":"Robust Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Based on Petri Net Reachability Graphs","author":"Liu Gaiyun","year":"2018","unstructured":"Gaiyun Liu , Pei Li , Zhiwu Li , and Naiqi Wu. 2018. Robust Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Based on Petri Net Reachability Graphs . IEEE Transactions on Systems, Man, and Cybernetics: Systems ( 2018 ), 1--15. https:\/\/doi.org\/10.1109\/TSMC.2018.2815618 10.1109\/TSMC.2018.2815618 Gaiyun Liu, Pei Li, Zhiwu Li, and Naiqi Wu. 2018. Robust Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Based on Petri Net Reachability Graphs. IEEE Transactions on Systems, Man, and Cybernetics: Systems (2018), 1--15. https:\/\/doi.org\/10.1109\/TSMC.2018.2815618"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30476-0_26"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.66"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.1118"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the Tenth International Conference on Adaptive and Self-Adaptive Systems and Applications. 15--23","author":"Mai Carl","year":"2018","unstructured":"Carl Mai , Ren\u00e9 Sch\u00f6ne , Johannes Mey , Thomas K\u00fchn , and Uwe A\u00dfmann . 2018 . Adaptive Petri Nets-A Petri Net Extension for Reconfigurable Structures . In Proceedings of the Tenth International Conference on Adaptive and Self-Adaptive Systems and Applications. 15--23 . Carl Mai, Ren\u00e9 Sch\u00f6ne, Johannes Mey, Thomas K\u00fchn, and Uwe A\u00dfmann. 2018. Adaptive Petri Nets-A Petri Net Extension for Reconfigurable Structures. In Proceedings of the Tenth International Conference on Adaptive and Self-Adaptive Systems and Applications. 15--23."},{"key":"e_1_3_2_1_16_1","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"Marsan Marco Ajmone","unstructured":"Marco Ajmone Marsan , Gianfranco Balbo , Gianni Conte , Susanna Donatelli , and Giuliana Franceschinis . 1994. Modelling with Generalized Stochastic Petri Nets ( 1 st ed.). John Wiley & Sons, Inc. , New York, NY, USA . Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte, Susanna Donatelli, and Giuliana Franceschinis. 1994. Modelling with Generalized Stochastic Petri Nets (1st ed.). John Wiley & Sons, Inc., New York, NY, USA.","edition":"1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3150928.3150959"},{"volume-title":"Overview of Reconfigurable Petri Nets","author":"Padberg Julia","key":"e_1_3_2_1_18_1","unstructured":"Julia Padberg and Laid Kahloul . 2018. Overview of Reconfigurable Petri Nets . Springer International Publishing , Cham , 201--222. Julia Padberg and Laid Kahloul. 2018. Overview of Reconfigurable Petri Nets. Springer International Publishing, Cham, 201--222."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2019.102302"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDIS.2017.8284023"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MATHIT.2017.8259733"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJCCBS.2018.091837"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/SMC.2018.00738"}],"event":{"name":"VALUETOOLS '20: 13th EAI International Conference on Performance Evaluation Methodologies and Tools","sponsor":["EAI The European Alliance for Innovation"],"location":"Tsukuba Japan","acronym":"VALUETOOLS '20"},"container-title":["Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3388831.3388854","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3388831.3388854","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:33:02Z","timestamp":1750199582000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3388831.3388854"}},"subtitle":["formal definition, transformation towards GSPNs and formal verification"],"short-title":[],"issued":{"date-parts":[[2020,5,18]]},"references-count":23,"alternative-id":["10.1145\/3388831.3388854","10.1145\/3388831"],"URL":"https:\/\/doi.org\/10.1145\/3388831.3388854","relation":{},"subject":[],"published":{"date-parts":[[2020,5,18]]},"assertion":[{"value":"2020-05-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}