CPN学习资源与模型实例

上传者: baidu_36416285 | 上传时间: 2019-12-21 19:27:10 | 文件大小: 6.17MB | 文件类型: rar
CPN
适合初学CPN朋友们,文件内容包括cpntools安装包,一些模型实例,与相关CPN的学习资源。

文件下载

资源详情

[{"title":"( 43 个子文件 6.17MB ) CPN学习资源与模型实例","children":[{"title":"CPN Learning materials and model example","children":[{"title":"cpn04zv.cpn <span style='color:#111;'> 134.83KB </span>","children":null,"spread":false},{"title":"CPN概述.doc <span style='color:#111;'> 46.00KB </span>","children":null,"spread":false},{"title":"zip.cpn <span style='color:#111;'> 1.25MB </span>","children":null,"spread":false},{"title":"chapters","children":[{"title":"7-State Spaces and Behavioural Properties.pdf <span style='color:#111;'> 287.39KB </span>","children":null,"spread":false},{"title":"6-Formal Definition of Hierarchical Coloured Petri Nets.pdf <span style='color:#111;'> 212.17KB </span>","children":null,"spread":false},{"title":"2-Non-hierarchical Coloured Petri Nets.pdf <span style='color:#111;'> 278.09KB </span>","children":null,"spread":false},{"title":"15-Teaching Coloured Petri Nets.pdf <span style='color:#111;'> 136.67KB </span>","children":null,"spread":false},{"title":"1-Introduction to Modelling and Validation.pdf <span style='color:#111;'> 321.53KB </span>","children":null,"spread":false},{"title":"9-Formal Definition of State Spaces and Behavioural Properties.pdf <span style='color:#111;'> 247.79KB </span>","children":null,"spread":false},{"title":"3-CPN ML Programming.pdf <span style='color:#111;'> 258.70KB </span>","children":null,"spread":false},{"title":"13-Behavioural Visualisation.pdf <span style='color:#111;'> 184.93KB </span>","children":null,"spread":false},{"title":"0-front-matter.pdf <span style='color:#111;'> 137.06KB </span>","children":null,"spread":false},{"title":"11-Formal Definition of Timed Coloured Petri Nets.pdf <span style='color:#111;'> 169.33KB </span>","children":null,"spread":false},{"title":"10-Timed Coloured Petri Nets.pdf <span style='color:#111;'> 253.88KB </span>","children":null,"spread":false},{"title":"16-back-matter.pdf <span style='color:#111;'> 171.21KB </span>","children":null,"spread":false},{"title":"5-Hierarchical Coloured Petri Nets.pdf <span style='color:#111;'> 290.26KB </span>","children":null,"spread":false},{"title":"8-Advanced State Space Methods.pdf <span style='color:#111;'> 151.28KB </span>","children":null,"spread":false},{"title":"4-Formal Definition of Non-hierarchical Coloured Petri Nets.pdf <span style='color:#111;'> 174.76KB </span>","children":null,"spread":false},{"title":"12-Simulation-based Performance Analysis.pdf <span style='color:#111;'> 277.69KB </span>","children":null,"spread":false},{"title":"14-Examples of Industrial Applications.pdf <span style='color:#111;'> 851.11KB </span>","children":null,"spread":false}],"spread":false},{"title":"models","children":[{"title":"chapter10","children":[{"title":"10-19TimedStateSpaces.cpn <span style='color:#111;'> 71.63KB </span>","children":null,"spread":false},{"title":"10-1TimedProtocol.cpn <span style='color:#111;'> 57.76KB </span>","children":null,"spread":false}],"spread":true},{"title":"chapter3","children":[{"title":"3-20Recursion.cpn <span style='color:#111;'> 56.88KB </span>","children":null,"spread":false},{"title":"3-1UnionRecord.cpn <span style='color:#111;'> 59.56KB </span>","children":null,"spread":false},{"title":"3-19Polymorphic.cpn <span style='color:#111;'> 57.05KB </span>","children":null,"spread":false},{"title":"temp.nmoutfile <span style='color:#111;'> 0B </span>","children":null,"spread":false},{"title":"3-7Queues.cpn <span style='color:#111;'> 67.47KB </span>","children":null,"spread":false},{"title":"cpntools.dump <span style='color:#111;'> 11.03KB </span>","children":null,"spread":false},{"title":"3-18Functions.cpn <span style='color:#111;'> 56.06KB </span>","children":null,"spread":false}],"spread":true},{"title":"chapter5","children":[{"title":"5-1HierarhicalProtocol.cpn <span style='color:#111;'> 101.25KB </span>","children":null,"spread":false},{"title":"5-30MultipleReceivers.cpn <span style='color:#111;'> 117.78KB </span>","children":null,"spread":false},{"title":"5-24TwoReceivers.cpn <span style='color:#111;'> 123.28KB </span>","children":null,"spread":false},{"title":"5-19TwoReceivers.cpn <span style='color:#111;'> 164.39KB </span>","children":null,"spread":false},{"title":"5-8Instances.cpn <span style='color:#111;'> 0B </span>","children":null,"spread":false}],"spread":true},{"title":"chapter7","children":[{"title":"7-2LimitProtocol.cpn <span style='color:#111;'> 61.74KB </span>","children":null,"spread":false}],"spread":true},{"title":"chapter2","children":[{"title":"2-1DeterministicProtocol.cpn <span style='color:#111;'> 41.93KB </span>","children":null,"spread":false},{"title":"2-10NondeterministicProtocol.cpn <span style='color:#111;'> 56.59KB </span>","children":null,"spread":false}],"spread":true},{"title":"chapter12","children":[{"title":"12-1PerformanceProtocol.cpn <span style='color:#111;'> 106.97KB </span>","children":null,"spread":false}],"spread":true}],"spread":true},{"title":"Telephones.cpn <span style='color:#111;'> 92.93KB </span>","children":null,"spread":false},{"title":"cpntools.exe <span style='color:#111;'> 2.64MB </span>","children":null,"spread":false},{"title":"pbb.cpn <span style='color:#111;'> 1.71MB </span>","children":null,"spread":false},{"title":"bluetoothz.cpn.zip <span style='color:#111;'> 12.60KB </span>","children":null,"spread":false},{"title":"zbluetooth.cpn <span style='color:#111;'> 242.57KB </span>","children":null,"spread":false}],"spread":true}],"spread":true}]

评论信息

免责申明

【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明