{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T19:42:44Z","timestamp":1649014964702},"reference-count":14,"publisher":"International Academy Publishing (IAP)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JCP"],"DOI":"10.4304\/jcp.9.2.499-505","type":"journal-article","created":{"date-parts":[[2014,2,18]],"date-time":"2014-02-18T17:06:03Z","timestamp":1392743163000},"source":"Crossref","is-referenced-by-count":1,"title":["Modeling and Analysis for CPS Physical Entities Based on Spatio-Temporal Petri Net"],"prefix":"10.17706","volume":"9","author":[{"given":"Guangquan","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Mingtai","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Rongjie","family":"Yan","sequence":"additional","affiliation":[]},{"given":"Mingcai","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Chengkai","family":"Xu","sequence":"additional","affiliation":[]},{"given":"Yejing","family":"Li","sequence":"additional","affiliation":[]}],"member":"7163","published-online":{"date-parts":[[2014,2,1]]},"reference":[{"issue":"3","key":"ref1","first-page":"3","article-title":"Dumitrache.ICyber-Physical Systems-New Challenges for Science and Technology.","volume":"13","year":"2011","unstructured":"[1] Dumitrache.ICyber-Physical Systems-New Challenges for Science and Technology. Control Engineering and Applied Informatics, 2011, 13(3):3-4.","journal-title":"Control Engineering and Applied Informatics"},{"key":"ref2","first-page":"495","article-title":"Secure control: towards survivable Cyber-Physical Systems.","volume-title":"Proceedings of the 28th International Conference on Distributed Computing Systems (ICDCS 08)","author":"Cardenas","year":"2008","unstructured":"[2] Cardenas A A, Amin S, Sastry S. Secure control: towards survivable Cyber-Physical Systems. Proceedings of the 28th International Conference on Distributed Computing Systems (ICDCS'08), Jun 17-20, 2008, Beijing, China. Piscataway, NJ, USA: IEEE, 2008: 495-500."},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1366283.1366294"},{"key":"ref4","article-title":"Wu Lei. Introduction to the Next-Generation Network And Related Compatibility.","volume-title":"Proc of 4th Asia-Pacific Conference on Environmental Electromagnetics","year":"2006","unstructured":"[4] Song Xiao-ting, Wu Lei. Introduction to the Next-Generation Network And Related Compatibility. Proc of 4th Asia-Pacific Conference on Environmental Electromagnetics, August 2006."},{"key":"ref5","first-page":"363","article-title":"Lee,\u3000Cyber\u3000Physical\u3000Systems:\u3000Design Challenges.","volume-title":"11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC)","author":"Edward","year":"2008","unstructured":"[5] Edward\u3000A.\u3000Lee,\u3000Cyber\u3000Physical\u3000Systems:\u3000Design Challenges.11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), Orlando, FL, May 2008, pp: 363-369."},{"key":"ref6","first-page":"737","article-title":"Lee. CPS Foundations.","volume-title":"47th ACM\/IEEE Design Automation Conference (DAC)","author":"Edward","year":"2010","unstructured":"[6] Edward A. Lee. CPS Foundations. 47th ACM\/IEEE Design Automation Conference (DAC), 2010, pp:737 \u2013 742."},{"key":"ref7","volume-title":"Kommunikation mit automaten","author":"Petri","year":"1962","unstructured":"[8] Petri C A. Kommunikation mit automaten.Bonn, West Germany: University of Bonn, 1962."},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"ref9","first-page":"171","volume-title":"From CSP to Hybrid System In a Classical Mind Essays in Honour of C A R Hoare","author":"Jifeng","year":"1994","unstructured":"[12] He Jifeng. From CSP to Hybrid System, In a Classical Mind, Essays in Honour of C.A.R. Hoare, Springer Verlag, 1994, 171-189."},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref11","volume-title":"Embeded System Design","author":"Peter","year":"2010","unstructured":"[15] Peter M. Embeded System Design: embedded systems foundations of Cyber-Physical Systems. Springer, 2010."},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.6.1.19-27"},{"issue":"4","key":"ref13","first-page":"516","article-title":"Modeling and performance evaluation of service choreography based on stochastic Petri net.","volume":"5","author":"Dong","year":"2011","unstructured":"[17] Yuxiang Dong, Yunni Xia, Tianhao Sun, Qingsheng Zhu. Modeling and performance evaluation of service choreography based on stochastic Petri net. Journal of Computers, 2011, 5(4): 516-523.","journal-title":"Journal of Computers"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.4.9.829-836"}],"container-title":["Journal of Computers"],"original-title":[],"deposited":{"date-parts":[[2015,9,15]],"date-time":"2015-09-15T15:15:46Z","timestamp":1442330146000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jcp\/article\/view\/12010"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2,1]]},"references-count":14,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2014,2,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jcp.9.2.499-505","relation":{},"ISSN":["1796-203X"],"issn-type":[{"value":"1796-203X","type":"print"}],"subject":[],"published":{"date-parts":[[2014,2,1]]}}}