{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T15:33:11Z","timestamp":1759073591087,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1109\/wsc.2012.6465256","type":"proceedings-article","created":{"date-parts":[[2013,3,1]],"date-time":"2013-03-01T08:24:26Z","timestamp":1362126266000},"page":"1-13","source":"Crossref","is-referenced-by-count":5,"title":["Efficient simulation of Stochastic Well-Formed Nets through symmetry exploitation"],"prefix":"10.1109","author":[{"given":"Marco","family":"Beccuti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuliana","family":"Franceschinis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2010.09.002"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530876"},{"key":"10","first-page":"51","article-title":"Computation of enabled transition instances for colored petri nets","volume":"643","author":"liu","year":"2010","journal-title":"Proc 16th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2009)"},{"journal-title":"Modelling with Generalized Stochastic Petri Nets","year":"1995","author":"ajmone marsan","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/SIMSYM.1992.227562"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/12.247838"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.7148\/2007-0521"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1958746.1958754"},{"journal-title":"Coloured Petri Nets Basic Concepts Analysis Methods and Practical Use (vol 1 Abstract 3)","year":"1997","author":"jensen","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/32.541434"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/BF01439852"}],"event":{"name":"2012 Winter Simulation Conference - (WSC 2012)","start":{"date-parts":[[2012,12,9]]},"location":"Berlin, Germany","end":{"date-parts":[[2012,12,12]]}},"container-title":["Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6451330\/6464965\/06465256.pdf?arnumber=6465256","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T13:16:55Z","timestamp":1490188615000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6465256\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/wsc.2012.6465256","relation":{},"subject":[],"published":{"date-parts":[[2012,12]]}}}