{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:08:33Z","timestamp":1729624113223,"version":"3.28.0"},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1109\/mmar.2013.6670013","type":"proceedings-article","created":{"date-parts":[[2014,9,26]],"date-time":"2014-09-26T19:39:45Z","timestamp":1411760385000},"page":"789-793","source":"Crossref","is-referenced-by-count":1,"title":["Modeling discrete-event systems with constraints"],"prefix":"10.1109","author":[{"given":"Lothar","family":"Seybold","sequence":"first","affiliation":[]},{"given":"Piotr","family":"Witczak","sequence":"additional","affiliation":[]},{"given":"Pawel","family":"Majdzik","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/71.180623"},{"key":"2","article-title":"Discrete state systems","author":"cassandras","year":"1993","journal-title":"Performance Modeling and Analysis"},{"key":"1","article-title":"Synchronization and linearity","author":"baccelli","year":"1992","journal-title":"An algebra for Discrete Event Systems"},{"key":"7","doi-asserted-by":"crossref","first-page":"659","DOI":"10.2478\/v10006-011-0052-8","article-title":"Optimization-based approach to path planning for closed chain robot systems","volume":"21","author":"blaszczyk","year":"2011","journal-title":"Int J Appl Math Comput Sci"},{"key":"6","first-page":"281","article-title":"An automatic synthesis of performance models for systems of concurrent cyclic processes","author":"banaszak","year":"2004","journal-title":"Proc of the 15th Int Conference on System Science Wroclaw Poland"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/9.8644"},{"key":"4","first-page":"269","article-title":"The performance evaluation tool for automated prototyping of concurrent cyclic processes","volume":"60","author":"polak","year":"2004","journal-title":"Fundamenta Informaticae"},{"key":"8","doi-asserted-by":"crossref","first-page":"183","DOI":"10.2478\/amcs-2013-0015","article-title":"An autonomous vehicle swquencing problem at intersections","volume":"23","author":"moudni","year":"2013","journal-title":"Int J Appl Math Comput Sci"}],"event":{"name":"2013 18th International Conference on Methods & Models in Automation & Robotics (MMAR)","start":{"date-parts":[[2013,8,26]]},"location":"Miedzyzdroje","end":{"date-parts":[[2013,8,29]]}},"container-title":["2013 18th International Conference on Methods & Models in Automation & Robotics (MMAR)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6661475\/6669870\/06670013.pdf?arnumber=6670013","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,15]],"date-time":"2019-08-15T13:34:38Z","timestamp":1565876078000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6670013\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/mmar.2013.6670013","relation":{},"subject":[],"published":{"date-parts":[[2013,8]]}}}