小燕子的博客

在计算机的世界里越陷越深

银行账户管理系统着色Petri网建模

使用三层Colored Petri Nets对银行账户管理系统建模。

2017-01-09 13:53:11

阅读数 1492

评论数 16

生产者消费者模型有限状态机建模

缓冲区容量为1的生产者消费者模型有限状态机建模。

2017-01-08 22:49:24

阅读数 823

评论数 0

提示
确定要删除当前文章?
取消 删除