{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:09:32Z","timestamp":1729634972798,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/cscwd.2013.6580942","type":"proceedings-article","created":{"date-parts":[[2013,8,28]],"date-time":"2013-08-28T21:12:13Z","timestamp":1377724333000},"page":"72-77","source":"Crossref","is-referenced-by-count":3,"title":["Simulation of CTCS-3 protocol with temporal logic programming"],"prefix":"10.1109","author":[{"given":"Peng","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenhua","family":"Duan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cong","family":"Tian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"Coloured petri nets and cpn tools for modelling and validation of concurrent systems","volume":"9","author":"jensen","year":"2007","journal-title":"International Journal on Software Tools for Technol-ogy Transfer"},{"key":"22","article-title":"A compositional model of timed petri nets","author":"koutney","year":"2000","journal-title":"Proceedings of ICATPN 2000"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2005.24"},{"key":"23","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/3-540-58216-9_48","article-title":"Projection in temporal logic programming","author":"duan","year":"1994","journal-title":"Proceedings of Logic Programming and Automatic Reasoning"},{"key":"18","first-page":"105","article-title":"Technical issues in modeling the european train control system","author":"jansen","year":"1998","journal-title":"Proc 1st CPN Workshop DAIMIPB532"},{"journal-title":"ERTMS\/ETCS Functional Requirements Specification FRS V 4 29 UIC","year":"1999","key":"15"},{"key":"16","first-page":"13","author":"guo","year":"2009","journal-title":"Design and Implementation of Radio Block Center in Highspeed Railway"},{"key":"13","first-page":"22","volume":"78","author":"yang","year":"2008","journal-title":"Operational Semantics of Framed Tempura"},{"key":"14","article-title":"Electric railway traction Part 5 Train detection, communication and supervision","author":"ill","year":"1996","journal-title":"Power Engineering Journal"},{"key":"11","first-page":"316","article-title":"LTLC: Linear temporal logic for control","author":"kwon","year":"2008","journal-title":"Hybrid Systems Computation and Control (HSCC) Volume 4981 of Lecture Notes in Computer Science"},{"journal-title":"Temporal Logic and Temporal Logic Programming Science Press","year":"2005","author":"duan","key":"12"},{"journal-title":"Synthesis of Petri Nets with Localities Sci Ann Comp Sci 19 1C23","year":"2009","author":"koutney","key":"21"},{"key":"3","first-page":"488","article-title":"Build and encapsulate custom block in simulink","volume":"3","author":"hu","year":"2004","journal-title":"Acta Simulata Systematica Sinica"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-84524-6"},{"key":"2","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1023\/B:ALOG.0000016643.65431.b8","article-title":"Programmable analog\/digital arrays in control and simulation","volume":"39","author":"znamirowski","year":"2004","journal-title":"Analog Integrated Circuits and Signal Processing"},{"journal-title":"Overall Technical Program of the CTCS-3","year":"2008","author":"zhang","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.09.001"},{"journal-title":"An Extended Interval Temporal Logic and A Framing Technique for Temporal Logic Programming","year":"1996","author":"duan","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-76767-3_3"},{"journal-title":"Digital VLSI Systems Design","article-title":"Simulation of designs c modelsim tool","year":"2007","key":"5"},{"key":"4","first-page":"1234","article-title":"Simulink simulation of computer interface circuit","volume":"6","author":"ye","year":"2007","journal-title":"Acta Simulata Systematica Sinica"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/11562931_27"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/BF02944904"}],"event":{"name":"2013 IEEE 17th International Conference on Computer Supported Cooperative Work in Design (CSCWD)","start":{"date-parts":[[2013,6,27]]},"location":"Whistler, BC, Canada","end":{"date-parts":[[2013,6,29]]}},"container-title":["Proceedings of the 2013 IEEE 17th International Conference on Computer Supported Cooperative Work in Design (CSCWD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6573246\/6580921\/06580942.pdf?arnumber=6580942","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T20:53:19Z","timestamp":1498078399000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6580942\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/cscwd.2013.6580942","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}