×
苏珊娜·多纳泰利；朱利安娜·弗朗西斯科尼斯

PSR方法：集成硬件和软件模型。 （英语） Zbl 1418.68007号

Billington，Jonathan（编辑）等人，《Petri网的应用和理论》，1996年。第17届国际会议，日本大阪，1996年6月24日至28日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1091, 133-152 (1996).
摘要：本文提出了一种构建软硬件集成GSPN模型的新方法。PSR方法是中定义的过程/资源盒方法的扩展[O.博蒂和D.德辛迪奥，“过程和资源盒：应用程序和架构的集成PN性能模型”，收录于：系统、人和控制论国际会议论文集，SMC 1993。加利福尼亚州洛斯·阿拉莫斯：IEEE计算机学会（1993；doi:10.1109/ICSMC.1993.384809)]它包括定义三个子模型，即（mathcal{P}）级（进程）、（mathca{S}）层（服务）和（mathcal{R}）、级（资源），以及组合规则，以将它们组合成整个系统的完整集成GSPN模型。
这项工作的动机是需要一种系统方法来构建（并行）硬件-软件模型。通过一个相对复杂系统的运行示例，讨论了该方法的充分性。
有关整个系列，请参见[Zbl 1076.68502号].

引用于1文件

MSC公司：

2007年7月68日 计算机体系结构的数学问题
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

共享内存；平行合成；进程代数；串行链路；种族政策

软件：

政治公众人物协议
PDF格式BibTeX公司 XML格式引用
\textit｛S.Donatelli｝和\textit｛G.Franceschinis｝，Lect。票据计算。科学。1091、133--152（1996年；Zbl 1418.68007）
全文： 内政部

参考文献：

[1] M.Ajmone Marsan、G.Balbo、G.Conte、S.Donatelli和G.Franceschinis。广义随机Petri网建模。J.Wiley，1995年·Zbl 0843.68080号
[2] M.Bernardo、L.Donatiello和R.Gorrieri。使用马尔科夫过程代数对并发分布式系统进行集成分析。程序中。第七届形式描述技术国际会议，瑞士伯尔纳，1994年10月。
[3] E.Best、R.Devillers和J.Hall。Petri盒演算：一个具有多标记通信的新因果代数。G.Rozenberg，编者，《Petri网进展》，LNCS第609卷，第21-69页。施普林格出版社，1992年。
[4] E.Best、H.Fleischack、W.Fraczak、R.P.Hopkins、H.Klaudel和E.Pelz。一类可组合的高级Petri网，应用于B（PN）^2的语义。程序中。1995年6月在意大利都灵举行的第16届Petri网应用和理论国际会议上发表。斯普林格·弗拉格。LNCS 935。
[5] O.Botti和F.De Cindio。进程和资源盒：应用程序和架构的集成pn性能模型。在IEEE程序中。《系统、人与控制论国际会议》，法国勒托奎特，1993年。
[6] O.Botti、S.Donatelli和G.Franceschinis。通过swn模型仿真评估多处理器体系结构的性能：工厂自动化系统领域的一个案例研究。提交给第29届年度模拟研讨会（SCS），美国路易斯安那州新奥尔良，1996年4月，1995年。
[7] P.布赫霍尔茨。彩色GSPN中的层次结构。程序中。第14名实习生。Petri网应用和理论会议，LNCS第691卷，伊利诺伊州芝加哥，1993年6月。斯普林格·弗拉格。
[8] P.Buchholz（巴赫霍尔茨）。马尔科夫过程代数：合成与等价。在U.Herzog和M.Rettelbach，编辑，Proc。第二届过程代数和性能建模研讨会，爱尔兰根，1994年。
[9] G.Chiola、C.Dutheillet、G.Franceschinis和S.Haddad。对称建模应用的随机格式良好的彩色网。IEEE计算机汇刊，42（11），1993年11月·Zbl 0903.68130号
[10] F.De Cindio和O.Botti。通过GSPN模型比较Occam2项目布局。程序中。第四名实习生。Petri网和性能模型研讨会，第216-221页，澳大利亚墨尔本，1991年12月。IEEE-CS出版社。
[11] S.Donatelli、G.Franceschinis、M.Ribaudo和S.Russo。在EPOCA中使用GSPN进行并发软件验证。信息与软件技术，36（7）：443-4481994。
[12] A.费舍尔。用PRM-net模型模拟并行计算到并行体系结构的映射。程序中。IFIP-WG 10.3分散系统工作会议，里昂，1989年12月。
[13] A.费舍尔。面向性能的并行程序设计的Petri网方法。《并行与分布式计算杂志》，15（3）：188-2061992年7月。并行计算机Petri网建模专题。
[14] 斯蒂芬·吉尔摩和简·希尔斯顿。PEPA工作台：支持基于进程代数的性能建模方法的工具。程序中。第七届计算机性能评估建模技术和工具国际会议，维也纳，1994年。
[15] N.Gotz、U.Herzog和M.Rettelbach。多处理器和分布式系统设计：使用随机进程代数集成功能规范和性能分析。在教程程序中。《1993年性能》，LNCS第729卷，罗马，1994年。
[16] 简·希尔斯顿。同步的性质。在U.Herzog和M.Rettelbach，编辑，Proc。第二届过程代数和性能建模研讨会，爱尔兰根，1994年·Zbl 1417.68131号
[17] 简·希尔斯顿。使用过程代数的组合马尔可夫模型。程序中。第二届马尔可夫链数值解国际研讨会，北卡罗来纳州罗利，1995年1月·Zbl 0861.90121号
[18] J.L.Villaroel、J.Martinez和M.Silva。格拉曼：用于制造系统设计的图形系统。程序中。IMACS系统建模与仿真研讨会，意大利Cetraro，1988年9月18日至21日，1989年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。