{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,17]],"date-time":"2026-08-17T23:14:25Z","timestamp":1787008465832,"version":"build-2736575974"},"reference-count":16,"publisher":"Oxford University Press (OUP)","issue":"11","license":[{"start":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T00:00:00Z","timestamp":1697673600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,11,1]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:sec>\n                    <jats:title>Motivation<\/jats:title>\n                    <jats:p>While there are software packages that analyze Boolean, ternary, or other multi-state models, none compute the complete state space of function-based models over any finite set. Results: We propose Cyclone, a simple light-weight software package which simulates the complete state space for a finite dynamical system over any finite set.<\/jats:p>\n                  <\/jats:sec>\n                  <jats:sec>\n                    <jats:title>Availability and implementation<\/jats:title>\n                    <jats:p>Source code is freely available at https:\/\/github.com\/discretedynamics\/cyclone under the Apache-2.0 license.<\/jats:p>\n                  <\/jats:sec>","DOI":"10.1093\/bioinformatics\/btad634","type":"journal-article","created":{"date-parts":[[2023,10,17]],"date-time":"2023-10-17T18:27:21Z","timestamp":1697567241000},"source":"Crossref","is-referenced-by-count":5,"title":["Cyclone: open-source package for simulation and analysis of finite dynamical systems"],"prefix":"10.1093","volume":"39","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7314-6367","authenticated-orcid":false,"given":"Elena S","family":"Dimitrova","sequence":"first","affiliation":[{"name":"Mathematics Department, California Polytechnic State University , San Luis Obispo, CA 93407, United States"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5719-6003","authenticated-orcid":false,"given":"Adam C","family":"Knapp","sequence":"additional","affiliation":[{"name":"Department of MD-Pulmonary Laboratory for Systems Medicine, University of Florida , Gainesville, FL 32610, United States"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7000-9543","authenticated-orcid":false,"given":"Brandilyn","family":"Stigler","sequence":"additional","affiliation":[{"name":"Department of Mathematics, P.O. Box 750156, Southern Methodist University , Dallas, TX 75275, United States"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0078-3116","authenticated-orcid":false,"given":"Michael E","family":"Stillman","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Cornell University , Ithaca, NY 14853, United States"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2023,10,19]]},"reference":[{"key":"2023110916031222600_btad634-B1","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1007\/978-1-61779-361-5_23","volume-title":"Bacterial Molecular Networks: Methods and Protocols","author":"Chaouiya","year":"2012"},{"key":"2023110916031222600_btad634-B2","doi-asserted-by":"crossref","first-page":"2816","DOI":"10.1016\/j.tcs.2010.04.034","article-title":"Parameter estimation for Boolean models of biological networks","volume":"412","author":"Dimitrova","year":"2011","journal-title":"Theor Comput Sci"},{"key":"2023110916031222600_btad634-B3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.biosystems.2017.08.006","article-title":"GeRNet: a gene regulatory network tool","volume":"162","author":"Dussaut","year":"2017","journal-title":"Biosystems"},{"key":"2023110916031222600_btad634-B4","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1007\/3-540-45848-4_57","volume-title":"Graph Drawing","author":"Ellson","year":"2002"},{"key":"2023110916031222600_btad634-B5","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1109\/TVCG.2017.2745280","article-title":"Dynamic influence networks for rule-based models","volume":"24","author":"Forbes","year":"2018","journal-title":"IEEE Trans Vis Comput Graph"},{"key":"2023110916031222600_btad634-B6","doi-asserted-by":"crossref","first-page":"508","DOI":"10.1186\/s12859-019-3094-9","article-title":"PlantSimLab: a modeling and simulation web tool for plant biologists","volume":"20","author":"Ha","year":"2019","journal-title":"BMC Bioinformatics"},{"key":"2023110916031222600_btad634-B7","doi-asserted-by":"crossref","first-page":"2691","DOI":"10.1007\/s11538-019-00624-x","article-title":"Geometric characterization of data sets with unique reduced Gr\u00f6bner bases","volume":"81","author":"He","year":"2019","journal-title":"Bull Math Biol"},{"key":"2023110916031222600_btad634-B8","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1186\/1752-0509-6-96","article-title":"The cell collective: toward an open and collaborative approach to systems biology","volume":"6","author":"Helikar","year":"2012","journal-title":"BMC Syst Biol"},{"key":"2023110916031222600_btad634-B9","first-page":"825","volume-title":"Handbook of Finite Fields","author":"Hinkelmann","year":"2013"},{"key":"2023110916031222600_btad634-B10","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1186\/1471-2105-12-295","article-title":"ADAM: analysis of discrete models of biological systems using computer algebra","volume":"12","author":"Hinkelmann","year":"2011","journal-title":"BMC Bioinformatics"},{"key":"2023110916031222600_btad634-B11","doi-asserted-by":"crossref","first-page":"2369","DOI":"10.1093\/bioinformatics\/btac097","article-title":"SteadyCellPhenotype: a web-based tool for the modeling of biological networks with ternary logic","volume":"38","author":"Knapp","year":"2022","journal-title":"Bioinformatics"},{"key":"2023110916031222600_btad634-B12","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/BFb0006940","volume-title":"Algebraic Computing in Control","author":"Le Borgne","year":"1991"},{"key":"2023110916031222600_btad634-B13","doi-asserted-by":"crossref","first-page":"705","DOI":"10.1038\/nprot.2017.144","article-title":"A graphical and computational modeling platform for biological pathways","volume":"13","author":"Livigni","year":"2018","journal-title":"Nat Protoc"},{"key":"2023110916031222600_btad634-B14","doi-asserted-by":"crossref","first-page":"1378","DOI":"10.1093\/bioinformatics\/btq124","article-title":"BoolNet\u2014an R package for generation, reconstruction and analysis of Boolean networks","volume":"26","author":"M\u00fcssel","year":"2010","journal-title":"Bioinformatics"},{"key":"2023110916031222600_btad634-B15","volume-title":"Mathematical Concepts and Methods in Modern Biology: Using Modern Discrete Models","author":"Robeva","year":"2013"},{"key":"2023110916031222600_btad634-B16","doi-asserted-by":"crossref","first-page":"16032","DOI":"10.1038\/npjsba.2016.32","article-title":"MUFINS: multi-formalism interaction network simulator","volume":"2","author":"Wu","year":"2016","journal-title":"Syst Biol Appl"}],"container-title":["Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/bioinformatics\/advance-article-pdf\/doi\/10.1093\/bioinformatics\/btad634\/52267435\/btad634.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/39\/11\/btad634\/52972914\/btad634.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/39\/11\/btad634\/52972914\/btad634.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,9]],"date-time":"2023-11-09T11:05:01Z","timestamp":1699527901000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article\/doi\/10.1093\/bioinformatics\/btad634\/7323572"}},"subtitle":[],"editor":[{"given":"Pier Luigi","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"editor"}]}],"short-title":[],"issued":{"date-parts":[[2023,10,19]]},"references-count":16,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2023,11,1]]}},"URL":"https:\/\/doi.org\/10.1093\/bioinformatics\/btad634","relation":{},"ISSN":["1367-4803","1367-4811"],"issn-type":[{"value":"1367-4803","type":"print"},{"value":"1367-4811","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2023,11,1]]},"published":{"date-parts":[[2023,10,19]]},"article-number":"btad634"}}