- 博客(1)
- 收藏
- 关注
原创 Coloured Petri Nets简述
Coloured Petri Nets学习(一)前言概述前言在阶段性学习了一段时间CPNs以后,想在这里总结一些学习心得,如有错误,欢迎指正。这本书是Kurt Jensen和Lars Michael Kristensen,一些相关学习资料可以从以下网址中获得:http://www.cs.au.dk/CPnets/cpnbook/概述有色Petri网(CPNs)是一种用于建模和验证并发和分布式系统以及其他系统的语言。书中介绍了CPNs建模语言的结构、解释了CPN模型是怎样便利地对系统进行仿真、状态空
2021-01-14 14:11:33 3971 1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人