重点大学计算机教材：Petri网导论

图书标准信息

• 作者 吴哲辉 著
• 出版社 机械工业出版社
• 出版时间 2006-04
• 版次 1
• ISBN 9787111182788
• 定价 35.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 312页

【内容简介】

　　Petri网是什么？它是分布式系统的建模和分析工具。它特别便于描述系统中进程或部件的顺序、并发、冲突以及同步等关系。作为一种系统模型，Petri网不仅可以刻画系统的结构，而且可以描述系统的动态行为（如系统的状态变化等）。Petri网既有直观的图形表示，又可以引入许多数学方法对其性质进行分析。对于复杂的系统，Petri网可以对其进行分层描述，逐步求精，便于同面向对象的思想方法相沟通。　　
　　本书是作者在从事Petri网理论课程教学的基础上撰写而成，主要介绍Petri网的基本原理和基本分析方法，以及这些原理和方法在对实际系统进行建模和分析中的应用，同时也包含了一部分作者自己的研究成果。主要内容包括：Petri网的基本概念、基本性质和基本分析方法，各种常见的Petri网的变型模型，通用网论中并发论和同步论的基本内容等。
　　本书可作为高等院校计算机专业、自动化专业的研究生或高年级本科生教材，也可供相关技术人员参考。

【作者简介】

　　吴哲辉，1941年3月生于广东省连州市，1965年毕业于中山大学数学力学系。1981年1983年在美国芝加哥伊利诺伊大学作访问学者，学习计算机科学理论，从那时起开始从事Petri网理论及应用的研究工作。现任山东科技大学教授、博士生导师，中国计算机学会Petri网专委会主任。
　　从1987年开始，他主持承担过关于Petri网理论和应用研究的6项国家自然科学基金项目，在《中国科学》、《科学通报》、《计算机学报》、《软件学报》、《JournalofTheFranklinInstitute》、《InternationalJournalofMathematicsandComputerScience》等国仙外学术刊物发表学术论文100余篇，获得过原国家教委、煤炭部和山东省的4项省部级科技奖。先后被评为国家级有突出贡献的中青年专家、山东省专业技术拔尖人才、全国模范教师等。

【目录】

前言
第一章网与网系统
第二章Petri网的动态性质
第三章Petri网的分析方法
第四章Petri网的结构性质
第五章一些Petri网子类的动态性质分析
第六章Petri网运算
第七章高级Petri网
第八章增广Petri网
第九章含时间因素的Petri网
第十章其他Petri网变形模型简介
第十一章并发论
第十二章同步距离
索引