{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T01:38:03Z","timestamp":1778636283976,"version":"3.51.4"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1109\/bibm.2018.8621533","type":"proceedings-article","created":{"date-parts":[[2019,2,28]],"date-time":"2019-02-28T17:32:01Z","timestamp":1551375121000},"page":"713-717","source":"Crossref","is-referenced-by-count":6,"title":["Modeling biological complexity using Biology System Description Language (BiSDL)"],"prefix":"10.1109","author":[{"given":"F.","family":"Muggianu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Benso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Bardini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Politano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. Di","family":"Carlo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/BIBM.2017.8217637"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-31744-1_28"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.csbj.2017.07.005"},{"key":"ref13","author":"perry","year":"1993","journal-title":"VHDL (2Nd Ed )"},{"key":"ref14","year":"2018","journal-title":"Gene Ontology"},{"key":"ref15","year":"2018","journal-title":"Pathway onthology"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19488-2_13"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.3389\/fninf.2014.00079"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.pbiomolbio.2004.01.004"},{"key":"ref6","article-title":"Biopax a community standard for pathway data sharing","volume":"28","author":"goldberg","year":"2010","journal-title":"Nature Biotechnology"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1000815"},{"key":"ref8","article-title":"Synthetic biology open language (sbol) version 2.2. 0","volume":"15","author":"cox","year":"2018","journal-title":"Journal of Integrative Bioinformatics"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1038\/nbt.2891"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-7-135"},{"key":"ref1","year":"2018"},{"key":"ref9","article-title":"Object petri nets: Using the nets-within-nets paradigm, advanced course on petri nets 2003 (j.desel, w. reisig, g. rozenberg, eds.), 3098","volume":"3","author":"valk","year":"2003","journal-title":"Appendix A Proof of Theorem"}],"event":{"name":"2018 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)","location":"Madrid, Spain","start":{"date-parts":[[2018,12,3]]},"end":{"date-parts":[[2018,12,6]]}},"container-title":["2018 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8609864\/8621069\/08621533.pdf?arnumber=8621533","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T18:28:27Z","timestamp":1598207307000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8621533\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/bibm.2018.8621533","relation":{},"subject":[],"published":{"date-parts":[[2018,12]]}}}