Location:
Search - network petri
Search list
Description: 模拟一个petri网的行为。该程序应该读入一组转换规则，以及一组状态列表，这些状态对应于网络链路层发出了一个新分组或者接受一个新分组，初始状态也是要读入的。该程序应该从初始状态开始，随机地选择那些激活的转换，并激发这些状态，检查一下看是否有“一个主机接受了2个分组而另一台主机并没有在此期间发出新的分组”这样的情形。-simulated a petri nets behavior. The procedure should be read into one group conversion rules, and a list of the state group, These conditions correspond to link layer network issued a new group or accept a new grouping, initial state is to be read into the. The procedure should start from the initial state, randomly selecting those activated conversion, and to stimulate these states, check to see if it "one of the hosts for a two and the other host has not issued during this period of a new" the same situation.
Platform: |
Size: 1356 |
Author: sherry |
Hits:
Description: Rakiura JFern是一个非常轻型的带有模拟器的Petri网络框架，用Java编写，为Java开发者而设计-Rakiura JFern is a very light with the simulator Petri network framework, prepared with Java, Java developer and design
Platform: |
Size: 687240 |
Author: 王清元 |
Hits:
Description: petri网络的演示程序，本程序是计算机网络课程中涉及到的petri网络的演示，输入预先的转换规则，搜索可以击发的状态，设定次数进行状态转换-Petri Network Demonstration Program, the process is computer network courses related to the petri network demonstration, the importation of pre-conversion rules can search the state while working on the creation of a state for the number change
Platform: |
Size: 1788 |
Author: 邱孝杰 |
Hits:
Description: Rakiura JFern是一个非常轻型的带有模拟器的Petri网络框架，用Java编写，为Java开发者而设计-Rakiura JFern is a very light with the simulator Petri network framework, prepared with Java, Java developer and design
Platform: |
Size: 687104 |
Author: 王清元 |
Hits:
Description: petri网络的演示程序，本程序是计算机网络课程中涉及到的petri网络的演示，输入预先的转换规则，搜索可以击发的状态，设定次数进行状态转换-Petri Network Demonstration Program, the process is computer network courses related to the petri network demonstration, the importation of pre-conversion rules can search the state while working on the creation of a state for the number change
Platform: |
Size: 1024 |
Author: 邱孝杰 |
Hits:
Description: 模拟一个petri网的行为。该程序应该读入一组转换规则，以及一组状态列表，这些状态对应于网络链路层发出了一个新分组或者接受一个新分组，初始状态也是要读入的。该程序应该从初始状态开始，随机地选择那些激活的转换，并激发这些状态，检查一下看是否有“一个主机接受了2个分组而另一台主机并没有在此期间发出新的分组”这样的情形。-simulated a petri nets behavior. The procedure should be read into one group conversion rules, and a list of the state group, These conditions correspond to link layer network issued a new group or accept a new grouping, initial state is to be read into the. The procedure should start from the initial state, randomly selecting those activated conversion, and to stimulate these states, check to see if it "one of the hosts for a two and the other host has not issued during this period of a new" the same situation.
Platform: |
Size: 1024 |
Author: sherry |
Hits:
Description: 模拟一个Petri网的行为:该程序应该读入一组转换规则，以及一组状态列表，这些状态对应与网络链路层发出一个新的分组或者接受一个新的分组。初始状态也是要读入的。该程序应该从初始状态开始，随机地选取那些激活的转换，并激发这些转换，检查一下看是否有“一台主机接受了2个分组而另一台主机并没有在此期间发出新的分组”这样的情形。-Simulation of the behavior of a Petri net: the program should be read into a set of transformation rules, as well as a group of state a list of these status corresponds with the network link layer sends a new packet or accept a new packet. Initial state is to read the. The program should be started from the initial state, randomly select those to activate the conversion, and inspire those conversions, check to see whether there is
Platform: |
Size: 48128 |
Author: 秋婷 |
Hits:
Description: the program calculates the invariants ( place and transition ) for a petri network . petri networks are used to test protocols.
Platform: |
Size: 2048 |
Author: pandele |
Hits:
Description: 该工具是一petri网模拟器，可用来进行petri网的模拟，方便好用-this is a petri network simulator simulate the petri network
Platform: |
Size: 1222656 |
Author: liuyuexiao |
Hits:
Description: Petri网: 基本概念和分析方法 ，对学习perti网仿真和很有帮助-Petri nets: basic concepts and analytical methods, simulation and helpful to learn perti Network
Platform: |
Size: 389120 |
Author: 苏醒 |
Hits:
Description: 本文概述了Petri网的历史、发展、研究方法及应用领域，同时介绍了Petri网的基本原理，并给出了一个计算机网络链路层数据传输协议——停等协议的Petri网模型。最后，概述了Petri网研究和应用中出现的问题，展望了Petri网的发展方向。
-This article outlines the history of Petri nets, development, research methods and applications, and introduces the basic principles of Petri nets, and gives a computer network link layer data transfer protocol- Holding Petri net model of protocol. Finally, an overview of research and application of Petri net problems, prospects of development of the Petri net.
Platform: |
Size: 7168 |
Author: 俞锃光 |
Hits:
Description: 这几篇文章介绍了佩特利网(Petri网)和Stateflow 的基本概念，给出Petri网在MaⅡab环境下的仿真方法．混合Petri网模型为例进行说明， 结合仿真结果对Peri网的性能进行了初步分析。-This articles describes Pei Teli net (Petri net) and Stateflow basic concepts of Petri nets is given in Ma Ⅱ ab environment simulation. Hybrid Petri net model as an example, simulation results with the performance of Peri network conducted a preliminary analysis.
Platform: |
Size: 2746368 |
Author: momo |
Hits:
Description: simulation Petri Network in java
Platform: |
Size: 185344 |
Author: Aygerim |
Hits:
Description: petri网络的演示程序源码，本程序源码是计算机网络课程中涉及到的petri网络络的演示，输入预先的转换规则，搜索能击发的状态，设定次数进行状态转换 可直接使用。
-Petri network demo program source code, the program source code is a computer network courses related to petri network network presentations, enter the pre-conversion rules, the search can be firing state, set the number of state transitions can be used directly.
Platform: |
Size: 2048 |
Author: 举例 |
Hits:
Description: Petri网中间件应用研究
petri 网在电信支撑系统的引用-petri network
Platform: |
Size: 1399808 |
Author: 王 |
Hits:
Description: 基于JAVA代码的petri网仿真软件,可进行网络图最佳路线计算-JAVA-based code petri net simulation software, which can calculate the best route for network diagrams
Platform: |
Size: 2906112 |
Author: jianming |
Hits:
Description: Rakiura JFern是一个非常轻型的带有模拟器的Petri网络框架，用Java编写，为Java开发者而设计-Rakiura JFern is a very lightweight frame with Petri network simulator, written in Java for Java developers to design
Platform: |
Size: 4338688 |
Author: 董振 |
Hits:
Description: 一个非常轻型的带有模拟器的Petri网络框架,编程学习源码，很好的参考资料-A very lightweight framework Petri network programming source code with the simulator to learn, a good reference
Platform: |
Size: 4186112 |
Author: 冯辉 |
Hits:
Description: 软件工程形式化管理方法petri网相关知识，可以学习用-Petri-network in software management ,can be used for learning .
Platform: |
Size: 17821696 |
Author: 靳炯超 |
Hits:
Description: we introduce many types of attack. In many types of attack wormhole attack is more dangerous attack for network because it is very hard to detect. We discussed about a wormhole attack & its models and types. This survey introduces different wormhole detection techniques location based, time based, neighbour information based and authentication based methods using ConSetLoc, Time Petri net, ROCRSSI, LIDeA, Merkle algorithems to detect wormhole attack. And existing detection techniques and its advantages and limitations.
-we introduce many types of attack. In many types of attack wormhole attack is more dangerous attack for network because it is very hard to detect. We discussed about a wormhole attack & its models and types. This survey introduces different wormhole detection techniques location based, time based, neighbour information based and authentication based methods using ConSetLoc, Time Petri net, ROCRSSI, LIDeA, Merkle algorithems to detect wormhole attack. And existing detection techniques and its advantages and limitations.
Platform: |
Size: 175104 |
Author: manthan |
Hits: