{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:50:59Z","timestamp":1743144659844,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030315160"},{"type":"electronic","value":"9783030315177"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-31517-7_10","type":"book-chapter","created":{"date-parts":[[2019,9,21]],"date-time":"2019-09-21T12:02:29Z","timestamp":1569067349000},"page":"145-157","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Logics for Petri Nets with Propagating Failures"],"prefix":"10.1007","author":[{"given":"Leandro","family":"Gomes","sequence":"first","affiliation":[]},{"given":"Alexandre","family":"Madeira","sequence":"additional","affiliation":[]},{"given":"Mario","family":"Benevides","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,9,22]]},"reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/978-3-319-46750-4_25","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2016","author":"MRF Benevides","year":"2016","unstructured":"Benevides, M.R.F., Lopes, B., Haeusler, E.H.: Propositional dynamic logic for Petri nets with iteration. In: Sampaio, A., Wang, F. (eds.) ICTAC 2016. LNCS, vol. 9965, pp. 441\u2013456. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46750-4_25"},{"issue":"2\u20133","key":"10_CR2","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s000120050156","volume":"43","author":"WJ Blok","year":"2000","unstructured":"Blok, W.J., Ferreirim, I.: On the structure of hoops. Algebra Universalis 43(2\u20133), 233\u2013257 (2000)","journal-title":"Algebra Universalis"},{"issue":"3","key":"10_CR3","doi-asserted-by":"publisher","first-page":"24:1","DOI":"10.1145\/3105908","volume":"18","author":"M Blondin","year":"2017","unstructured":"Blondin, M., Finkel, A., Haase, C., Haddad, S.: The logical view on continuous Petri nets. ACM Trans. Comput. Log. 18(3), 24:1\u201324:28 (2017)","journal-title":"ACM Trans. Comput. Log."},{"key":"10_CR4","volume-title":"Regular Algebra and Finite Machines","author":"JH Conway","year":"1971","unstructured":"Conway, J.H.: Regular Algebra and Finite Machines. Printed in GB by William Clowes & Sons Ltd., London (1971)"},{"issue":"2\u20133","key":"10_CR5","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s00236-015-0216-3","volume":"52","author":"H-H Dang","year":"2015","unstructured":"Dang, H.-H., M\u00f6ller, B.: Modal algebra and Petri nets. Acta Inf. 52(2\u20133), 109\u2013132 (2015)","journal-title":"Acta Inf."},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/3-540-58043-3_20","volume-title":"A Decade of Concurrency Reflections and Perspectives","author":"U Engberg","year":"1994","unstructured":"Engberg, U., Winskel, G.: Linear logic on Petri nets. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1993. LNCS, vol. 803, pp. 176\u2013229. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/3-540-58043-3_20"},{"key":"10_CR7","unstructured":"Gomes, L., Madeira, A., Barbosa, L.S.: Generalising KAT to verify weighted computations. Technical report submition under consideration"},{"key":"10_CR8","volume-title":"Dynamic Logic. Foundations of Computing Series","author":"D Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. Foundations of Computing Series. MIT Press, Cambridge (2000)"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-06251-8_1","volume-title":"Relational and Algebraic Methods in Computer Science","author":"T Hoare","year":"2014","unstructured":"Hoare, T., et al.: Developments in concurrent Kleene algebra. In: H\u00f6fner, P., Jipsen, P., Kahl, W., M\u00fcller, M.E. (eds.) RAMICS 2014. LNCS, vol. 8428, pp. 1\u201318. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-06251-8_1"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Kozen, D.: On action algebras. In: Logic and Information Flow, pp. 78\u201388 (1994)","DOI":"10.7551\/mitpress\/4286.003.0007"},{"issue":"11","key":"10_CR11","first-page":"67","volume":"305","author":"B Lopes","year":"2014","unstructured":"Lopes, B., Benevides, M., Haeusler, E.H.: Extending propositional dynamic logic for Petri nets. ENTCS 305(11), 67\u201383 (2014)","journal-title":"ENTCS"},{"key":"10_CR12","doi-asserted-by":"publisher","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. Log. J. IGPL 22, 721\u2013736 (2014)","journal-title":"Log. J. IGPL"},{"key":"10_CR13","first-page":"1","volume":"1","author":"A Madeira","year":"2016","unstructured":"Madeira, A., Neves, R., Martins, M.A.: An exercise on the generation of many-valued dynamic logics. J. Log. Algebraic Methods Program. 1, 1\u201329 (2016)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-319-15075-8_9","volume-title":"Formal Methods: Foundations and Applications","author":"A Madeira","year":"2015","unstructured":"Madeira, A., Neves, R., Martins, M.A., Barbosa, L.S.: A dynamic logic for every season. In: Braga, C., Mart\u00ed-Oliet, N. (eds.) SBMF 2014. LNCS, vol. 8941, pp. 130\u2013145. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15075-8_9"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-540-27815-3_30","volume-title":"Algebraic Methodology and Software Technology","author":"B M\u00f6ller","year":"2004","unstructured":"M\u00f6ller, B., Struth, G.: Modal Kleene algebra and partial correctness. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol. 3116, pp. 379\u2013393. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-27815-3_30"},{"issue":"1","key":"10_CR16","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/j.tcs.2003.11.020","volume":"315","author":"DJ Pym","year":"2004","unstructured":"Pym, D.J., O\u2019Hearn, P.W., Yang, H.: Possible worlds and resources: the semantics of BI. Theor. Comput. Sci. 315(1), 257\u2013305 (2004)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"10_CR17","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/s10462-015-9451-9","volume":"45","author":"K-Q Zhou","year":"2016","unstructured":"Zhou, K.-Q., Zain, A.M.: Fuzzy Petri nets and industrial applications: a review. Artif. Intell. Rev. 45(4), 405\u2013446 (2016)","journal-title":"Artif. Intell. Rev."}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-31517-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,23]],"date-time":"2024-07-23T21:06:22Z","timestamp":1721768782000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-31517-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030315160","9783030315177"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-31517-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"22 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FSEN","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Fundamentals of Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tehran","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Iran","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":"1 May 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 May 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fsen2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/fsen.ir\/2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"\u00caasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"47","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"14","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"n\/a","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}