{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:17:10Z","timestamp":1725535030529},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1109\/is.2010.5548382","type":"proceedings-article","created":{"date-parts":[[2010,8,19]],"date-time":"2010-08-19T14:51:46Z","timestamp":1282229506000},"page":"414-419","source":"Crossref","is-referenced-by-count":2,"title":["Optimization of production in an autonomous robot served manufacturing facility"],"prefix":"10.1109","author":[{"given":"Evelina","family":"Koycheva","sequence":"first","affiliation":[]},{"given":"Annerose","family":"Braune","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Hennig","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Lego Mindstroms NXT Official","year":"0","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1142\/1357"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03241-1","article-title":"Coloured Petri Nets","author":"jensen","year":"1996"},{"journal-title":"The NxtOSEK Project","year":"0","key":"ref6"},{"key":"ref11","article-title":"Fast Bounds for Stochastic Petri Nets","author":"molloy","year":"1985","journal-title":"Proceedings of the International Workshop on Timed Petri Nets"},{"journal-title":"Lejos Java for Ledo Mindstorms","year":"0","key":"ref5"},{"journal-title":"OpenArchitectureWare","year":"0","key":"ref12"},{"journal-title":"formal\/06–05–01","article-title":"Object Constraint Language, v2.0","year":"2006","key":"ref8"},{"key":"ref7","article-title":"The use of generalized nets within tasks of software performance engineering","author":"schmietendorf","year":"2001","journal-title":"Proc of the Second International Workshop on Generalized Nets S 1–12"},{"year":"0","key":"ref2","article-title":"The OMG MARTE Profile"},{"key":"ref9","article-title":"Analysis of asynchronous concurrent systems by timed Petri nets","author":"ramchandani","year":"1974","journal-title":"Project MAC Technical Report MAC-TR-120"},{"journal-title":"formal\/2009-02-02","article-title":"UML 2.2 Superstucture Specification","year":"2009","key":"ref1"}],"event":{"name":"2010 5th IEEE International Conference Intelligent Systems (IS)","start":{"date-parts":[[2010,7,7]]},"location":"London, United Kingdom","end":{"date-parts":[[2010,7,9]]}},"container-title":["2010 5th IEEE International Conference Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5540657\/5548318\/05548382.pdf?arnumber=5548382","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T12:52:52Z","timestamp":1497876772000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5548382\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/is.2010.5548382","relation":{},"subject":[],"published":{"date-parts":[[2010,7]]}}}