{"title":"A Kind of Object-Oriented Petri Net and Its Application","authors":"Xin Liui, Guisheng Yin, Ziying Zhang","doi":"10.1109/ICICSE.2008.68","DOIUrl":null,"url":null,"abstract":"By the introduction of object-oriented, a model for the object-oriented Petri net (OOPN) is developed on basis of Petri net in this paper. The systematic structure and its formal definition and its modeling step are described in detail. According to the characteristics of the autonomous underwater vehicle (AUV) system environment, a complete OOPN model for AUV is developed, which can reflect the dynamic behaviors of the system more really, thus the more effective tool for the modeling and the analysis of AUV is provided.","PeriodicalId":333889,"journal":{"name":"2008 International Conference on Internet Computing in Science and Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-01-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 International Conference on Internet Computing in Science and Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICICSE.2008.68","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
By the introduction of object-oriented, a model for the object-oriented Petri net (OOPN) is developed on basis of Petri net in this paper. The systematic structure and its formal definition and its modeling step are described in detail. According to the characteristics of the autonomous underwater vehicle (AUV) system environment, a complete OOPN model for AUV is developed, which can reflect the dynamic behaviors of the system more really, thus the more effective tool for the modeling and the analysis of AUV is provided.