{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:20:48Z","timestamp":1729614048115,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1109\/ramech.2008.4681511","type":"proceedings-article","created":{"date-parts":[[2008,11,25]],"date-time":"2008-11-25T11:27:43Z","timestamp":1227612463000},"page":"851-855","source":"Crossref","is-referenced-by-count":4,"title":["Toward developing a Decentralized Railway Signalling System Using Petri Nets"],"prefix":"10.1109","author":[{"given":"Xinhong","family":"Hei","sequence":"first","affiliation":[]},{"given":"Sei","family":"Takahashi","sequence":"additional","affiliation":[]},{"given":"Nakamura","family":"Hideo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1993.393454"},{"key":"11","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1007\/3-540-18086-9_23","article-title":"on petri nets with deterministic and exponentially distributed firing times","volume":"266","author":"marsan","year":"1987","journal-title":"Lecture Notes in Computer Science"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/RELDIS.1999.805092"},{"key":"2","first-page":"557","article-title":"improving reliability of railway interlocking system with component-based technology","volume":"28","author":"hei","year":"2006","journal-title":"Journal of Reliability Engineering Association of Japan"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TIA.1985.349503"},{"year":"2002","key":"10","article-title":"railway applications - communications, signalling and processing systems -software for railway control and protection systems"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(96)00162-8"},{"key":"6","first-page":"2100","article-title":"signalling: atsatc","year":"2001","journal-title":"Japan"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1147\/rd.62.0200"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919109"},{"year":"2002","key":"9","article-title":"railway applications -specification and demonstration of reliability, availability, maintainability and safety (rams)"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.2495\/CR060311"}],"event":{"name":"2008 IEEE Conference on Robotics, Automation and Mechatronics (RAM)","start":{"date-parts":[[2008,9,21]]},"location":"Chengdu, China","end":{"date-parts":[[2008,9,24]]}},"container-title":["2008 IEEE Conference on Robotics, Automation and Mechatronics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4664826\/4681306\/04681511.pdf?arnumber=4681511","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T09:59:42Z","timestamp":1497779982000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4681511\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/ramech.2008.4681511","relation":{},"subject":[],"published":{"date-parts":[[2008,9]]}}}