{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:14:10Z","timestamp":1759637650365},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319467498"},{"type":"electronic","value":"9783319467504"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-46750-4_25","type":"book-chapter","created":{"date-parts":[[2016,9,21]],"date-time":"2016-09-21T02:11:57Z","timestamp":1474423917000},"page":"441-456","source":"Crossref","is-referenced-by-count":1,"title":["Propositional Dynamic Logic for Petri Nets with Iteration"],"prefix":"10.1007","author":[{"given":"Mario R. F.","family":"Benevides","sequence":"first","affiliation":[]},{"given":"Bruno","family":"Lopes","sequence":"additional","affiliation":[]},{"given":"Edward Hermann","family":"Haeusler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,22]]},"reference":[{"key":"25_CR1","unstructured":"Abrahamson, K.R.: Decidability and expressiveness of logics of processes. Ph.D. thesis, Department of Computer Science, University of Washington (1980)"},{"issue":"3\u20134","key":"25_CR2","doi-asserted-by":"crossref","first-page":"231","DOI":"10.3166\/jancl.13.231-276","volume":"13","author":"P Balbiani","year":"2003","unstructured":"Balbiani, P., Vakarelov, D.: PDL with intersection of programs: a complete axiomatization. J. Appl. Non-Classical Logics 13(3\u20134), 231\u2013276 (2003)","journal-title":"J. Appl. Non-Classical Logics"},{"key":"25_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/978-3-540-69937-8_9","volume-title":"Logic, Language, Information and Computation","author":"MRF Benevides","year":"2008","unstructured":"Benevides, M.R.F., Schechter, L.M.: A propositional dynamic logic for CCS programs. In: Hodges, W., de Queiroz, R. (eds.) Logic, Language, Information and Computation. LNCS (LNAI), vol. 5110, pp. 83\u201397. Springer, Heidelberg (2008)"},{"key":"25_CR4","series-title":"Theoretical Tracts in Computer Science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Theoretical Tracts in Computer Science. Cambridge University Press, Cambridge (2001)"},{"key":"25_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-319-29473-5_5","volume-title":"Formal Methods: Foundations and Applications","author":"C Braga","year":"2016","unstructured":"Braga, C., Lopes, B.: Towards reasoning in dynamic logics with rewriting logic: the Petri-PDL case. In: Corn\u00e9lio, M., Roscoe, B. (eds.) SBMF 2015. LNCS, vol. 9526, pp. 74\u201389. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-29473-5_5"},{"key":"25_CR6","first-page":"23","volume":"57","author":"ES Almeida de","year":"1999","unstructured":"de Almeida, E.S., Haeusler, E.H.: Proving properties in ordinary Petri Nets using LoRes logical language. Petri Net Newslett. 57, 23\u201336 (1999)","journal-title":"Petri Net Newslett."},{"key":"25_CR7","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0304-3975(85)90046-5","volume":"36","author":"LF Cerro del","year":"1985","unstructured":"del Cerro, L.F., Orlowska, E.: DAL - a logic for data analysis. Theoretical Comput. Sci. 36, 251\u2013264 (1985)","journal-title":"Theoretical Comput. Sci."},{"key":"25_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R Fagin","year":"2004","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.: Reasoning About Knowledge. MIT Press, Cambridge (2004)"},{"key":"25_CR9","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/978-1-4613-0609-2_21","volume-title":"Mathematical Logic","author":"G Gargov","year":"1990","unstructured":"Gargov, G., Passy, S.: A note on boolean modal logic. In: Petkov, P.P. (ed.) Mathematical Logic, pp. 299\u2013309. Springer, US, New York (1990)"},{"key":"25_CR10","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1007\/BF01028975","volume":"51","author":"R Goldblatt","year":"1992","unstructured":"Goldblatt, R.: Parallel action: concurrent dynamic logic with independent modalities. Stud. Logica. 51, 551\u2013558 (1992)","journal-title":"Stud. Logica."},{"key":"25_CR11","unstructured":"Harel, D., Kaminsky, M.: Strengthened results on nonregular PDL. Technical Report MCS99-13, Faculty of Mathematics and Computer Science, Weizmann Institute of Science (1999)"},{"issue":"4","key":"25_CR12","doi-asserted-by":"crossref","first-page":"857","DOI":"10.1137\/0222054","volume":"22","author":"D Harel","year":"1993","unstructured":"Harel, D., Raz, D.: Deciding properties of nonregular programs. SIAM J. Comput. 22(4), 857\u2013874 (1993)","journal-title":"SIAM J. Comput."},{"key":"25_CR13","series-title":"Foundations of Computing Series","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. Foundations of Computing Series. MIT Press, Cambridge (2000)"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Hull, R.: Web services composition: a story of models, automata, and logics. In: Proceedings of the 2005 IEEE International Conference on Web Services (2005)","DOI":"10.1109\/SCC.2005.108"},{"issue":"2","key":"25_CR15","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1145\/1083784.1083807","volume":"34","author":"R Hull","year":"2005","unstructured":"Hull, R., Jianwen, S.: Tools for composite web services: a short overview. ACM SIGMOD 34(2), 86\u201395 (2005)","journal-title":"ACM SIGMOD"},{"issue":"3","key":"25_CR16","doi-asserted-by":"crossref","first-page":"310","DOI":"10.7763\/IJIET.2013.V3.287","volume":"3","author":"S Khosravifar","year":"2013","unstructured":"Khosravifar, S.: Modeling multi agent communication activities with Petri Nets. Int. J. Inf. Educ. Technol. 3(3), 310\u2013314 (2013)","journal-title":"Int. J. Inf. Educ. Technol."},{"issue":"1","key":"25_CR17","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/BF01048404","volume":"4","author":"M Kracht","year":"1995","unstructured":"Kracht, M.: Synctatic codes and grammar refinement. J. Logic Lang. Inform. 4(1), 41\u201360 (1995)","journal-title":"J. Logic Lang. Inform."},{"key":"25_CR18","unstructured":"Lenzerini, M.: Boosting the correspondence between description logics and propositional dynamic logics. In: Proceedings of the Twelfth National Conference on Artificial Intelligence, pp. 205\u2013212. AAAI Press (1994)"},{"issue":"1\u20132","key":"25_CR19","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/j.jlap.2006.11.003","volume":"73","author":"C L\u00f6ding","year":"2007","unstructured":"L\u00f6ding, C., Lutz, C., Serre, O.: Propositional dynamic logic with recursive programs. J. Logic Algebraic Programm. 73(1\u20132), 51\u201369 (2007)","journal-title":"J. Logic Algebraic Programm."},{"key":"25_CR20","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1093\/jigpal\/jzu010","volume":"22","author":"B Lopes","year":"2014","unstructured":"Lopes, B., Benevides, M., Haeusler, H.: Propositional dynamic logic for Petri nets. Logic J. IGPL 22, 721\u2013736 (2014)","journal-title":"Logic J. IGPL"},{"issue":"11","key":"25_CR21","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/j.entcs.2014.06.006","volume":"305","author":"B Lopes","year":"2014","unstructured":"Lopes, B., Benevides, M., Haeusler, E.H.: Extending propositional dynamic logic for Petri Nets. Electronic Notes Theoretical Comput. Sci. 305(11), 67\u201383 (2014)","journal-title":"Electronic Notes Theoretical Comput. Sci."},{"key":"25_CR22","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-319-19629-9_9","volume-title":"Trends in Practical Applications of Agents, Multi-Agent Systems and Sustainability","author":"B Lopes","year":"2015","unstructured":"Lopes, B., Benevides, M., Haeusler, E.H.: Reasoning about multi-agent systems using stochastic Petri Nets. In: Bajo, J., Hern\u00e1ndez, J.Z., Mathieu, P., Campbell, A., Fern\u00e1ndez-Caballero, A., Moreno, M.N., Juli\u00e1n, V., Alonso-Betanzos, A., Jim\u00e9nez-L\u00f3pez, M.D., Botti, V. (eds.) Trends in Practical Applications of Agents, Multi-Agent Systems and Sustainability. AISC, vol. 372, pp. 75\u201386. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-19629-9_9"},{"issue":"1","key":"25_CR23","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"29","author":"J-JC Meyer","year":"1987","unstructured":"Meyer, J.-J.C.: A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic. Notre Dame J. Formal Logic 29(1), 109\u2013136 (1987)","journal-title":"Notre Dame J. Formal Logic"},{"key":"25_CR24","doi-asserted-by":"crossref","first-page":"675","DOI":"10.3233\/FI-1981-4310","volume":"4","author":"G Mirkowska","year":"1981","unstructured":"Mirkowska, G.: PAL - Propositional algorithmic logic. Fundam. Informatic\u00e6 4, 675\u2013760 (1981)","journal-title":"Fundam. Informatic\u00e6"},{"issue":"2","key":"25_CR25","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1145\/23005.23008","volume":"34","author":"D Peleg","year":"1897","unstructured":"Peleg, D.: Concurrent dynamic logic. J. Assoc. Comput. Mach. 34(2), 450\u2013479 (1897)","journal-title":"J. Assoc. Comput. Mach."},{"issue":"1","key":"25_CR26","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0022-0000(87)90035-3","volume":"35","author":"D Peleg","year":"1987","unstructured":"Peleg, D.: Communication in concurrent dynamic logic. J. Comput. Syst. Sci. 35(1), 23\u201358 (1987)","journal-title":"J. Comput. Syst. Sci."},{"key":"25_CR27","series-title":"Mathematical Logic and its Applications","volume-title":"Propositional Dynamic Logic in Two and More Dimensions","author":"A Petkov","year":"1987","unstructured":"Petkov, A.: Propositional Dynamic Logic in Two and More Dimensions. Mathematical Logic and its Applications. Plenum Press, New York (1987)"},{"issue":"6","key":"25_CR28","first-page":"319","volume":"5","author":"CA Petri","year":"1962","unstructured":"Petri, C.A.: Fundamentals of a theory of asynchronous information flow. Commun. ACM 5(6), 319 (1962)","journal-title":"Commun. ACM"},{"key":"25_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1007\/3-540-52494-0_41","volume-title":"Advances in Petri Nets 1989","author":"H Tuominen","year":"1990","unstructured":"Tuominen, H.: Elementary net systems and dynamic logic. In: Rozenberg, G. (ed.) Advances in Petri Nets 1989. LNCS, pp. 453\u2013466. Springer, Berlin Heidelberg (1990)"},{"key":"25_CR30","series-title":"Foundations of Computing","volume-title":"Logic and Information Flow","author":"J Benthem van","year":"1994","unstructured":"van Benthem, J.: Logic and Information Flow. Foundations of Computing. MIT Press, Cambridge (1994)"},{"key":"25_CR31","unstructured":"Wolter, F., Zakharyaschev, M.: Dynamic description logics. In: Proceedings of AiML1998, pp. 290\u2013300. CSLI Publications (2000)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2016"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46750-4_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,8]],"date-time":"2022-07-08T22:11:56Z","timestamp":1657318316000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46750-4_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319467498","9783319467504"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46750-4_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}