{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:36:02Z","timestamp":1750221362414,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,12,5]],"date-time":"2017-12-05T00:00:00Z","timestamp":1512432000000},"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":[[2017,12,5]]},"DOI":"10.1145\/3150928.3150955","type":"proceedings-article","created":{"date-parts":[[2018,7,31]],"date-time":"2018-07-31T16:28:33Z","timestamp":1533054513000},"page":"164-169","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["MAGNET"],"prefix":"10.1145","author":[{"given":"Marco","family":"Scarpa","sequence":"first","affiliation":[{"name":"Department of Engineering, University of Messina, Messina, Italy"}]},{"given":"Giuseppe","family":"Molica","sequence":"additional","affiliation":[{"name":"Department of Engineering, University of Messina, Messina, Italy"}]}],"member":"320","published-online":{"date-parts":[[2017,12,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"A. Bobbio D. Cerotti and M. Gribaudo. 2009. Presenting Dynamic Markovian Agents with a Road Tunnel Application. In MASCOTS09. IEEE-CS.  A. Bobbio D. Cerotti and M. Gribaudo. 2009. Presenting Dynamic Markovian Agents with a Road Tunnel Application. In MASCOTS09. IEEE-CS.","DOI":"10.1109\/MASCOT.2009.5367075"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.4108\/ICST.VALUETOOLS2009.7672"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/PERCOM.2008.100"},{"volume-title":"3rd International Workshop on Critical Information Infrastructures Security.","author":"Cerotti D.","key":"e_1_3_2_1_4_1","unstructured":"D. Cerotti , M. Gribaudo , and A. Bobbio . 2008. Disaster Propagation in Heterogeneous Media via Markovian Agents . In 3rd International Workshop on Critical Information Infrastructures Security. D. Cerotti, M. Gribaudo, and A. Bobbio. 2008. Disaster Propagation in Heterogeneous Media via Markovian Agents. In 3rd International Workshop on Critical Information Infrastructures Security."},{"volume-title":"Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89","author":"Ciardo G.","key":"e_1_3_2_1_5_1","unstructured":"G. Ciardo , J. Muppala , and K. Trivedi . 1989. SPNP: stochastic Petri net package . In Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89 . 142--151. G. Ciardo, J. Muppala, and K. Trivedi. 1989. SPNP: stochastic Petri net package. In Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89. 142--151."},{"key":"e_1_3_2_1_6_1","volume-title":"7th Workshop on Process Algebra and Stochastically Timed Activities (PASTA)","author":"Galpin Vashti","year":"2008","unstructured":"Vashti Galpin . 2008 . Towards a spatial stochastic process algebra . In 7th Workshop on Process Algebra and Stochastically Timed Activities (PASTA) . Edinburgh, UK. Vashti Galpin. 2008. Towards a spatial stochastic process algebra. In 7th Workshop on Process Algebra and Stochastically Timed Activities (PASTA). Edinburgh, UK."},{"volume-title":"Numerical Methods for Stiff Equations","author":"Miranker W.L.","key":"e_1_3_2_1_7_1","unstructured":"W.L. Miranker . 1981. Numerical Methods for Stiff Equations . Reidel , Dordrecht . W.L. Miranker. 1981. Numerical Methods for Stiff Equations. Reidel, Dordrecht."},{"key":"e_1_3_2_1_8_1","unstructured":"R. Sahner K.S. Trivedi and A. Puliafito. 1995. Performance and reliability analysis of computer systems: an example based approach using the SHARPE software package. Kluwer Academic Publishers Boston.   R. Sahner K.S. Trivedi and A. Puliafito. 1995. Performance and reliability analysis of computer systems: an example based approach using the SHARPE software package. Kluwer Academic Publishers Boston."},{"volume-title":"A New Modelling Approach to Represent the DCF Mechanism of the CSMA\/CA Protocol","author":"Scarpa Marco","key":"e_1_3_2_1_9_1","unstructured":"Marco Scarpa and Salvatore Serrano . 2017. A New Modelling Approach to Represent the DCF Mechanism of the CSMA\/CA Protocol . Springer International Publishing , Cham , 181--195. Marco Scarpa and Salvatore Serrano. 2017. A New Modelling Approach to Represent the DCF Mechanism of the CSMA\/CA Protocol. Springer International Publishing, Cham, 181--195."},{"key":"e_1_3_2_1_10_1","volume-title":"Bradley","author":"Stefanek Anton","year":"2009","unstructured":"Anton Stefanek , Maria G. Vigliotti , and Jeremy T . Bradley . 2009 . Spatial extension of stochastic π calculus. 109--117. Anton Stefanek, Maria G. Vigliotti, and Jeremy T. Bradley. 2009. Spatial extension of stochastic π calculus. 109--117."},{"key":"e_1_3_2_1_11_1","volume-title":"Probability and Statistics with Reliability, Queuing and Computer Science Applications","author":"Trivedi Kishor S.","unstructured":"Kishor S. Trivedi . 2002. Probability and Statistics with Reliability, Queuing and Computer Science Applications ( 2 nd edition ed.). John Wiley and Sons Ltd ., Chichester, UK. Kishor S. Trivedi. 2002. Probability and Statistics with Reliability, Queuing and Computer Science Applications (2nd edition ed.). John Wiley and Sons Ltd., Chichester, UK.","edition":"2"}],"event":{"name":"VALUETOOLS 2017: 11th EAI International Conference on Performance Evaluation Methodologies and Tools","sponsor":["EAI The European Alliance for Innovation"],"location":"Venice Italy","acronym":"VALUETOOLS 2017"},"container-title":["Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3150928.3150955","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3150928.3150955","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:19Z","timestamp":1750213579000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3150928.3150955"}},"subtitle":["a Software Library for Markovian Agent Networks"],"short-title":[],"issued":{"date-parts":[[2017,12,5]]},"references-count":11,"alternative-id":["10.1145\/3150928.3150955","10.1145\/3150928"],"URL":"https:\/\/doi.org\/10.1145\/3150928.3150955","relation":{},"subject":[],"published":{"date-parts":[[2017,12,5]]},"assertion":[{"value":"2017-12-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}