{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T02:48:26Z","timestamp":1780627706228,"version":"3.54.1"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031614323","type":"print"},{"value":"9783031614330","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-61433-0_17","type":"book-chapter","created":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T16:02:01Z","timestamp":1718208121000},"page":"357-378","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Design of\u00a0Event-Driven Tsetlin Machines Using 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\/0000-0003-4672-5990","authenticated-orcid":false,"given":"Adrian","family":"Wheeldon","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":[[2024,6,13]]},"reference":[{"key":"17_CR1","unstructured":"Workcraft (2006). https:\/\/workcraft.org\/. Accessed 09 Jan 2024"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"115134","DOI":"10.1109\/ACCESS.2019.2935416","volume":"7","author":"GT Berge","year":"2019","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","journal-title":"IEEE Access"},{"key":"17_CR3","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":"17_CR4","doi-asserted-by":"publisher","unstructured":"Blakely, C.D.: Tsetlin LOB: realtime regime learning and interpretable prediction in financial limit orderbooks using convolutional Tsetlin machines. In: International Symposium on the Tsetlin Machine (ISTM), pp. 13\u201320 (2022). https:\/\/doi.org\/10.1109\/ISTM54910.2022.00012","DOI":"10.1109\/ISTM54910.2022.00012"},{"key":"17_CR5","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":"17_CR6","unstructured":"Chu, T.: Synthesis of self-timed VLSI circuits from graph-theoretic specifications. Technical report, Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science (1987)"},{"key":"17_CR7","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":"17_CR8","volume-title":"Introduction to the Theory of Finite-State Machines","author":"A Gill","year":"1962","unstructured":"Gill, A.: Introduction to the Theory of Finite-State Machines. McGraw-Hill, New York (1962)"},{"key":"17_CR9","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":"17_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03241-1","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, Heidelberg (1995). https:\/\/doi.org\/10.1007\/978-3-662-03241-1"},{"key":"17_CR11","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 Conference Application of Concurrency to System Design\u00a0(ACSD), pp. 16\u201325 (2004)","DOI":"10.1109\/CSD.2004.1309112"},{"key":"17_CR12","doi-asserted-by":"publisher","unstructured":"Lan, T., Mao, G., Xia, F., Yu, S., Shafik, R., Yakovlev, A.: An asynchronous Tsetlin automaton architecture with integrated non-volatile memory. In: International Symposium on the Tsetlin Machine (ISTM), pp. 37\u201340 (2022). https:\/\/doi.org\/10.1109\/ISTM54910.2022.00015","DOI":"10.1109\/ISTM54910.2022.00015"},{"issue":"9","key":"17_CR13","doi-asserted-by":"publisher","first-page":"11152","DOI":"10.1109\/TPAMI.2023.3268415","volume":"45","author":"S Maheshwari","year":"2023","unstructured":"Maheshwari, S., et al.: REDRESS: generating compressed models for edge inference using Tsetlin machines. IEEE Trans. Pattern Anal. Mach. Intell. 45(9), 11152\u201311168 (2023). https:\/\/doi.org\/10.1109\/TPAMI.2023.3268415","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"key":"17_CR14","doi-asserted-by":"publisher","unstructured":"Mao, G., Yakovlev, A., Xia, F., Lan, T., Yu, S., Shafik, R.: Automated synthesis of asynchronous Tsetlin machines on FPGA. In: IEEE International Conference on Electronics, Circuits and Systems (ICECS), pp.\u00a01\u20134 (2022). https:\/\/doi.org\/10.1109\/ICECS202256217.2022.9970999","DOI":"10.1109\/ICECS202256217.2022.9970999"},{"key":"17_CR15","doi-asserted-by":"publisher","unstructured":"Mokhov, A., Rykunov, M., Sokolov, D., Yakovlev, A.: Towards reconfigurable processors for power-proportional computing. In: IEEE Faible Tension Faible Consommation\u00a0(FTFC), pp.\u00a01\u20134 (2013). https:\/\/doi.org\/10.1109\/FTFC.2013.6577770","DOI":"10.1109\/FTFC.2013.6577770"},{"key":"17_CR16","unstructured":"Petri, C.A.: Kommunikation mit automaten (Communicating with automata). Ph.D. thesis (1962)"},{"key":"17_CR17","unstructured":"Rahman, T.: Tsetlin machine XOR demo (2021). https:\/\/github.com\/tousifrahman\/Tsetlin_Machine_XOR_demo. Accessed 16 Jan 2024"},{"key":"17_CR18","unstructured":"Rosenblum, L., Yakovlev, A.: Signal graphs: from self-timed to timed ones. In: International Workshop on Timed Petri Nets, pp. 199\u2013206 (1985)"},{"issue":"10","key":"17_CR19","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":"17_CR20","doi-asserted-by":"publisher","unstructured":"Wheeldon, A., Yakovlev, A., Shafik, R.: Self-timed reinforcement learning using Tsetlin machine. In: International Symposium Asynchronous Circuits and Systems\u00a0(ASYNC), pp. 40\u201347 (2021). https:\/\/doi.org\/10.1109\/ASYNC48570.2021.00014","DOI":"10.1109\/ASYNC48570.2021.00014"}],"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-031-61433-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,21]],"date-time":"2024-11-21T18:03:39Z","timestamp":1732212219000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-61433-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031614323","9783031614330"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-61433-0_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"13 June 2024","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":"Geneva","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Switzerland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"45","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"apn2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.unige.ch\/petrinets2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}