{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T05:55:44Z","timestamp":1774936544190,"version":"3.50.1"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1109\/fdl.2016.7880372","type":"proceedings-article","created":{"date-parts":[[2017,3,27]],"date-time":"2017-03-27T22:57:49Z","timestamp":1490655469000},"page":"1-8","source":"Crossref","is-referenced-by-count":17,"title":["Compositional specification of functionality and timing of manufacturing systems"],"prefix":"10.1109","author":[{"given":"Bram","family":"van der Sanden","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joao","family":"Bastos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeroen","family":"Voeten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Geilen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel","family":"Reniers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Twan","family":"Basten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johan","family":"Jacobs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramon","family":"Schiffelers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2067250"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.927679"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_48"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2015.7340475"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"ref16","first-page":"44","article-title":"Heuristic methods for solving job-shop scheduling problems","author":"garrido","year":"2000","journal-title":"Proc ECAI-2000 Workshop on New Results in Planning Scheduling and Design"},{"key":"ref17","first-page":"121","article-title":"Computer Aided Verification: 19th Int. Conf., CAV 2007","author":"behrmann","year":"2007","journal-title":"Proc Berlin Heidelberg Springer Berlin Heidelberg 2007 ch UPPAAL-Tiga Time for Playing Games!"},{"key":"ref18","first-page":"423","article-title":"Computer Aided Verification: 7th Int. Conf., CAV '95 Liège","author":"hulgaard","year":"1995","journal-title":"Proc Berlin Heidelberg Springer Berlin Heidelberg 1995 ch Efficient timing analysis of a class of Petri nets"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2011.15"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1027084.1027085"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/9.478227"},{"key":"ref6","first-page":"16:1","article-title":"Synchronous dataflow scenarios","volume":"10","author":"geilen","year":"2011","journal-title":"ACM Trans Embed Comput Syst"},{"key":"ref5","first-page":"226","author":"rensink","year":"1994","journal-title":"Weak Sequential Composition in Process Algebras"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1878961.1878985"},{"key":"ref2","author":"baccelli","year":"1992","journal-title":"Synchronization and Linearity An Algebra for Discrete Event Systems"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2015.7338273"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref20","first-page":"169","author":"bochmann","year":"2008","journal-title":"Testing Systems Specified as Partial Order Input\/Output Automata"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717095"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434894"}],"event":{"name":"2016 Forum on Specification and Design Languages (FDL)","location":"Bremen, Germany","start":{"date-parts":[[2016,9,14]]},"end":{"date-parts":[[2016,9,16]]}},"container-title":["2016 Forum on Specification and Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7879501\/7880364\/07880372.pdf?arnumber=7880372","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,4,18]],"date-time":"2017-04-18T06:48:45Z","timestamp":1492498125000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7880372\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/fdl.2016.7880372","relation":{},"subject":[],"published":{"date-parts":[[2016,9]]}}}