使用Petri网对并行实时系统的客户机-服务器行为进行建模

Proceedings of the Twenty-Eighth Annual Hawaii International Conference on System Sciences Pub Date : 1995-01-04 DOI:10.1109/HICSS.1995.375444

C. I. Birkinshaw, P. Croll

{"title":"使用Petri网对并行实时系统的客户机-服务器行为进行建模","authors":"C. I. Birkinshaw, P. Croll","doi":"10.1109/HICSS.1995.375444","DOIUrl":null,"url":null,"abstract":"Guaranteeing the timeliness of a parallel hard real-time system, requires knowledge of its communication behaviour. Analysis of the communication structure can identify potential livelock and deadlock in parallel systems. An approach which describes the communications of parallel systems, called a client-server behaviour graph, is given which enables a Petri net model of a complete system to be built in a compositional manner, reducing the state explosion problem in the identification of both deadlocks and livelocks.<<ETX>>","PeriodicalId":433759,"journal":{"name":"Proceedings of the Twenty-Eighth Annual Hawaii International Conference on System Sciences","volume":"43 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1995-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"10","resultStr":"{\"title\":\"Modelling the client-server behaviour of parallel real-time systems using Petri nets\",\"authors\":\"C. I. Birkinshaw, P. Croll\",\"doi\":\"10.1109/HICSS.1995.375444\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Guaranteeing the timeliness of a parallel hard real-time system, requires knowledge of its communication behaviour. Analysis of the communication structure can identify potential livelock and deadlock in parallel systems. An approach which describes the communications of parallel systems, called a client-server behaviour graph, is given which enables a Petri net model of a complete system to be built in a compositional manner, reducing the state explosion problem in the identification of both deadlocks and livelocks.<<ETX>>\",\"PeriodicalId\":433759,\"journal\":{\"name\":\"Proceedings of the Twenty-Eighth Annual Hawaii International Conference on System Sciences\",\"volume\":\"43 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1995-01-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"10\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the Twenty-Eighth Annual Hawaii International Conference on System Sciences\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/HICSS.1995.375444\",\"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 the Twenty-Eighth Annual Hawaii International Conference on System Sciences","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HICSS.1995.375444","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 10

摘要

保证并行硬实时系统的时效性，需要了解其通信行为。分析通信结构可以识别并行系统中潜在的活锁和死锁。给出了一种描述并行系统通信的方法，称为客户端-服务器行为图，它使完整系统的Petri网模型能够以组合方式构建，从而减少了在识别死锁和活锁时的状态爆炸问题。

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

查看原文本刊更多论文

Modelling the client-server behaviour of parallel real-time systems using Petri nets

Guaranteeing the timeliness of a parallel hard real-time system, requires knowledge of its communication behaviour. Analysis of the communication structure can identify potential livelock and deadlock in parallel systems. An approach which describes the communications of parallel systems, called a client-server behaviour graph, is given which enables a Petri net model of a complete system to be built in a compositional manner, reducing the state explosion problem in the identification of both deadlocks and livelocks.<>

求助全文

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

来源期刊

Proceedings of the Twenty-Eighth Annual Hawaii International Conference on System Sciences

自引率

0.00%

发文量