基于区域的Petri网建模中断和取消

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

J. Borkowski

{"title":"基于区域的Petri网建模中断和取消","authors":"J. Borkowski","doi":"10.1109/PCEE.2002.1115203","DOIUrl":null,"url":null,"abstract":"A synchronization mechanism using asynchronous activation and cancellation is considered. A process can receive asynchronous signals. The signals can either suspend the current activity causing the process to execute a handling procedure, or they can cancel the current computation. The Petri net formalism is employed to describe the behavior of the system. An extension to Color Petri Nets, region based PN, is proposed to model actions effecting a set of places while the exact marking is neither known nor important.","PeriodicalId":444003,"journal":{"name":"Proceedings. International Conference on Parallel Computing in Electrical Engineering","volume":"17 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2002-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Region-based Petri nets for modeling interrupts and cancellations\",\"authors\":\"J. Borkowski\",\"doi\":\"10.1109/PCEE.2002.1115203\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A synchronization mechanism using asynchronous activation and cancellation is considered. A process can receive asynchronous signals. The signals can either suspend the current activity causing the process to execute a handling procedure, or they can cancel the current computation. The Petri net formalism is employed to describe the behavior of the system. An extension to Color Petri Nets, region based PN, is proposed to model actions effecting a set of places while the exact marking is neither known nor important.\",\"PeriodicalId\":444003,\"journal\":{\"name\":\"Proceedings. International Conference on Parallel Computing in Electrical Engineering\",\"volume\":\"17 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2002-09-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"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.1115203\",\"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.1115203","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

考虑了使用异步激活和取消的同步机制。进程可以接收异步信号。信号可以挂起当前活动，导致进程执行处理过程，也可以取消当前的计算。采用Petri网的形式描述系统的行为。对彩色Petri网的扩展，基于区域的PN，提出了影响一组地方的行为模型，而确切的标记既不知道也不重要。

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

查看原文本刊更多论文

Region-based Petri nets for modeling interrupts and cancellations

A synchronization mechanism using asynchronous activation and cancellation is considered. A process can receive asynchronous signals. The signals can either suspend the current activity causing the process to execute a handling procedure, or they can cancel the current computation. The Petri net formalism is employed to describe the behavior of the system. An extension to Color Petri Nets, region based PN, is proposed to model actions effecting a set of places while the exact marking is neither known nor important.

求助全文

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

来源期刊

Proceedings. International Conference on Parallel Computing in Electrical Engineering

自引率

0.00%

发文量