{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T20:53:50Z","timestamp":1648587230057},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2010,11,1]],"date-time":"2010-11-01T00:00:00Z","timestamp":1288569600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Autom. Comput."],"published-print":{"date-parts":[[2010,11]]},"DOI":"10.1007\/s11633-010-0536-2","type":"journal-article","created":{"date-parts":[[2010,11,10]],"date-time":"2010-11-10T11:02:31Z","timestamp":1289386951000},"page":"525-530","source":"Crossref","is-referenced-by-count":0,"title":["Modeling and analysis of scheduling for distributed real-time embedded systems"],"prefix":"10.1007","volume":"7","author":[{"given":"Hai-Tao","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gui-Fang","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,11,11]]},"reference":[{"issue":"3","key":"536_CR1","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1109\/5.558710","volume":"85","author":"S. Edwards","year":"1997","unstructured":"S. Edwards, L. Lavagno, E. A. Lee, A. Sangiovanni-Vincentelli. Design of embedded systems: Formal models, validation, and synthesis. Proceedings of the IEEE, vol. 85, no. 3, pp. 366\u2013390, 1997.","journal-title":"Proceedings of the IEEE"},{"key":"536_CR2","volume-title":"The Research of Real-time Scheduling for Distributed Embedded Systems","author":"H. Zhang","year":"2006","unstructured":"H. Zhang. The Research of Real-time Scheduling for Distributed Embedded Systems, Ph. D. dissertation, Institute of Automation, Chinese Academy of Sciences, PRC, 2006."},{"issue":"12\u201315","key":"536_CR3","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1016\/S1383-7621(03)00096-1","volume":"49","author":"L. A. Cort\u00e9s","year":"2003","unstructured":"L. A. Cort\u00e9s, P. Eles, Z. Peng. Modeling and formal verification of embedded systems based on a Petri net representation. Journal of Systems Architecture, vol. 49, no. 12\u201315, pp. 571\u2013598, 2003.","journal-title":"Journal of Systems Architecture"},{"key":"536_CR4","series-title":"Project MAC, Technology Report","volume-title":"Analysis of Asynchronous Concurrent Systems by Timed Petri Nets","author":"C. Ramchandani","year":"1974","unstructured":"C. Ramchandani. Analysis of Asynchronous Concurrent Systems by Timed Petri Nets, Project MAC, Technology Report No. 120, Massachusetts Institute of Technology, USA, 1974."},{"issue":"9","key":"536_CR5","doi-asserted-by":"crossref","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"P. Merlin","year":"1976","unstructured":"P. Merlin, D. J. Faber. Recoverability of communication protocols \u2014 Implications of a theoretical study. IEEE Transactions on Communications, vol. 24, no. 9, pp. 1036\u20131043, 1976.","journal-title":"IEEE Transactions on Communications"},{"key":"536_CR6","doi-asserted-by":"crossref","unstructured":"D. LIME, O. H. Roux. Expressiveness and analysis of scheduling extended time Petri nets. In Proceedings of the 5th IFAC International Conference on Fieldbus Systems and Their Applications, California, USA, pp. 193\u2013202, 2003.","DOI":"10.1016\/S1474-6670(17)32483-7"},{"key":"536_CR7","first-page":"846","volume-title":"Proceedings of the 24th International Conference on Distributed Computing Systems Workshops","author":"R. Barreto","year":"2004","unstructured":"R. Barreto, S. Cavalcante, P. Maciel. A time Petri net approach for finding pre-runtime schedules in embedded hard real-time systems. In Proceedings of the 24th International Conference on Distributed Computing Systems Workshops, IEEE, Washington, DC, USA pp. 846\u2013851, 2004."},{"key":"536_CR8","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1109\/WPDRTS.1995.470489","volume-title":"Proceedings of the 3rd Workshop on Parallel and Distributed Real-time Systems","author":"Y. Okawa","year":"1995","unstructured":"Y. Okawa, T. Yoneda. Verification of schedulability of realtime systems with extended time Petri nets. In Proceedings of the 3rd Workshop on Parallel and Distributed Real-time Systems, IEEE, Washington, DC, USA, pp. 185\u2013192, 1995."},{"key":"536_CR9","first-page":"64","volume-title":"Proceedings of the 7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems","author":"M. Naedele","year":"2000","unstructured":"M. Naedele. Modeling and simulating functional and timing aspects of real-time systems by delegated execution. In Proceedings of the 7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems, IEEE, Washington, DC, USA, pp. 64\u201372, 2000."},{"issue":"7","key":"536_CR10","first-page":"973","volume":"36","author":"O. H. Roux","year":"2002","unstructured":"O. H. Roux, A. M. D\u00e9planche. A T-time Petri net extension for real-time task scheduling modeling. European Journal of Automation, vol. 36, no. 7, pp. 973\u2013987, 2002.","journal-title":"European Journal of Automation"},{"issue":"18","key":"536_CR11","first-page":"6","volume":"32","author":"H. T. Zhang","year":"2006","unstructured":"H. T. Zhang, Y. F. Ai. Scheduling modeling based on Petri nets for distributed real-time embedded systems. Computer Engineering, vol. 32, no. 18, pp. 6\u20138, 2006. (in Chinese)","journal-title":"Computer Engineering"},{"issue":"3","key":"536_CR12","first-page":"616","volume":"37","author":"H. T. Zhang","year":"2007","unstructured":"H. T. Zhang, Y. F. Ai. Research of scheduling analysis based on Petri nets for distributed real-time embedded systems. Journal of Jilin University of China (Engineering and Technology Edition), vol. 37, no. 3, pp. 616\u2013620, 2007. (in Chinese)","journal-title":"Journal of Jilin University of China (Engineering and Technology Edition)"},{"issue":"3","key":"536_CR13","first-page":"489","volume":"36","author":"H. T. Zhang","year":"2007","unstructured":"H. T. Zhang, Y. F. Ai. An algorithm of scheduling analysis for distributed real-time embedded systems. Journal of University of Electronic Science and Technology of China, vol. 36, no. 3, pp. 489\u2013492, 2007. (in Chinese)","journal-title":"Journal of University of Electronic Science and Technology of China"},{"key":"536_CR14","first-page":"1","volume-title":"Proceedings of the 2nd IEEE\/ASME International Conference on Mechatronic and Embedded Systems and Applications","author":"H. T. Zhang","year":"2005","unstructured":"H. T. Zhang, Y. F. Ai. Time analysis of scheduling sequences based on Petri nets for distributed real-time embedded systems. In Proceedings of the 2nd IEEE\/ASME International Conference on Mechatronic and Embedded Systems and Applications, IEEE, Piscataway, USA, pp. 1\u20135, 2005."},{"issue":"10","key":"536_CR15","doi-asserted-by":"crossref","first-page":"984","DOI":"10.1109\/TSE.2002.1041054","volume":"28","author":"D. X. Xu","year":"2002","unstructured":"D. X. Xu, X. He, Y. Deng. Compositional schedulability analysis of real-time systems using time Petri nets. IEEE Transactions on Software Engineering, vol. 28, no. 10, pp. 984\u2013996, 2002.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["International Journal of Automation and Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11633-010-0536-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11633-010-0536-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11633-010-0536-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T14:46:38Z","timestamp":1559400398000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11633-010-0536-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11]]},"references-count":15,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,11]]}},"alternative-id":["536"],"URL":"https:\/\/doi.org\/10.1007\/s11633-010-0536-2","relation":{},"ISSN":["1476-8186","1751-8520"],"issn-type":[{"value":"1476-8186","type":"print"},{"value":"1751-8520","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,11]]}}}