{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T17:40:05Z","timestamp":1749577205631,"version":"3.41.0"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319453774"},{"type":"electronic","value":"9783319453781"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-45378-1_45","type":"book-chapter","created":{"date-parts":[[2016,9,8]],"date-time":"2016-09-08T05:04:15Z","timestamp":1473311055000},"page":"504-515","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["PLACE_SUBST Transformation of P\/T Petri Process Nets and Its Properties"],"prefix":"10.1007","author":[{"given":"Ivo","family":"Martin\u00edk","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,9]]},"reference":[{"key":"45_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Petri Nets I: Basic Models","year":"1998","unstructured":"Reisig, W., Rozenberg, G. (eds.): APN 1998. LNCS, vol. 1491. Springer, Heidelberg (1998)"},{"key":"45_CR2","doi-asserted-by":"publisher","DOI":"10.1002\/9780470611647","volume-title":"Petri Nets: Fundamental Models, Verification and Applications","author":"M Diaz","year":"2009","unstructured":"Diaz, M.: Petri Nets: Fundamental Models, Verification and Applications. Wiley, ISTE Ltd., New York (2009)"},{"key":"45_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03687-7","volume-title":"Elements of Distributed Algorithms","author":"W Reisig","year":"1998","unstructured":"Reisig, W.: Elements of Distributed Algorithms. Springer, Heidelberg (1998)"},{"key":"45_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10669-9","volume-title":"Discrete, Continuous and Hybrid Petri Nets","author":"R David","year":"2010","unstructured":"David, R., Alla, H.: Discrete, Continuous and Hybrid Petri Nets. Springer, Heidelberg (2010)"},{"key":"45_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management: Models, Methods and Systems","author":"W van der Alst","year":"2002","unstructured":"van der Alst, W., van Hee, K.: Workflow Management: Models, Methods and Systems. The MIT Press, Massachusetts (2002)"},{"key":"45_CR6","doi-asserted-by":"publisher","DOI":"10.1142\/7919","volume-title":"Property-Preserving Petri Net Process Algebra in Software Engineering","author":"H Huang","year":"2012","unstructured":"Huang, H., Jiao, L., Cheung, T., Mak, W.M.: Property-Preserving Petri Net Process Algebra in Software Engineering. World Scientific Publishing Co. Pte. Ltd, Singapore (2012)"},{"doi-asserted-by":"crossref","unstructured":"Martin\u00edk, I.: Modeling of distributed programming systems with using of property-preserving petri net process algebras and P\/T petri net processes. In: ICIA 2013 Proceedings: The Second International Conference on Informatics & Applications (ICIA2013), pp. 258\u2013263. Lodz University of Technology, IEEE (2013)","key":"45_CR7","DOI":"10.1109\/ICoIA.2013.6650266"},{"key":"45_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558","volume-title":"Free Choice Petri Nets","author":"J Desel","year":"1995","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press, New York (1995)"},{"key":"45_CR9","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/978-3-642-22389-1_21","volume-title":"Digital Information Processing and Communications","author":"I Martin\u00ed\u0131k","year":"2011","unstructured":"Martin\u00ed\u0131k, I.: Bi-relational P\/T petri nets and the modeling of multithreading object-oriented programming systems. In: Snasel, V., Platos, J., El-Qawasmeh, E. (eds.) ICDIPC 2011, Part I. CCIS, vol. 188, pp. 222\u2013236. Springer, Heidelberg (2011)"},{"doi-asserted-by":"crossref","unstructured":"Martin\u00edk, I.: Sequential object petri nets and the modeling of multithreading object-oriented programming systems. In: Petri Nets - Manufacturing and Computer Science, pp. 195\u2013224. InTech, Rijeka (2012)","key":"45_CR10","DOI":"10.5772\/48470"},{"unstructured":"Martin\u00edk, I.: Modeling of object-oriented programming systems with using of petri nets. SAEI, vol. 5. V\u0160B-TU Ostrava, Ostrava (2015)","key":"45_CR11"}],"container-title":["Lecture Notes in Computer Science","Computer Information Systems and Industrial Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45378-1_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T17:23:33Z","timestamp":1749576213000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-45378-1_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319453774","9783319453781"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45378-1_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"9 September 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CISIM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP International Conference on Computer Information Systems and Industrial Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vilnius","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lithuania","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cisim2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}