{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T19:11:38Z","timestamp":1742929898659,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030311285"},{"type":"electronic","value":"9783030311292"}],"license":[{"start":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T00:00:00Z","timestamp":1569974400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-31129-2_57","type":"book-chapter","created":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T18:04:51Z","timestamp":1569953091000},"page":"621-631","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Orbital Petri Nets: A Petri Net Class for Studying Orbital Motion of Tokens"],"prefix":"10.1007","author":[{"given":"Mohamed","family":"Torky","sequence":"first","affiliation":[]},{"given":"A. E.","family":"Hassanein","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,10,2]]},"reference":[{"issue":"4","key":"57_CR1","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"57_CR2","volume-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use","author":"K Jensen","year":"2013","unstructured":"Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Springer, Heidelberg (2013)"},{"issue":"4","key":"57_CR3","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF01540160","volume":"18","author":"WM Aalst Van der","year":"1996","unstructured":"Van der Aalst, W.M.: Petri net based scheduling. Oper. Res. Spektrum 18(4), 219\u2013229 (1996)","journal-title":"Oper. Res. Spektrum"},{"issue":"60","key":"57_CR4","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.engappai.2017.01.012","volume":"1","author":"HC Liu","year":"2017","unstructured":"Liu, H.C., You, J.X., Li, Z., Tian, G.: Fuzzy Petri nets for knowledge representation and reasoning: a literature review. Eng. Appl. Artif. Intell. 1(60), 45\u201356 (2017)","journal-title":"Eng. Appl. Artif. Intell."},{"issue":"4","key":"57_CR5","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1109\/TSMC.2015.2433892","volume":"46","author":"Z Ding","year":"2016","unstructured":"Ding, Z., Zhou, Y., Zhou, M.: Modeling self-adaptive software systems with learning Petri nets. IEEE Trans. Syst. Man Cybern. Syst. 46(4), 483\u2013498 (2016)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"issue":"3","key":"57_CR6","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1109\/TSMC.2014.2347267","volume":"45","author":"H Liu","year":"2015","unstructured":"Liu, H., Xing, K., Wu, W., Zhou, M., Zou, H.: Deadlock prevention for flexible manufacturing systems via controllable siphon basis of Petri nets. IEEE Trans. Syst. Man Cybern. Syst. 45(3), 519\u2013529 (2015)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"issue":"1","key":"57_CR7","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1109\/TASE.2013.2285574","volume":"12","author":"Z Ding","year":"2015","unstructured":"Ding, Z., Zhou, Y., Zhou, M.: A polynomial algorithm to performance analysis of concurrent systems via Petri nets and ordinary differential equations. IEEE Trans. Autom. Sci. Eng. 12(1), 295\u2013308 (2015)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"issue":"6","key":"57_CR8","doi-asserted-by":"publisher","first-page":"955","DOI":"10.1109\/TSMC.2014.2373316","volume":"45","author":"J Ye","year":"2015","unstructured":"Ye, J., Li, Z., Giua, A.: Decentralized supervision of Petri nets with a coordinator. IEEE Trans. Syst. Man Cybern. Syst. 45(6), 955\u2013966 (2015)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"issue":"5","key":"57_CR9","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1109\/TSMC.2014.2376471","volume":"45","author":"OT Baruwa","year":"2015","unstructured":"Baruwa, O.T., Piera, M.A., Guasch, A.: Deadlock-free scheduling method for flexible manufacturing systems based on timed colored Petri nets and anytime heuristic search. IEEE Trans. Syst. Man Cybern. Syst. 45(5), 831\u2013846 (2015)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"issue":"5","key":"57_CR10","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1109\/3477.875449","volume":"30","author":"Y Zhou","year":"2000","unstructured":"Zhou, Y., Murata, T., DeFanti, T.A.: Modeling and performance analysis using extended fuzzy-timing Petri nets for networked virtual environments. IEEE Trans. Syst. Man Cybern. Part B (Cybern.) 30(5), 737\u2013756 (2000)","journal-title":"IEEE Trans. Syst. Man Cybern. Part B (Cybern.)"},{"issue":"2","key":"57_CR11","doi-asserted-by":"publisher","first-page":"594","DOI":"10.1109\/TASE.2013.2253552","volume":"11","author":"Y Du","year":"2014","unstructured":"Du, Y., Tan, W., Zhou, M.: Timed compatibility analysis of web service composition: a modular approach based on Petri nets. IEEE Trans. Autom. Sci. Eng. 11(2), 594\u2013606 (2014)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"issue":"2","key":"57_CR12","doi-asserted-by":"publisher","first-page":"530","DOI":"10.1109\/TITS.2013.2283034","volume":"15","author":"YS Huang","year":"2014","unstructured":"Huang, Y.S., Weng, Y.S., Zhou, M.: Modular design of urban traffic-light control systems based on synchronized timed Petri nets. IEEE Trans. Intell. Transp. Syst. 15(2), 530\u2013539 (2014)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"issue":"3","key":"57_CR13","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1109\/TSMC.2013.2248358","volume":"44","author":"W Yu","year":"2014","unstructured":"Yu, W., Yan, C., Ding, Z., Jiang, C., Zhou, M.: Modeling and validating e-commerce business process based on Petri nets. IEEE Trans. Syst. Man Cybern. Syst. 44(3), 327\u2013341 (2014)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"issue":"53","key":"57_CR14","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/j.compbiomed.2014.07.004","volume":"1","author":"F Liu","year":"2014","unstructured":"Liu, F., Bl\u00e4tke, M.A., Heiner, M., Yang, M.: Modelling and simulating reaction-diffusion systems using coloured Petri nets. Comput. Biol. Med. 1(53), 297\u2013308 (2014)","journal-title":"Comput. Biol. Med."},{"key":"57_CR15","doi-asserted-by":"crossref","unstructured":"Bonilla, B.L., Asada, H.H.: A robot on the shoulder: coordinated human-wearable robot control using coloured petri nets and partial least squares predictions. In: 2014 IEEE International Conference on Robotics and Automation (ICRA), pp. 119\u2013125. IEEE, 31 May 2014","DOI":"10.1109\/ICRA.2014.6906598"},{"key":"57_CR16","unstructured":"Teslyuk, V.M., Beregovskyi, V.V., Pukach, A.I.: Development of smart house system model based on colored Petri nets. In: 2013 XVIIIth International Seminar\/Workshop on Direct and Inverse Problems of Electromagnetic and Acoustic Wave Theory (DIPED), pp. 205\u2013208. IEEE, 23 September 2013"},{"issue":"221","key":"57_CR17","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1016\/j.ins.2012.09.027","volume":"1","author":"H Huang","year":"2013","unstructured":"Huang, H., Kirchner, H.: Secure interoperation design in multi-domains environments based on colored Petri nets. Inf. Sci. 1(221), 591\u2013606 (2013)","journal-title":"Inf. Sci."},{"key":"57_CR18","unstructured":"Liou, J.C., Johnson, N.L., Hill, N.M.: Stabilizing the future LEO debris environment with active debris removal. Orbital Debris Quarterly News 12(4), 5\u20136 (2008)"},{"issue":"1\u20132","key":"57_CR19","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/j.actaastro.2009.01.041","volume":"65","author":"SI Nishida","year":"2009","unstructured":"Nishida, S.I., Kawamoto, S., Okawa, Y., Terui, F., Kitamura, S.: Space debris removal system using a small satellite. Acta Astronaut. 65(1\u20132), 95\u2013102 (2009)","journal-title":"Acta Astronaut."},{"key":"57_CR20","unstructured":"Than, K.: Taking out the space trash. Popular Sciences, 27 June 2008"},{"key":"57_CR21","unstructured":"Klotz, I.: Debris briefly forces astronauts from space station. Reuters, 12 March 2009"},{"key":"57_CR22","unstructured":"Burger, B.: NASA\u2019s Terra Satellite Moved to Avoid Chinese ASAT Debris. Space.com Site: \n                    www.space.com\/news\/070706-sn-china-terra.html"}],"container-title":["Advances in Intelligent Systems and Computing","Proceedings of the International Conference on Advanced Intelligent Systems and Informatics 2019"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-31129-2_57","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T01:53:52Z","timestamp":1569981232000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-31129-2_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,2]]},"ISBN":["9783030311285","9783030311292"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-31129-2_57","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2019,10,2]]},"assertion":[{"value":"2 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AISI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Advanced Intelligent Systems and Informatics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cairo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Egypt","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aisi2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/egyptscience.net\/AISI2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}