隐变迁是指一些存在于过程模型中,但没有出现在日志序列中的变迁。这样的变迁会大量存在于现实的模型中。从事件日志中寻找挖掘隐变迁的方法是过程挖掘技术的一个重要的难题。目前针对自由选择网有一些解决办法,但是对于复杂的过程模型有一定的局限性。本文提出了基于Petri网行为轮廓寻找隐变迁的方法。首先根据发生频率最高日志序列得出源模型,再根据剩余的日志序列一步步优化源模型从而找到隐变迁,最后通过评价指标来判定模型的合理性。

供混杂系统建模使用，在MATLAB 6.5以上版本中使用。可以建立5种类型的PETRI网。 The software Petri Net Toolbox, dealing with Petri nets under MATLAB, is presented. It can handle five types of Petri nets(untimed, transition-timed, place-timed,stochastic and generalized stochastic) with finite or infinite capacity. The toolbox is equipped with a user-friendly graphical interface and allows three simulation modes accompanied or not by animation.

一种基于Petri网的现场总线建模方法，杨晓川，郭磊，对于复杂的协议机制，其中协议形式化描述是技术难点所在点所在。Petri网是一种离散系统的建模与分析工具，在网络协议描述方面有良�

[Petri网原理与应用].袁崇义.扫描版

无线网络安全协议Kerberos的Petri网建模.pdf

行业分类-设备装置-一种将PLC指令表程序转换成普通Petri网的方法.zip

行业分类-设备装置-一种将可编程逻辑控制器程序转换为普通Petri网的方法.zip

Petri网详细介绍与学习

行业分类-外包设计-基于行为流空间状态传递Petri网的发动机空间序列建模方法.zip

有色petri网（colored petri netscape）建模工具CPN是一款非常优秀的有色petri网模拟及检验工具，CPN 中文帮助文档对想要系统学习有色Petri网的朋友来说是个不错的选择哦~~~