{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T01:34:47Z","timestamp":1730252087621,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,4]]},"DOI":"10.1109\/icnsc.2008.4525184","type":"proceedings-article","created":{"date-parts":[[2008,5,20]],"date-time":"2008-05-20T20:11:19Z","timestamp":1211314279000},"page":"61-66","source":"Crossref","is-referenced-by-count":1,"title":["Study of DoD Architecture Simulation Validation based on UML and Extended Colored Petri Nets"],"prefix":"10.1109","author":[{"given":"Bai","family":"Xiao-li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luo","family":"Xue-shan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bai","family":"Xiao-hui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi","family":"Xian-qing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chen","family":"Hong-hui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guo","family":"De-ke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1002\/1520-6858(2000)3:4<288::AID-SYS6>3.0.CO;2-F"},{"article-title":"Building Executable Architectures of Net Enabled Operations Using State Machines to Simulate Concurrent Activities","volume-title":"2005 Command and Control Research and Technology Symposium","author":"Funk","key":"ref2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.21236\/ada465668"},{"issue":"1","key":"ref4","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1002\/sys.10033","article-title":"Using Objected-Orientedand UML Tools for HardwareDesign: A Case Study [J]","volume":"6","author":"Bahill","year":"2003","journal-title":"Systems Engineering"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60794-3"},{"key":"ref6","article-title":"DoD Architecture Framework Working Group. DoD Architecture Framework Version 1.0","volume-title":"Product Descriptions[R]","volume":"II","year":"2004"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/3477.875448"},{"issue":"4","key":"ref8","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1002\/sys.10053","article-title":"UML 2 Activity Model Support for Systems Engineering Functional Flow Diagrams [J]","volume":"6","author":"Bock","year":"2003","journal-title":"Systems Engineering"},{"article-title":"Executable Architectures for Modeling Command and Control Processes[C]","volume-title":"2006 Command and Control Research and Technology Symposium","author":"Jason","key":"ref9"},{"article-title":"Validating DoD Architectures: The Promise of Systems Engineering[C]","volume-title":"2006 Command and Control Research and Technology Symposium","author":"Reynolds","key":"ref10"}],"event":{"name":"2008 IEEE International Conference on Networking, Sensing and Control (ICNSC)","start":{"date-parts":[[2008,4,6]]},"location":"Sanya, China","end":{"date-parts":[[2008,4,8]]}},"container-title":["2008 IEEE International Conference on Networking, Sensing and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4489617\/4525150\/04525184.pdf?arnumber=4525184","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T22:24:59Z","timestamp":1706048699000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4525184\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/icnsc.2008.4525184","relation":{},"subject":[],"published":{"date-parts":[[2008,4]]}}}