{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T13:01:43Z","timestamp":1730293303679,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/robot.2002.1014377","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T21:52:33Z","timestamp":1056577953000},"page":"4065-4070","source":"Crossref","is-referenced-by-count":0,"title":["Automatic composition of timed Petri net specifications for a real-time architecture"],"prefix":"10.1109","volume":"4","author":[{"given":"J.","family":"Richling","sequence":"first","affiliation":[]},{"given":"M.","family":"Werner","sequence":"additional","affiliation":[]},{"given":"L.","family":"Popova-Zeugmann","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Komponierbare Echtzeitsysteme - Entwurfsmethode und Architekturentwurf","author":"richling","year":"1999","journal-title":"Tech Rep Informatik Bericht 127 Institut für Informatik"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"journal-title":"Object Management Group The Common Object Request Broker Architecture and Specification","year":"1995","key":"ref12"},{"key":"ref13","article-title":"Analysis of Asynchronous Concurrent Systems by Timed Petri Nets","author":"ramchandani","year":"1974","journal-title":"Project MAC-TR 120 MIT"},{"journal-title":"INA-Integmted Net Analyzer Berlin","year":"1997","author":"starke","key":"ref14"},{"key":"ref4","article-title":"Analysis and formal verification of SDL'92","author":"fischer","year":"1995","journal-title":"Informatik-Bericht 43"},{"journal-title":"Using Formal Description Techniques","year":"1993","author":"turner","key":"ref3"},{"key":"ref6","first-page":"81","article-title":"Perti net based design and implementation methodology for discrete event control systems","author":"bulach","year":"2001","journal-title":"LNCS 2075"},{"key":"ref5","first-page":"viii.1","article-title":"Constructing systems from parts: What students should learn about software architecture","author":"shaw","year":"1998","journal-title":"Software architecture and design"},{"key":"ref8","first-page":"1","article-title":"Petri nets as token objects: An introduction to elementary obiect nets","author":"falk","year":"1998","journal-title":"LNCS 1420"},{"key":"ref7","first-page":"224","article-title":"Modelling the structure and behaviour of perti nets agents","author":"kohler","year":"2001","journal-title":"LNCS 2075"},{"key":"ref2","article-title":"Verification of non-functional properties of a composable architecture with petrinets","author":"richling","year":"2001","journal-title":"Proceedings of the CS&P '2001 Workshop"},{"key":"ref1","first-page":"2143","article-title":"Message Scheduled System - A Composable Architecture for Embedded Real-Time-Systems","volume":"4","author":"richling","year":"2000","journal-title":"Prooceedings of 2000 Int Conference on Parallel and Distributed Processing techniques and Applications (PDPTA 2000)"},{"key":"ref9","article-title":"Petri net based software validation","author":"heiner","year":"1992","journal-title":"Tech Rep TR-92-022"}],"event":{"name":"2002 IEEE International Conference on Robotics and Automation","acronym":"ROBOT-02","location":"Washington, DC, USA"},"container-title":["Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7916\/21828\/01014377.pdf?arnumber=1014377","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,10]],"date-time":"2017-03-10T16:45:26Z","timestamp":1489164326000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1014377\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/robot.2002.1014377","relation":{},"subject":[]}}