Petri网的并行仿真分析

Proceedings. International Conference on Parallel Computing in Electrical Engineering Pub Date : 2002-09-22 DOI:10.1109/PCEE.2002.1115207

A. Karatkevich, A. Zakrevskij

{"title":"Petri网的并行仿真分析","authors":"A. Karatkevich, A. Zakrevskij","doi":"10.1109/PCEE.2002.1115207","DOIUrl":null,"url":null,"abstract":"In the paper the task of concurrent analysis of a Petri net is considered. A Petri net is given, and several processes able to simulate transition firings. The methods of analysis described in this paper are based on the original approach to net decomposition and oriented for the so-called operational nets and a class of cyclic Petri nets. The methods analyze the nets by reduced state space construction; both their sequential and parallel versions are described. Also the algorithm of decomposition oriented to concurrent analysis is described. The suggested methods of analysis can be implemented as a multithreaded application.","PeriodicalId":444003,"journal":{"name":"Proceedings. International Conference on Parallel Computing in Electrical Engineering","volume":"49 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2002-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Analysis of Petri nets by means of concurrent simulation\",\"authors\":\"A. Karatkevich, A. Zakrevskij\",\"doi\":\"10.1109/PCEE.2002.1115207\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In the paper the task of concurrent analysis of a Petri net is considered. A Petri net is given, and several processes able to simulate transition firings. The methods of analysis described in this paper are based on the original approach to net decomposition and oriented for the so-called operational nets and a class of cyclic Petri nets. The methods analyze the nets by reduced state space construction; both their sequential and parallel versions are described. Also the algorithm of decomposition oriented to concurrent analysis is described. The suggested methods of analysis can be implemented as a multithreaded application.\",\"PeriodicalId\":444003,\"journal\":{\"name\":\"Proceedings. International Conference on Parallel Computing in Electrical Engineering\",\"volume\":\"49 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2002-09-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. International Conference on Parallel Computing in Electrical Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/PCEE.2002.1115207\",\"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. International Conference on Parallel Computing in Electrical Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PCEE.2002.1115207","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 5

摘要

本文研究了Petri网的并行分析问题。给出了一个Petri网，并给出了几个可以模拟过渡点火的过程。本文所描述的分析方法是基于原始的网络分解方法，面向所谓的操作网和一类循环Petri网。该方法通过约简状态空间构造对网络进行分析;描述了它们的顺序和并行版本。并介绍了面向并行分析的分解算法。建议的分析方法可以作为多线程应用程序实现。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Analysis of Petri nets by means of concurrent simulation

In the paper the task of concurrent analysis of a Petri net is considered. A Petri net is given, and several processes able to simulate transition firings. The methods of analysis described in this paper are based on the original approach to net decomposition and oriented for the so-called operational nets and a class of cyclic Petri nets. The methods analyze the nets by reduced state space construction; both their sequential and parallel versions are described. Also the algorithm of decomposition oriented to concurrent analysis is described. The suggested methods of analysis can be implemented as a multithreaded application.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings. International Conference on Parallel Computing in Electrical Engineering

自引率

0.00%

发文量