{"title":"基于Petri网的卫星星座建模与仿真","authors":"J.-F. Ereau, M. Saleman","doi":"10.1109/RAMS.1996.500644","DOIUrl":null,"url":null,"abstract":"This paper presents the approach taken by the French Space Agency for studying the availability of today's relevant space systems: satellite constellations. These non-Markovian distributed systems require powerful models to be described and analyzed. Over a generic example of a satellite constellation we illustrate Petri net's ability to deal with such complex projects from both modeling and evaluation view points. Results of such studies overcome the sole verification of availability objectives and actually provide interesting outputs for project managers. This is shown through the interpretation of typical results.","PeriodicalId":393833,"journal":{"name":"Proceedings of 1996 Annual Reliability and Maintainability Symposium","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"1996-01-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"9","resultStr":"{\"title\":\"Modeling and simulation of a satellite constellation based on Petri nets\",\"authors\":\"J.-F. Ereau, M. Saleman\",\"doi\":\"10.1109/RAMS.1996.500644\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper presents the approach taken by the French Space Agency for studying the availability of today's relevant space systems: satellite constellations. These non-Markovian distributed systems require powerful models to be described and analyzed. Over a generic example of a satellite constellation we illustrate Petri net's ability to deal with such complex projects from both modeling and evaluation view points. Results of such studies overcome the sole verification of availability objectives and actually provide interesting outputs for project managers. This is shown through the interpretation of typical results.\",\"PeriodicalId\":393833,\"journal\":{\"name\":\"Proceedings of 1996 Annual Reliability and Maintainability Symposium\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-01-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"9\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 1996 Annual Reliability and Maintainability Symposium\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/RAMS.1996.500644\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of 1996 Annual Reliability and Maintainability Symposium","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/RAMS.1996.500644","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Modeling and simulation of a satellite constellation based on Petri nets
This paper presents the approach taken by the French Space Agency for studying the availability of today's relevant space systems: satellite constellations. These non-Markovian distributed systems require powerful models to be described and analyzed. Over a generic example of a satellite constellation we illustrate Petri net's ability to deal with such complex projects from both modeling and evaluation view points. Results of such studies overcome the sole verification of availability objectives and actually provide interesting outputs for project managers. This is shown through the interpretation of typical results.