{"title":"An SMT-Based Perfect Sampling Algorithm for Stochastic Petri Nets","authors":"H. Okamura, Kazuya Morihara, T. Dohi","doi":"10.1145/3388831.3388844","DOIUrl":null,"url":null,"abstract":"This paper proposes a perfect sampling algorithm for stochastic Petri nets (SPN). The perfect sampling is a technique to draw samples exactly following the stationary distribution. The paper develops the enveloped perfect sampling algorithm (EPSA) for SPN. The main idea behind our approach is to formulate the mathematical programming to obtain lower and upper bounds of system states which are required by EPSA, and the problem is solved by using SMT (satisfiability modulo theories) solver. The presented SMT-based EPSA for SPN expands the applicability of perfect sampling algorithm for SPNs.","PeriodicalId":419829,"journal":{"name":"Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools","volume":"6 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3388831.3388844","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
This paper proposes a perfect sampling algorithm for stochastic Petri nets (SPN). The perfect sampling is a technique to draw samples exactly following the stationary distribution. The paper develops the enveloped perfect sampling algorithm (EPSA) for SPN. The main idea behind our approach is to formulate the mathematical programming to obtain lower and upper bounds of system states which are required by EPSA, and the problem is solved by using SMT (satisfiability modulo theories) solver. The presented SMT-based EPSA for SPN expands the applicability of perfect sampling algorithm for SPNs.