2012年7月5日
基于petri网分析并发控制
摘要： 1. 简介 petri网是用来分析并发行为的一种形式模型。举例来说，一个进程创建两个线程，然后等待它们结束，如下图： Figure 1：开始进程 T2: 创建； T3: 合并；T1和T2为各自线程的操作。 P5为起始控制点，其中的黑点儿为token，表示拥有控制权。经过T2以后，P5失去控制权，P0 阅读全文
posted @ 2012-07-05 16:33 yunfeng_net 阅读(1594) 评论(0) 推荐(0) 编辑