建模工具基于Petri Nets 的cpn tools

用java编写的petri网工具,比较小巧好用

Sinatra Active Record入门套件此模板提供了一个基本的应用程序，其中包括：使用用于数据库的在开发过程中自动重新加载修改过的文件，用于单元测试的工具，用于验收测试的工具，调试入门。操作

情境感知系统对情境信息的利用程度在不断提高，对服务的多样性提出了更高要求，但是传统的情境感知系统的建模方法难以满足对系统动态描述和模拟的需求。通过对传统的Petri网进行扩展，提出了情境感知系统的赋时

基于颜色Petri网的再制造工艺过程建模与优化调度方法，李玲玲，李聪波，针对再制造工艺过程的众多不确定性问题，建立了一个基于颜色Petri网的再制造工艺过程模型，引入颜色标识描述了再制造工艺路线不确�

在建立FMS物流系统Petri网模型的基础上，采用“映射”思想，将Petri网模型转化为物流系统的仿真程序，提出了库所映射为程序数据、变迁映射为程序函数、系统子网映射为FMS系统基本类的映射方法，通过

时序Petri网结合Petri和时序逻辑的优点，清晰简洁的描述并发系统事件间的时序和因果关系，包括系统的最终性和公平性。本文给出安全苛求系统——车站信号联锁逻辑系统的时序Petri网描述，并使用时序逻

提出了一种基于有色Petri网的建模方法，在系统的Petri网模型中可以对中国墙策略进行分析和验证。给出了基于有色Petri网的混合安全策略的形式化定义；并通过一个系统实例阐述了如何利用该方法对系统的

提出了一种基于二维平面靶标的标定点匹配方法。该方法规定靶标中标定点由外向内螺旋排序，靶标图像中通过图像处理方法提取出来的标定点遵循同样的排序规则进行排序，按照标定点排序序列对其进行匹配。通过仿真实验和

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

针对采用人工免疫机制的信息系统，为了简化其攻防博弈建模过程并对有限时间内的博弈结果进行预测，基于Petri网提出了信息系统安全态势评估网，对信息系统人工免疫过程的攻击态势和防御态势进行了建模；并针对所