{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T04:46:14Z","timestamp":1726029974428},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319961538"},{"type":"electronic","value":"9783319961545"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-319-96154-5_15","type":"book-chapter","created":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T09:09:17Z","timestamp":1558688957000},"page":"111-115","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Personal Journey in Petri Net Research"],"prefix":"10.1007","author":[{"given":"Xudong","family":"He","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,25]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"W. Reisig, Petri nets in software engineering, in Petri Nets: Applications and Relationships to Other Models of Concurrency, ed. by W. Brauer, W. Reisig, G. Rozenberg. LNCS, vol. 255 (Springer, Berlin, 1986), pp. 63\u201396","DOI":"10.1007\/3-540-17906-2_22"},{"issue":"1","key":"15_CR2","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"HJ Genrich","year":"1981","unstructured":"H.J. Genrich, K. Lautenbach, System modeling with high level Petri nets. Theor. Comput. Sci. 13(1), 109\u2013136 (1981)","journal-title":"Theor. Comput. Sci."},{"issue":"8","key":"15_CR3","doi-asserted-by":"publisher","first-page":"845","DOI":"10.1002\/spe.4380210806","volume":"21","author":"X He","year":"1991","unstructured":"X. He, I.A.N. Lee, A methodology for constructing predicate transition net specifications. Softw. Pract. Exper. 21(8), 845\u2013875 (1991)","journal-title":"Softw. Pract. Exper."},{"issue":"3","key":"15_CR4","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/BF01888226","volume":"2","author":"X He","year":"1990","unstructured":"X. He, J.A.N. Lee, Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems. Form. Asp. Comput. 2(3), 226\u2013246 (1990)","journal-title":"Form. Asp. Comput."},{"issue":"l","key":"15_CR5","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0950-5849(94)00438-X","volume":"37","author":"C Kan","year":"1995","unstructured":"C. Kan, X. He, High level algebraic Petri nets. Inf. Softw. Technol. 37(l), 23\u201330 (1995)","journal-title":"Inf. Softw. Technol."},{"issue":"1","key":"15_CR6","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1016\/0164-1212(95)00081-X","volume":"35","author":"C Kan","year":"1996","unstructured":"C. Kan, X. He, A method for constructing algebraic Petri nets. J. Syst. Softw. 35(1), 12\u201327 (1996)","journal-title":"J. Syst. Softw."},{"issue":"l","key":"15_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0950-5849(00)00134-8","volume":"43","author":"X He","year":"2001","unstructured":"X. He, PZ nets \u2013 A formal method integrating Petri nets with Z. Inf. Softw. Technol. 43(l), 1\u201318 (2001)","journal-title":"Inf. Softw. Technol."},{"key":"15_CR8","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/3-540-61363-3_12","volume-title":"Application and Theory of Petri Nets 1996","author":"Xudong He","year":"1996","unstructured":"X. He, A Formal Definition of Hierarchical Predicate Transition Nets. Proceeding of the 17th International Conference on Application and Theory of Petri Nets (ICATPN\u201996). Lecture Notes in Computer Science, vol. 1091 (Springer, Berlin, 1996), pp. 212\u2013229"},{"key":"15_CR9","unstructured":"X. He, Formalizing use case diagrams in hierarchical predicate transition nets, in Proceeding of the IFIP 16th World Computer Congress, Beijing, China, August (2000), pp. 484\u2013491"},{"key":"15_CR10","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/3-540-45397-0_6","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"Xudong He","year":"2001","unstructured":"X. He, Y. Ding, Object orientation in hierarchical predicate transition nets, in Concurrent, Object-Oriented Programming and Petri Nets, ed. by G.A. Agha, F. De Cindio, G. Rozenberg. Lecture Notes in Computer Science, vol. 2001 (Springer, Berlin, 2001), pp. 196\u2013215"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1016\/S0950-5849(99)00009-9","volume":"41","author":"J Wang","year":"1999","unstructured":"J. Wang, X. He, Y. Deng, Introducing architectural specification and analysis in SAM through an example. Inf. Softw. Technol. 41, 451\u2013467 (1999)","journal-title":"Inf. Softw. Technol."},{"issue":"l","key":"15_CR12","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1093\/comjnl\/45.1.111","volume":"45","author":"X He","year":"2002","unstructured":"X. He, Y. Deng, A framework for developing and analyzing software architecture specifications in SAM. Comput. J. 45(l), 111\u2013128 (2002)","journal-title":"Comput. J."},{"key":"15_CR13","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1016\/S0950-5849(02)00048-4","volume":"44","author":"IT Zhu","year":"2002","unstructured":"I.T. Zhu, X. He, A methodology of testing high-level Petri nets. Inf. Softw. Technol. 44, 473\u2013489 (2002)","journal-title":"Inf. Softw. Technol."},{"issue":"10","key":"15_CR14","doi-asserted-by":"publisher","first-page":"984","DOI":"10.1109\/TSE.2002.1041054","volume":"28","author":"D Xu","year":"2002","unstructured":"D. Xu, X. He, Y. Deng, Compositional schedulability analysis of real-time systems using time Petri nets. IEEE Trans. Softw. Eng. 28(10), 984\u2013996 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1\u20132","key":"15_CR15","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/S0164-1212(02)00087-0","volume":"71","author":"X He","year":"2004","unstructured":"X. He, H. Yu, T. Shi, J. Ding, Y. Deng, Formally analyzing software architectural specifications using SAM. J. Syst. Softw. 71(1\u20132), 11\u201329 (2004)","journal-title":"J. Syst. Softw."},{"issue":"4","key":"15_CR16","doi-asserted-by":"publisher","first-page":"401","DOI":"10.3233\/MGS-2006-2407","volume":"2","author":"J Ding","year":"2006","unstructured":"J. Ding, P. Clarke, D. Xu, X. He, Y. Deng, A formal model-based approach for developing an interoperable mobile agent system. Multi-Agent Grid Syst. Int. J. 2(4), 401\u2013412 (2006)","journal-title":"Multi-Agent Grid Syst. Int. J."},{"issue":"10","key":"15_CR17","doi-asserted-by":"publisher","first-page":"1709","DOI":"10.1016\/j.jss.2009.04.054","volume":"82","author":"L Lian","year":"2009","unstructured":"L. Lian, S. Shatz, X. Ile, Flexible coordinator design for modeling resource sharing in multi-agent systems. J. Syst. Softw. 82(10), 1709\u20131729 (2009)","journal-title":"J. Syst. Softw."},{"issue":"7","key":"15_CR18","doi-asserted-by":"publisher","first-page":"891","DOI":"10.1142\/S0218194012500246","volume":"22","author":"L Chang","year":"2012","unstructured":"L. Chang, S. Shatz, X. He, A methodology for modeling multi-agent systems using nested Petri nets. Int. J. Softw. Eng. Knowl. Eng. IJSEKE 22(7), 891\u2013926 (2012)","journal-title":"Int. J. Softw. Eng. Knowl. Eng. IJSEKE"},{"issue":"7","key":"15_CR19","doi-asserted-by":"publisher","first-page":"1199","DOI":"10.1142\/S0218194015500230","volume":"25","author":"L Chang","year":"2015","unstructured":"L. Chang, X. He, A methodology to analyze multi-agent systems modeled in high level Petri nets. Int. J. Softw. Eng. Knowl. Eng. IJSEKE 25(7), 1199\u20131235 (2015)","journal-title":"Int. J. Softw. Eng. Knowl. Eng. IJSEKE"},{"issue":"5","key":"15_CR20","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1142\/S021819401340010X","volume":"23","author":"X He","year":"2013","unstructured":"X. He, A comprehensive survey of Petri net modeling in software engineering. Int. J. Softw. Eng. Knowl. Eng. IJSEKE 23(5), 589\u2013626 (2013)","journal-title":"Int. J. Softw. Eng. Knowl. Eng. IJSEKE"},{"key":"15_CR21","unstructured":"S. Liu, R. Zeng, X. He, PIPE+ \u2013 A modeling tool for high level Petri nets, in Proceeding of International Conference on Software Engineering and Knowledge Engineering (SEKE11), Miami (2011), pp. 115\u2013121"},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"S. Liu, R. Zeng, Z. Sun, X. He, Bounded model checking high level Petri nets in PIPE+ Verifier, in Proceeding of International Conference on Formal Engineering Methods (ICFEM 14), ed. by S. Merz, J. Pang. LNCS, vol. 8829 (Springer, Berlin, 2014), pp. 348\u2013363","DOI":"10.1007\/978-3-319-11737-9_23"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"X. He, R. Zeng, S. Liu, Z. Sun, K. Bae, A term rewriting approach to analyze high level Petri nets, in Proceeding of the 10th Theoretical Aspects of Software Engineering Conference (TASE 16), IEEE, Los Alamitos (2016)","DOI":"10.1109\/TASE.2016.11"},{"key":"15_CR24","volume-title":"The SPIN Model Checker","author":"G Holzmann","year":"2004","unstructured":"G. Holzmann, The SPIN Model Checker (Addison-Wesley, Boston, 2004)"},{"key":"15_CR25","volume-title":"All about Maude \u2013 A high-performance logical framework: how to specify, program and verify systems in rewriting logic","author":"M Clavel","year":"2007","unstructured":"M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, C. Talcott, All about Maude \u2013 A high-performance logical framework: how to specify, program and verify systems in rewriting logic (Springer, Berlin, 2007)"},{"key":"15_CR26","doi-asserted-by":"crossref","unstructured":"L. de Moura, N. Bj\u00f8rner, Z3: an efficient SMT solver, in Proceeding of 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), ed. by R. Ramakrishnan, J. Rehof. Lecture Notes in Computer Science, vol. 4963 (Springer, Berlin, 2008), pp. 337\u2013340","DOI":"10.1007\/978-3-540-78800-3_24"}],"container-title":["Carl Adam Petri: Ideas, Personality, Impact"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-96154-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T09:18:54Z","timestamp":1558689534000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-96154-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783319961538","9783319961545"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-96154-5_15","relation":{},"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"25 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}