{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T20:13:38Z","timestamp":1761941618898,"version":"build-2065373602"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/wsc.2005.1574266","type":"proceedings-article","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T11:24:16Z","timestamp":1138188256000},"page":"317-326","source":"Crossref","is-referenced-by-count":6,"title":["Discrete Event Systems Specification in Systems Biology - A Discussion of Stochastic Pi calculius and Devs"],"prefix":"10.1109","author":[{"given":"A.M.","family":"Uhrmacher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Priami","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Communicating and Mobile Systems The ? Calculus","year":"1999","author":"milner","key":"19"},{"article-title":"The role of the attenuation of the tryptophan operon in the pi calculus","year":"0","author":"kuttler","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1177\/0037549704045800"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-0290(19961220)52:6<633::AID-BIT1>3.0.CO;2-P"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/11880646_6"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/b97265"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.2004.1301292"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1021\/jp993732q"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1021\/j100540a008"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/38.7.578"},{"key":"20","article-title":"A correct abstract machine for the stochastic pi-calculus","author":"phillips","year":"2004","journal-title":"BioConcur 2004"},{"key":"22","doi-asserted-by":"crossref","DOI":"10.1007\/11567752","article-title":"Beta binders for biological interactions","author":"priami","year":"2005","journal-title":"Transactions on Computational Systems Biology II"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1142\/S0219720005001132"},{"key":"24","article-title":"Representation and simulation of molecular pathways in the stochastic pi-calculus","author":"regev","year":"2001","journal-title":"Proceedings of the 2nd workshop on Computation of Biochemical Pathways and Genetic Networks"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.03.061"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.98.4.1364"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/384169.384173"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1093\/bib\/2.3.258"},{"key":"29","first-page":"195","article-title":"Toward A Simulation Methodology for Variable Structure Modeling","author":"zeigler","year":"1986","journal-title":"Modeling and Simulation in the Artificial Intelligence Era"},{"key":"3","first-page":"154","article-title":"Transforming statecharts to DEVS","author":"borland","year":"2003","journal-title":"Summer Computer Simulation Conference Student Workshop"},{"key":"2","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1145\/1029174.1029178","article-title":"Modeling of discrete event systems: A holistic and incremental approach using petri nets","volume":"14","author":"bobeanu","year":"2004","journal-title":"ACM Trans Model Comput Simul"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2005.31"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/268403.268423"},{"journal-title":"Theory of Modeling and Simulation","year":"2000","author":"zeigler","key":"30"},{"key":"7","article-title":"A variable structure model - the tryptophan operon","author":"degenring","year":"2005","journal-title":"CMSB"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1089\/10665270252833208"},{"year":"0","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00231-5"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1101\/gr.1215303"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.biosystems.2004.03.008"}],"event":{"name":"Winter Simulation Conference, 2005.","location":"Orlando, FL. USA"},"container-title":["Proceedings of the Winter Simulation Conference, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10515\/33294\/01574266.pdf?arnumber=1574266","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T22:45:21Z","timestamp":1497653121000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1574266\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/wsc.2005.1574266","relation":{},"subject":[]}}