{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T00:06:02Z","timestamp":1780358762077,"version":"3.54.1"},"publisher-location":"Cham","reference-count":43,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032278784","type":"print"},{"value":"9783032278791","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-27879-1_7","type":"book-chapter","created":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T23:06:23Z","timestamp":1780355183000},"page":"130-153","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["ANIMATE: Automated Framework for\u00a0Scalable Design of\u00a0Tsetlin Machines Using 1-Safe Petri Nets"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7617-1066","authenticated-orcid":false,"given":"Alex","family":"Chan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-4505-8670","authenticated-orcid":false,"given":"Mohamed","family":"Tarraf","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5444-537X","authenticated-orcid":false,"given":"Rishad","family":"Shafik","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0826-9330","authenticated-orcid":false,"given":"Alex","family":"Yakovlev","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,6,1]]},"reference":[{"key":"7_CR1","unstructured":"TIme petri Net Analyzer (TINA) (2006). https:\/\/projects.laas.fr\/tina\/home.php. Accessed 12 Feb 2025"},{"key":"7_CR2","unstructured":"Workcraft. https:\/\/workcraft.org\/. Accessed 12 Feb 2025"},{"key":"7_CR3","unstructured":"Binarized IRIS (2018). https:\/\/github.com\/cair\/TsetlinMachine\/blob\/master\/BinaryIrisData.txt. Accessed 17 Nov 2025"},{"key":"7_CR4","unstructured":"pyTsetlinMachine Examples (2019). https:\/\/github.com\/cair\/pyTsetlinMachine\/tree\/master\/examples\/. Accessed 17 Nov 2025"},{"key":"7_CR5","doi-asserted-by":"publisher","unstructured":"Abbas, S., Soomro, N., Granmo, O.C., Shafik, R., Heer, R., Adhikari, K.: AI-Based Clinical Rule Discovery for NMIBC Recurrence through Tsetlin Machines. In: International Symposium Tsetlin Machine (ISTM), pp. 24\u201329 (2025). https:\/\/doi.org\/10.1109\/ISTM67926.2025.00012","DOI":"10.1109\/ISTM67926.2025.00012"},{"key":"7_CR6","doi-asserted-by":"publisher","unstructured":"Aha, D.: Tic-Tac-Toe Endgame. UCI Machine Learning Repository (1991). https:\/\/doi.org\/10.24432\/C5688J","DOI":"10.24432\/C5688J"},{"key":"7_CR7","doi-asserted-by":"publisher","unstructured":"Berge, G.T., Granmo, O.C., Tveit, T.O., Goodwin, M., Jiao, L., Matheussen, B.V.: Using the tsetlin machine to learn human-interpretable rules for high-accuracy text categorization with medical applications. IEEE Access 7, 115134\u2013115146 (2019). https:\/\/doi.org\/10.1109\/ACCESS.2019.2935416","DOI":"10.1109\/ACCESS.2019.2935416"},{"key":"7_CR8","doi-asserted-by":"publisher","unstructured":"Berthomieu, B., Zaitsev, D.A.: Sleptsov nets are turing-complete. Theoret. Comput. Sci. 986, 114346 (2024). https:\/\/doi.org\/10.1016\/j.tcs.2023.114346, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S030439752300659X","DOI":"10.1016\/j.tcs.2023.114346"},{"key":"7_CR9","doi-asserted-by":"publisher","unstructured":"Bhattarai., B., Granmo., O., Jiao., L.: Measuring the novelty of natural language text using the conjunctive clauses of a tsetlin machine text classifier. In: International Conference on Agents and Artificial Intelligence (ICAART), pp. 410\u2013417. INSTICC, SciTePress (2021). https:\/\/doi.org\/10.5220\/0010382204100417","DOI":"10.5220\/0010382204100417"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-030-79457-6_14","volume-title":"Advances and Trends in Artificial Intelligence. Artificial Intelligence Practices","author":"CD Blakely","year":"2021","unstructured":"Blakely, C.D., Granmo, O.-C.: Closed-Form Expressions for Global and Local Interpretation of Tsetlin Machines. In: Fujita, H., Selamat, A., Lin, J.C.-W., Ali, M. (eds.) IEA\/AIE 2021. LNCS (LNAI), vol. 12798, pp. 158\u2013172. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-79457-6_14"},{"key":"7_CR11","doi-asserted-by":"publisher","unstructured":"Boussinot, F., Ramesh, S., Shyamasundar, R.K., De\u00a0Simone, R.: Validation and analysis of the futurebus arbitration protocol: a case study. Sadhana 21(2), 185\u2013211 (1996). https:\/\/doi.org\/10.1007\/BF02745519","DOI":"10.1007\/BF02745519"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/3-540-11981-7_5","volume-title":"Logics Programs Their Appl.","author":"HD Burhard","year":"1983","unstructured":"Burhard, H.D.: On priorities of parallelism: Petri nets under the maximum firing strategy. In: Salwicki, A. (ed.) Logics Programs Their Appl., pp. 86\u201397. Springer, Berlin Heidelberg, Berlin, Heidelberg (1983)"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/978-3-031-61433-0_17","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"A Chan","year":"2024","unstructured":"Chan, A., Wheeldon, A., Shafik, R., Yakovlev, A.: Design of Event-Driven Tsetlin Machines Using Safe Petri Nets. In: Kristensen, L.M., van der Werf, J.M. (eds.) Application and Theory of Petri Nets and Concurrency, pp. 357\u2013378. Springer Nature Switzerland, Cham (2024)"},{"key":"7_CR14","doi-asserted-by":"publisher","unstructured":"Cios, K., Kurgan, L., Goodenday, L.: SPECT Heart. UCI Machine Learning Repository (2001). https:\/\/doi.org\/10.24432\/C5P304","DOI":"10.24432\/C5P304"},{"key":"7_CR15","unstructured":"Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Petrify: A Tool for Manipulating Concurrent Specifications and Synthesis of Asynchronous Controllers. IEICE Trans. Inf. Syst. E80-D, 315\u2013325 (1997)"},{"key":"7_CR16","doi-asserted-by":"publisher","unstructured":"Erkus, E.C., Chan, A., Distaso, W., Thomas, D., Yakovlev, A., Shafik, R.: LatentGraph: From Latent States to Rule-based Expressions for Explainable Financial Forecasting, pp. 745\u2013752. Association for Computing Machinery, New York, NY, USA (2025). https:\/\/doi.org\/10.1145\/3768292.3770428","DOI":"10.1145\/3768292.3770428"},{"key":"7_CR17","unstructured":"Granmo, O.C.: The Tsetlin Machine - A Game Theoretic Bandit Driven Approach to Optimal Pattern Recognition with Propositional Logic. arXiv preprint arXiv:1804.01508 (2018). https:\/\/arxiv.org\/abs\/1804.01508"},{"key":"7_CR18","volume-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use","author":"K Jensen","year":"1995","unstructured":"Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol. 2. Springer-Verlag, Berlin, Heidelberg (1995)"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Khomenko, V., Koutny, M., Yakovlev, A.: Logic synthesis for asynchronous circuits based on petri net unfoldings and incremental SAT. In: International Confernce on Application of Concurrency to System Design\u00a0(ACSD), pp. 16\u201325 (2004)","DOI":"10.1109\/CSD.2004.1309112"},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-031-94634-9_13","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"V Khomenko","year":"2025","unstructured":"Khomenko, V., Koutny, M., Yakovlev, A.: Distributed Places and Safe Net Reduction. In: Amparore, E., Mikulski, \u0141 (eds.) Application and Theory of Petri Nets and Concurrency, pp. 265\u2013286. Springer Nature Switzerland, Cham (2025)"},{"key":"7_CR21","doi-asserted-by":"publisher","unstructured":"Kohavi, R.: Census Income. UCI Machine Learning Repository (1996). https:\/\/doi.org\/10.24432\/C5GP7S","DOI":"10.24432\/C5GP7S"},{"key":"7_CR22","doi-asserted-by":"publisher","unstructured":"Mao, G., et al.: Dynamic tsetlin machine accelerators for on-chip training using FPGAs. IEEE Trans. . Circu. Syst. Regul. Papers 72(11), 6962\u20136975 (2025). https:\/\/doi.org\/10.1109\/TCSI.2025.3564875","DOI":"10.1109\/TCSI.2025.3564875"},{"issue":"9","key":"7_CR23","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"P Merlin","year":"1976","unstructured":"Merlin, P., Farber, D.: Recoverability of communication protocols - implications of a theoretical study. IEEE Trans. Commun. 24(9), 1036\u20131043 (1976). https:\/\/doi.org\/10.1109\/TCOM.1976.1093424","journal-title":"IEEE Trans. Commun."},{"key":"7_CR24","doi-asserted-by":"publisher","unstructured":"Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains, part I. Theor. Comput. Sci. 13(1), 85\u2013108 (1981). https:\/\/doi.org\/10.1016\/0304-3975(81)90112-2, https:\/\/www.sciencedirect.com\/science\/article\/pii\/0304397581901122","DOI":"10.1016\/0304-3975(81)90112-2"},{"key":"7_CR25","doi-asserted-by":"publisher","unstructured":"Mukund, M.: Petri nets and step transition systems. Int. J. Found. Comput. Sci. 03(04), 443\u2013478 (1992). https:\/\/doi.org\/10.1142\/S0129054192000231","DOI":"10.1142\/S0129054192000231"},{"issue":"4","key":"7_CR26","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). https:\/\/doi.org\/10.1109\/5.24143","journal-title":"Proc. IEEE"},{"key":"7_CR27","doi-asserted-by":"publisher","unstructured":"Pattison, B., et al.: TMAtlas: an interactive visual analytics framework for explaining tsetlin machine outputs. In: International Symposium on Tsetlin Machine (ISTM), pp. 116\u2013123 (2025). https:\/\/doi.org\/10.1109\/ISTM67926.2025.00025","DOI":"10.1109\/ISTM67926.2025.00025"},{"key":"7_CR28","doi-asserted-by":"publisher","unstructured":"Rafiev, A., et al.: Visualization of machine learning dynamics in tsetlin machines. In: International Symposium on Tsetlin Machine (ISTM), pp. 81\u201388 (2022). https:\/\/doi.org\/10.1109\/ISTM54910.2022.00020","DOI":"10.1109\/ISTM54910.2022.00020"},{"key":"7_CR29","doi-asserted-by":"publisher","unstructured":"Rahman, T., et al.: Runtime tunable tsetlin machines for edge inference on eFPGAs. In: IEEE Sensors Applications Symposium (SAS), pp.\u00a01\u20136 (2025). https:\/\/doi.org\/10.1109\/SAS65169.2025.11105163","DOI":"10.1109\/SAS65169.2025.11105163"},{"key":"7_CR30","unstructured":"Rosenblum, L., Yakovlev, A.: Signal graphs: from self-timed to timed ones. In: International Workshop on Timed Petri Nets, pp. 199\u2013206 (1985)"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"Salakhutdinov, R., Murray, I.: On the quantitative analysis of deep belief networks. In: Proceedings of International Conference on Machine Learning (ICML), pp. 872\u2013879. ACM (2008)","DOI":"10.1145\/1390156.1390266"},{"key":"7_CR32","doi-asserted-by":"publisher","unstructured":"Shafik, R., Wheeldon, A., Yakovlev, A.: Explainability and dependability analysis of learning automata based AI hardware. In: IEEE International Symposium on On-Line Testing and Robust System Design (IOLTS), pp.\u00a01\u20134 (2020). https:\/\/doi.org\/10.1109\/IOLTS50870.2020.9159725","DOI":"10.1109\/IOLTS50870.2020.9159725"},{"key":"7_CR33","doi-asserted-by":"publisher","unstructured":"Squires-Parkin, H., Chan, A., Shafik, R., Wheeldon, A., Yakovlev, A.: Asynchronous design of a bitwise elimination argmax via high-level modeling in GraphRack. In: IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), pp. 89\u201398 (2025). https:\/\/doi.org\/10.1109\/ASYNC65240.2025.00021","DOI":"10.1109\/ASYNC65240.2025.00021"},{"key":"7_CR34","doi-asserted-by":"crossref","unstructured":"Stallkamp, J., Schlipsing, M., Salmen, J., Igel, C.: The German Traffic Sign Recognition Benchmark: A multi-class classification competition. In: IEEE International Joint Conference on Neural Networks (IJCNN), pp. 1453\u20131460 (2011)","DOI":"10.1109\/IJCNN.2011.6033395"},{"key":"7_CR35","doi-asserted-by":"publisher","unstructured":"Stefano, C., Fontanella, F., Maniaci, M., Freca, A.: Avila. UCI Machine Learning Repository (2018). https:\/\/doi.org\/10.24432\/C5K02X","DOI":"10.24432\/C5K02X"},{"key":"7_CR36","doi-asserted-by":"crossref","unstructured":"Tarasyuk, O., et al.: Prediction of the infecting organism in peritoneal dialysis patients with acute peritonitis using interpretable Tsetlin machines. Bioinform. Adv. 5(1), vbaf140 (2025)","DOI":"10.1093\/bioadv\/vbaf140"},{"key":"7_CR37","unstructured":"Tarraf, M., Chan, A., Yakovlev, A., Shafik, R.: Eventizing Traditionally Opaque Binary Neural Networks as 1-safe Petri net Models (2026). https:\/\/arxiv.org\/abs\/2602.13128"},{"issue":"10","key":"7_CR38","first-page":"1345","volume":"22","author":"ML Tsetlin","year":"1961","unstructured":"Tsetlin, M.L.: On behaviour of finite automata in random medium. Avtomat. i Telemekh 22(10), 1345\u20131354 (1961)","journal-title":"Avtomat. i Telemekh"},{"key":"7_CR39","doi-asserted-by":"publisher","unstructured":"Vernadat, F., Berthomieu, B.: Time petri nets analysis with TINA. In: International Conference on Quantitative Evaluation of Systems\u00a0(QEST), pp. 123\u2013124 (2006). https:\/\/doi.org\/10.1109\/QEST.2006.56","DOI":"10.1109\/QEST.2006.56"},{"key":"7_CR40","unstructured":"Weiss, G., Goldberg, Y., Yahav, E.: Extracting automata from recurrent neural networks using queries and counterexamples. In: Dy, J., Krause, A. (eds.) Proceedings of International Conference on Machine Learning\u00a0(ICML), vol.\u00a080, pp. 5247\u20135256. PMLR (2018). https:\/\/proceedings.mlr.press\/v80\/weiss18a.html"},{"key":"7_CR41","doi-asserted-by":"publisher","unstructured":"Wheeldon, A., Yakovlev, A., Shafik, R.: Self-timed reinforcement learning using tsetlin machine. In: International Symposium on Asynchronous Circuits and Systems\u00a0(ASYNC), pp. 40\u201347 (2021). https:\/\/doi.org\/10.1109\/ASYNC48570.2021.00014","DOI":"10.1109\/ASYNC48570.2021.00014"},{"key":"7_CR42","doi-asserted-by":"publisher","unstructured":"Wolberg, W., Mangasarian, O., Street, N., Street, W.: Breast Cancer Wisconsin (Diagnostic). UCI Machine Learning Repository (1993). https:\/\/doi.org\/10.24432\/C5DW2B","DOI":"10.24432\/C5DW2B"},{"key":"7_CR43","doi-asserted-by":"publisher","unstructured":"Xu, Z., Wen, C., Qin, S., He, M.: Extracting automata from neural networks using active learning. PeerJ Comput. Sci. 7, e436 (2021). https:\/\/doi.org\/10.7717\/peerj-cs.436","DOI":"10.7717\/peerj-cs.436"}],"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-032-27879-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T23:06:27Z","timestamp":1780355187000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-27879-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032278784","9783032278791"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-27879-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"1 June 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"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":"hamburg","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 June 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 June 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"47","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"apn2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/petrinets2026.informatik.uni-hamburg.de\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}