{"title":"组成生物系统的petri网模型","authors":"Safae Cherdal, S. Mouline","doi":"10.1109/ICTA.2015.7467058","DOIUrl":null,"url":null,"abstract":"Mathematical modelling of complex biological systems has limitations in behaviour study of this kind of systems. In order to study and predict these systems, the adoption of computer modelling has become increasingly widespread in systems biology. In this sense, the adoption of formal modelling formalism allows to model and verify dynamical properties of these particular systems. In this paper we propose to use Petri nets to model a biological complex system composed of folate and methionine cycles as well as transsulfuration and glutathione biosynthesis pathways.","PeriodicalId":375443,"journal":{"name":"2015 5th International Conference on Information & Communication Technology and Accessibility (ICTA)","volume":"80 2 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"A petri net model for a composed biological system\",\"authors\":\"Safae Cherdal, S. Mouline\",\"doi\":\"10.1109/ICTA.2015.7467058\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Mathematical modelling of complex biological systems has limitations in behaviour study of this kind of systems. In order to study and predict these systems, the adoption of computer modelling has become increasingly widespread in systems biology. In this sense, the adoption of formal modelling formalism allows to model and verify dynamical properties of these particular systems. In this paper we propose to use Petri nets to model a biological complex system composed of folate and methionine cycles as well as transsulfuration and glutathione biosynthesis pathways.\",\"PeriodicalId\":375443,\"journal\":{\"name\":\"2015 5th International Conference on Information & Communication Technology and Accessibility (ICTA)\",\"volume\":\"80 2 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2015-12-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2015 5th International Conference on Information & Communication Technology and Accessibility (ICTA)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICTA.2015.7467058\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2015 5th International Conference on Information & Communication Technology and Accessibility (ICTA)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICTA.2015.7467058","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A petri net model for a composed biological system
Mathematical modelling of complex biological systems has limitations in behaviour study of this kind of systems. In order to study and predict these systems, the adoption of computer modelling has become increasingly widespread in systems biology. In this sense, the adoption of formal modelling formalism allows to model and verify dynamical properties of these particular systems. In this paper we propose to use Petri nets to model a biological complex system composed of folate and methionine cycles as well as transsulfuration and glutathione biosynthesis pathways.