{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T16:09:29Z","timestamp":1775146169540,"version":"3.50.1"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319912677","type":"print"},{"value":"9783319912684","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-91268-4_9","type":"book-chapter","created":{"date-parts":[[2018,5,7]],"date-time":"2018-05-07T16:27:38Z","timestamp":1525710458000},"page":"164-183","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis"],"prefix":"10.1007","author":[{"given":"Engel","family":"Lefaucheux","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Giua","sequence":"additional","affiliation":[]},{"given":"Carla","family":"Seatzu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,8]]},"reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-319-57861-3_13","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"B B\u00e9rard","year":"2017","unstructured":"B\u00e9rard, B., Haar, S., Schmitz, S., Schwoon, S.: The complexity of diagnosability and opacity verification for Petri nets. In: van der Aalst, W., Best, E. (eds.) PETRI NETS 2017. LNCS, vol. 10258, pp. 200\u2013220. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-57861-3_13"},{"issue":"1","key":"9_CR2","doi-asserted-by":"publisher","first-page":"7:1","DOI":"10.1145\/2406336.2406343","volume":"12","author":"H Boucheneb","year":"2013","unstructured":"Boucheneb, H., Barkaoui, K.: Reducing interleaving semantics redundancy in reachability analysis of time Petri nets. ACM Trans. Embed. Comput. Syst. 12(1), 7:1\u20137:24 (2013)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"issue":"12","key":"9_CR3","doi-asserted-by":"publisher","first-page":"3104","DOI":"10.1109\/TAC.2012.2200372","volume":"57","author":"MP Cabasino","year":"2012","unstructured":"Cabasino, M.P., Giua, A., Lafortune, S., Seatzu, C.: A new approach for diagnosability analysis of Petri nets using verifier nets. IEEE Trans. Autom. Control 57(12), 3104\u20133117 (2012)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"9","key":"9_CR4","doi-asserted-by":"publisher","first-page":"1531","DOI":"10.1016\/j.automatica.2010.06.013","volume":"46","author":"MP Cabasino","year":"2010","unstructured":"Cabasino, M.P., Giua, A., Seatzu, C.: Fault detection for discrete event systems using Petri nets with unobservable transitions. Automatica 46(9), 1531\u20131539 (2010)","journal-title":"Automatica"},{"key":"9_CR5","series-title":"Lecture Notes in Control and Information Sciences","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-1-4471-4276-8_10","volume-title":"Control of Discrete-Event Systems","author":"MP Cabasino","year":"2013","unstructured":"Cabasino, M.P., Giua, A., Seatzu, C.: Introduction to Petri nets. In: Seatzu, C., Silva, M., van Schuppen, J. (eds.) Control of Discrete-Event Systems. LNCIS, vol. 433, pp. 191\u2013211. Springer, London (2013). https:\/\/doi.org\/10.1007\/978-1-4471-4276-8_10"},{"issue":"9","key":"9_CR6","doi-asserted-by":"publisher","first-page":"989","DOI":"10.1016\/j.conengprac.2010.12.010","volume":"19","author":"MP Cabasino","year":"2011","unstructured":"Cabasino, M.P., Giua, A., Pocci, M., Seatzu, C.: Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems. Control Eng. Pract. 19(9), 989\u20131001 (2011)","journal-title":"Control Eng. Pract."},{"issue":"9","key":"9_CR7","doi-asserted-by":"publisher","first-page":"1695","DOI":"10.1109\/TAC.2007.904281","volume":"52","author":"A Giua","year":"2007","unstructured":"Giua, A., Seatzu, C., Corona, D.: Marking estimation of Petri nets with silent transitions. IEEE Trans. Autom. Control 52(9), 1695\u20131699 (2007)","journal-title":"IEEE Trans. Autom. Control"},{"key":"9_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60761-7","volume-title":"Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem","author":"P Godefroid","year":"1996","unstructured":"Godefroid, P.: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem, vol. 1032. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-60761-7"},{"issue":"2","key":"9_CR9","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"RM Karp","year":"1969","unstructured":"Karp, R.M., Miller, R.E.: Parallel program schemata. J. Comput. Syst. Sci. 3(2), 147\u2013195 (1969)","journal-title":"J. Comput. Syst. Sci."},{"issue":"3","key":"9_CR10","doi-asserted-by":"publisher","first-page":"1078","DOI":"10.1109\/TAC.2016.2574120","volume":"62","author":"ZY Ma","year":"2017","unstructured":"Ma, Z.Y., Tong, Y., Li, Z.W., Giua, A.: Basis marking representation of Petri net reachability spaces and its application to the reachability problem. IEEE Trans. Autom. Control 62(3), 1078\u20131093 (2017)","journal-title":"IEEE Trans. Autom. Control"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Mayr, E.W.: An algorithm for the general Petri net reachability problem. In: Proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing, STOC 1981, pp. 238\u2013246. ACM (1981)","DOI":"10.1145\/800076.802477"},{"issue":"4","key":"9_CR12","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"},{"issue":"1","key":"9_CR13","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains, part I. Theor. Comput. Sci. 13(1), 85\u2013108 (1981). Special Issue Semantics of Concurrent Computation","journal-title":"Theor. Comput. Sci."},{"issue":"1\u20132","key":"9_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2013-781","volume":"122","author":"P-A Reynier","year":"2013","unstructured":"Reynier, P.-A., Servais, F.: Minimal coverability set for Petri nets: Karp and Miller algorithm with pruning. Fundam. Informaticae 122(1\u20132), 1\u201330 (2013)","journal-title":"Fundam. Informaticae"},{"key":"9_CR15","unstructured":"Lipton, R.: The reachability problem requires exponential space. Technical report, Yale University (1976)"},{"issue":"9","key":"9_CR16","doi-asserted-by":"publisher","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M Sampath","year":"1995","unstructured":"Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Diagnosability of discrete-event systems. IEEE Trans. Autom. Control 40(9), 1555\u20131575 (1995)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"6","key":"9_CR17","doi-asserted-by":"publisher","first-page":"2823","DOI":"10.1109\/TAC.2016.2620429","volume":"62","author":"Y Tong","year":"2017","unstructured":"Tong, Y., Li, Z., Seatzu, C., Giua, A.: Verification of state-based opacity using Petri nets. IEEE Trans. Autom. Control 62(6), 2823\u20132837 (2017)","journal-title":"IEEE Trans. Autom. Control"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/3-540-65306-6_21","volume-title":"Lectures on Petri Nets I: Basic Models","author":"A Valmari","year":"1998","unstructured":"Valmari, A.: The state explosion problem. In: Reisig, W., Rozenberg, G. (eds.) ACPN 1996. LNCS, vol. 1491, pp. 429\u2013528. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/3-540-65306-6_21"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91268-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T08:54:33Z","timestamp":1751619273000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-91268-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319912677","9783319912684"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91268-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"8 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PETRI NETS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Applications and Theory of Petri Nets and Concurrency","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bratislava","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Slovakia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"39","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"apn2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/interes.institute\/petrinets2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}