二分图自动生成算法及其软件实现
二分图是用来表示Petri网结构的双枝有向多重图.Petri网理论是一种系统描述与分析的工具.由于其能够描述和研究系统中的异步、并发、冲突等现象,目前已被广泛地应用.本文介绍了二分图的绘制系统与动态演示系统的功能及其原理.该系统以数据库文件作为系统的输入界面,只要给定位置、位置输入集、输出集以及位置中的令牌(Token),就可以在屏幕上绘制二分图,并对当前状态下的迁移进行分析,判断其有无引发权、并发、冲突等.用户可选择任一有引发权的迁移进行逐步动态演示,使用户对每一步操作都一目了然.
Petri网 二分图 自动生成 动态演示
冀鑫泉 饶光 桂志波
南京邮电学院计算机科学与技术系(南京)
国内会议
成都
中文
198-202
2001-08-01（万方平台首次上网日期，不代表论文的发表时间）