{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:31:59Z","timestamp":1729650719332,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,11]]},"DOI":"10.1109\/isda.2010.5687271","type":"proceedings-article","created":{"date-parts":[[2011,1,13]],"date-time":"2011-01-13T16:33:25Z","timestamp":1294936405000},"page":"176-181","source":"Crossref","is-referenced-by-count":1,"title":["Performance analysis of processes by automated simulation of Coloured Petri nets"],"prefix":"10.1109","author":[{"given":"Stefan","family":"Korecko","sequence":"first","affiliation":[]},{"given":"Branislav","family":"Sobota","sequence":"additional","affiliation":[]},{"given":"Csaba","family":"Szabo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/11767589_26"},{"year":"0","key":"ref11"},{"year":"0","key":"ref12"},{"year":"0","key":"ref13"},{"year":"0","key":"ref14"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","article-title":"Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems","volume":"9","author":"jensen","year":"2007","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/b95112"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref5","first-page":"87","article-title":"Evaluation of Parallel Raytracing Strategy Improvements by Petri Nets","volume":"3","author":"kore?ko","year":"2010","journal-title":"Journal of Computer Science and Control Systems"},{"key":"ref8","article-title":"The BRITNeY Suite: A Platform for Experiments","author":"westergaard","year":"2006","journal-title":"Proc of Seventh Workshop on Practical Use of Coloured Petri Nets and the CPN Tools"},{"key":"ref7","first-page":"62","article-title":"High-resolution visualisation in cluster environment","author":"sobota","year":"2008","journal-title":"Proc of Grid Computing for Complex Problem 2008 (GCCP 2008) Institute of Informatics of Slovak Academy of Sciences"},{"journal-title":"Stochastic Petri Nets Modelling Stability Simulation","year":"2002","author":"haas","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(98)00005-4"},{"key":"ref9","first-page":"313","article-title":"The Access\/CPN Framework: A Tool for Interacting with the CPN Tools Simulator","volume":"5606","author":"westergaard","year":"2009","journal-title":"Proc of ICATPN 2009 LCNS"}],"event":{"name":"2010 10th International Conference on Intelligent Systems Design and Applications (ISDA)","start":{"date-parts":[[2010,11,29]]},"location":"Cairo, Egypt","end":{"date-parts":[[2010,12,1]]}},"container-title":["2010 10th International Conference on Intelligent Systems Design and Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5681599\/5687016\/05687271.pdf?arnumber=5687271","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T14:20:11Z","timestamp":1497882011000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5687271\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/isda.2010.5687271","relation":{},"subject":[],"published":{"date-parts":[[2010,11]]}}}