西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Petri网活性与应用/刘关俊, 蒋昌俊著

出版发行项:

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

ISBN及定价:

978-7-5608-7428-9 精装/CNY68.00

载体形态项:

192页:图;24cm

并列正题名:

Liveness of petri nets and lts application

丛编项:

同济博士论丛

个人责任者:

刘关俊 著

个人责任者:

蒋昌俊 著

学科主题:

Petri网-系统建模-研究

中图法分类号:

TP393.19

一般附注:

工学·计算机科学与技术

书目附注:

有书目 (第174-190页)

提要文摘附注:

Petri网是一种模拟并发系统的数学模型, 活性是Petri网的重要性质之一, 与并发系统的无死锁性密切相关。本书以Petri网活性为主线, 开展了Petri网 (子类) 的活性判定、基于Petri网的资源分配系统死锁预防策略、基于Petri网的交互式系统活性与兼容性分析等三方面的研究。

豆瓣简介：