×

有色Petri网在系统开发中的应用。 (英语) Zbl 1088.68664号

Desel,Jörg(编辑)等人,《并发和Petri网讲座》。Petri网的进展。柏林:施普林格出版社(ISBN 3-540-22261-8/pbk)。计算机科学课堂讲稿3098,626-685(2004)。
概述:彩色Petri网(CP-Nets或CPN)及其支持的计算机工具已被广泛应用于通信协议、软件设计和嵌入式系统等应用领域。CP网络的实际应用也涵盖了系统开发的许多阶段,从需求到设计、验证和实现。本文介绍了四个案例研究,其中CP网络及其支持的计算机工具已用于与行业合作伙伴的系统开发项目。选择的案例研究说明了CP-net在系统开发的不同阶段的不同应用领域。
关于整个系列,请参见[Zbl 1052.68003号].

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部