原文:常用Petri网模拟软件工具简介

常用Petri网模拟软件工具简介 首先要介绍的的一个非常有名的Petri网网站 Petri Nets World: http: www.informatik.uni hamburg.de TGI PetriNets 我这里介绍的软件大部分在该网站中的Tools and Software中的Petri Nets Tool Database里可以找到相关的链接。 Petri网的相关模拟仿真软件现在已经 ...

2020-12-13 11:21 0 442 推荐指数:

查看详情

Petri

Petri是一种适合于系统描述和分析的数学模型,主要描述异步和并发关系。(或者Petri是对离散并行系统的数学表示,适用于描述异步的,并发的计算机系统模型。) Petri模型自然,直观,简单易懂的描述了在分析并行系统的状态行为的技术。 Petri网主要用于:计算机协议 ...

Mon Mar 12 00:51:00 CST 2018 0 4236
安装ipmi软件工具

ipmi 檢視 What links here 週二, 07/31/2007 - 10:12 — sunchiahome ...

Wed Aug 01 18:31:00 CST 2012 0 4144
DIA技术及其软件工具介绍

前言 关于蛋白质组学,你是不是已经听了太多公司的宣讲,介绍了一大堆的技术名词,反而越听越懵懂,脑袋一团乱麻?就和传话游戏一样,当我们接收了多手信息以后,得到的信息就越不准确。那么,何不自己看一看第一 ...

Fri Apr 03 07:16:00 CST 2020 0 2750
Ipinstall软件工具-可视对讲

Ipinstall软件工具操作说明 安居宝Ipinstall软件工具是用于联网型对讲系统中网络设备的属性及参数修改,该设备在系统中是否能正常运行,其属性和参数的设置起着决定性的作用, 然而设备的属性、参数设置是否能成功地设置好,则关系着Ipinstall软件工具的正确操作与否。 文件 ...

Mon Sep 16 23:58:00 CST 2019 0 592
生信软件工具-Trimmomatic

Trimmomatic 注意:软件工具一般会定期进行迭代更新,如果使用出现问题,请查看官方文档。 可以用来切除illumina测序平台的接头序列,还可以去除由我们自己指定的特定接头序列,而且同时也能够过滤read末尾的低质量序列。具体的原理就是通过滑动一定长度的窗口,计算 ...

Mon Jul 13 17:18:00 CST 2020 0 935
软件工具——GitGUI使用教程

https://blog.csdn.net/qq_15903671/article/details/87970177 公司使用GitLab作版本控制工具,开发使用git客户端链接到公司GitLab服务器进行代码和文档的提交和维护。 Git客户端安装教程:https ...

Wed Nov 11 22:56:00 CST 2020 2 472
生信软件工具-fastp

fastp 注意:软件工具一般会定期进行迭代更新,如果使用出现问题,请查看官方文档。 fastp是一款数据质控过滤软件,作者是陈实富,来自深圳海普洛斯公司。他们将这款工具开源免费使用,这一点是非常值得称赞的。其实国内很多测序公司都有自己开发的数据处理程序,不过很多都在内部使用 ...

Wed Jul 15 00:24:00 CST 2020 0 2394
 
粤ICP备18138465号  © 2018-2025 CODEPRJ.COM