出版社:上海交通大学出版社
年代:2018
定价:25.0
本书的主要内容为Petri网的层次化抽象方法及其实际应用,具体分为三个方面进行阐述:第一部分从模型抽象的层次化方法入手,细致探讨了Petri网的模型抽象研究的相关方法,其中包含了层次化建模以及基于层次化建模实现的系统评价;第二部分从行为抽象的角度出发,探讨了利用行为轮廓实现模型层次化抽象的方法和技术。模型抽象是基础,而行为抽象则在模型抽象的基础上综合考虑了网的语义信息,因此,行为抽象的语义背景更加丰富,难度也更大。第三部分,则从行为抽象方法的变化分析和变化传播入手,首先探讨了变化发生的因果效应,根据因果行为轮廓,对系统中发生的变化进行分析,进而通过网络日志行为用户的行为分析,给出用户分层模型及其算法研究。这些研究内容,系统阐述了Petri网的层次化抽象方法的研究理论,可以作为Petri网理论与应用、行为分析及抽象等专业方向研究生或博士的教材或参考书。