杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

基于Petri网精炼的系统建模与分析/丁志军著

出版发行项:

上海:同济大学出版社,2017

ISBN及定价:

978-7-5608-6829-5 精装/CNY50.00

载体形态项:

143页:图;25cm

并列正题名:

Petri net refinement based system modeling and analysis

丛编项:

同济博士论丛

个人责任者:

丁志军 著

学科主题:

Petri网-系统建模

中图法分类号:

TP393.19

一般附注:

同济大学1907-2017

书目附注:

有书目 (第128-141页)

提要文摘附注:

本文面向系统综合, 着重从Petri网语言角度讨论了Petri网精炼操作的动态行为和系统性质。首先定义了一类Petri网的精炼操作, 基于序列投影, 建立了精炼Petri网与原网、子网间的动态行为关联关系, 并分析了该精炼操作的相关动态性质, 给出了一组性质保持判据。

豆瓣简介：