Petri

token是什么

令牌（信息安全术语）Token,令牌，代表执行某些操作的权利的对象访问令牌（Accesstoken）表示访问控制操作主体的系统对象邀请码，在邀请系统中使用Token,Petri网（Petrinet）理论中的
ali是个小太阳·2018-06-06 21:56

Intellij IDEA2017搭建Scala开发环境教程

Funnel是把函数式编程思想和Petri网相结合的一种编程语言。Odersky先前的工作是GenericJava和javac（SunJava编译器）。Java平台的Scala于2003年底/200
FLYFineFun·2018-01-02 11:18

Scala_入门笔记

Funnel是把函数式编程思想和Petri网相结合的一种编程语言。Odersky先前的工作是GenericJava和javac（SunJava编译器）。
我是一只小小小小小鸟·2017-12-04 17:10

形式化

并发系统的计算模型有很多，像迁移系统、自动机、petri网以
柳絮9712·2017-06-20 16:37

Spark 入门之 Scala 语言解释及示例讲解

Funnel语言尝试将函数式编程和Petri网结合起来，而Scala的预期目标是将面向对象、函数式编程和强大的类型系统结合起来，同时让人要能写出优雅、简洁的代码。
豆芽炒粉丝·2016-07-19 14:19

Petri网介绍

Petri网是一种可以用网状图形表示的系统模型。并发系统中遇到的一个主要问题是定时问题。这个问题可以表现为多种形式，如同步问题、竞争条件以及死锁问题。
Sike·2016-06-24 00:00

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

常用Petri网模拟软件工具简介   首先要介绍的的一个非常有名的Petri网网站--PetriNetsWorld：    http://www.informatik.uni-hamburg.de/TGI
sunhuaqiang1·2016-04-29 09:00

OsWorkFlow工作流简介

通过使用，用户就可以把工作中心放在业务和规则的定义上，而不需通过硬编码的方式实现一个Petri网或是一个有穷自动机。用户可以以最小的代价把osworkflow整合到自己的程序中来。Os
gaowenhui2008·2016-04-07 14:00

分布式进阶(十九) 基于集群的动态反馈负载均衡策略

德国的CarlAdamPetri于1962年在他的博士论文《自动机通信》中提出了Petri网的概念,它是一种适合于描述异步、并发、分布式系统的图形数学工具。 
sunhuaqiang1·2016-03-14 16:00

atitit.TokenService  token服务模块的设计

Token的归类Token, 令牌，代表执行某些操作的权利的对象访问令牌（Access token）表示访问控制操作主题的系统对象邀请码，在邀请系统中使用Token, Petri 网（Petri ne
attilaxAti·2016-03-08 16:00

atitit.TokenService  token服务模块的设计

Token的归类Token, 令牌，代表执行某些操作的权利的对象访问令牌（Access token）表示访问控制操作主题的系统对象邀请码，在邀请系统中使用Token, Petri 网（Petri ne
attilaxAti·2016-03-08 16:00

atitit.TokenService  token服务模块的设计

Token的归类Token, 令牌，代表执行某些操作的权利的对象访问令牌（Access token）表示访问控制操作主题的系统对象邀请码，在邀请系统中使用Token, Petri 网（Petri ne
attilax·2016-03-08 16:00

Petri网的工具

需要寻找Petri网的工具的朋友可以在http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/complete_db.html里面找一找。
Mr.Coder·2016-02-16 18:00

人工智能——Petri网表示法

Petri网是由德国学者Cah Abam Petri于1962年在其博士论文“Communication with Automata”提出来的，用于构造系统模型及进行动态特性分析。
·2015-11-13 03:01

关于研究生生活

2009年状态一直不好，人很浮躁，有点小抑郁，每天一个人待在实验室，看了几篇网络编码的文章，上了随机过程和petri网的课，可惜都无法控制的没有真的用心。就这样，每一周刷刷地飞逝。
·2015-11-12 20:20

业务流程管理综述

本文主要介绍业务流程管理的基本概念、相关技术，以及讨论形式化方法/语言对业务流程管理的作用（例如Petri网，过程代数等）。 关键词：业务流程管理 工作流管理形式化方法 引言 首先了解一下信
·2015-11-12 11:04

2014年天津市第一批科技计划项目

基于多分辨率的流体细节增强与交互编辑技术研究 天津大学天津市认知计算与应用重点实验室 刘世光 2 基于模式图的云数据检索关键技术研究 南开大学信息技术科学学院 温延龙 3 随机风险Petri
·2015-11-12 09:30

petri网学习笔记--stochastic petri net分类

nbsp; SPN 给P/T网的每个transition关联一个实施速率(firing rate)而得到的模型   GSPN  Generalized stochastic petri
·2015-11-10 23:49

随机petri网

SPN：即给P/T网的每个transition关联一个实施速率(firing rate)而得到的模型。 一个SPN 同构于 一个连续时间MCSPN的每个Marking 映射成 MC的一个状态SPN的可达图 同构于 一个MC的状态空间 构造SPN可达图和MC之间同构的关键因素：1、变迁实施速率的指数分布所导致的无记忆性；2、Marking的可数性； 由SPN可达图->易得->
·2015-11-10 23:48

stochastic petri net 学习笔记1

一 网与子网 definition 1：网 N = (S,T;F) 1）S_元，库所，位置　　->  place         ->　圆圈 2）T_元，变迁　　　　　->　transition      ->  矩形
·2015-11-10 23:48

Dynamic Power Management of Complex Systems Using Generalized Stochastic Petri Nets

我们将具有分布式电源管理的计算机系统建模为一个可控的广义随机Petri网（GSPN）。得到的GSPN模型自动转换为等效的连续时间markov决策过程。由于延迟的
·2015-11-10 23:47

编写有效用例读后感一

用例是代表系统中各个项目相关人员之间就系统行为所达成的契约，描述了在不同条件下系统对某一项目相关人员的请求所作出的响应，可以用流程图、顺序图、Petri网或程序设计语言来表示用例。
hy喵喵叶子·2015-11-10 22:00

编写有效用例读后感一

用例是代表系统中各个项目相关人员之间就系统行为所达成的契约，描述了在不同条件下系统对某一项目相关人员的请求所作出的响应，可以用流程图、顺序图、Petri网或程序设计语言来表示用例。
hy喵喵叶子·2015-11-10 22:00

Shader编程教程

我的名字叫Petri Wilhelmsen，是Dark Codex Studios的成员。我们经常会参加各种图形/游戏开发的竞赛
·2015-11-07 11:07

软件工程用图

数据流图ER图层次方框图状态转换图Warnier图Petri图网HIPO图判定树盒图(N-S图)PAD图 数据流图  简介: 数据流图是结构化分析方法中使用的工具,它以图形的方式描绘数据在系统中流动和处理的过程
·2015-11-02 14:23

petri网初步

历史：Petri网的概念是德国的Carl Adam Petri早在1962年提出来的。
·2015-11-02 09:19

How do I install Active Directory on my Windows Server 2003 server?

by Daniel Petri - January 8, 2009 Printer Friendly Version First make sure you read and understand
·2015-11-01 12:52

业务流程管理综述

本文主要介绍业务流程管理的基本概念、相关技术，以及讨论形式化方法/语言对业务流程管理的作用（例如Petri网，过程代数等）。
·2015-11-01 10:17

Petri Net 工具下载地址。

Download of PNK Java versions Application Download Info PNK 2.2 pnk2.2.zip readme tutorial bug report Tools for PNK 2.2 Applications   PNK 2.1 pnk-2.1.tgz readme tutor
·2015-10-31 09:40

【原】XNA Shader教程的Rendermonkey实现

来自挪威的Petri Wilhelmsen今年在他的博客上连载XNA Shader系列教程，被多次转载并翻译成多种语言。教程从最基础的shader开始，到现在已经连载了22篇。
·2015-10-31 08:11

后知后觉的我，Petri Net的提出者Carl Adam Petri已经去世了

今天翻起一本10年8月的ACM通信，突然发现有个红字Obituary，一看居然是Carl Adam Petri去世了。作为一个研究形式化技术的学生，感觉到一丝伤痛。
·2015-10-30 11:51

推荐一个功能强大chart控件 ZedGraph。

NPlot 据说是开源轻量级最好的，但最新是0.989版，有几个demo，但是都是winform的，没有可视化设计的功能； quickgragh，好像是画petri
·2015-10-23 09:11

Changing the IP Address of a Domain Controller

摘自： https://www.petri.com/change-ip-address-domain-controllerAsacriticalpartofyourITinfrastructure,domaincontrollers
KS1943·2015-10-21 14:07

vista and IE7 can't send mail in OWA 2003

in outlook web access 2003 can't send mail, and IE will crash when compose messageref:http://www.petri.co.il
·2015-10-21 12:14

Performance analysis of composite web service 笔记

presented at 2008 IEEE International Conference on Granular Computing, GRC 2008  使用Stochastic Petri
·2015-10-21 11:56

Win10安装量已达8100万 9月底前将破亿

据Petri报道，来自
佚名·2015-09-09 08:00

《软件工程》阅读笔记之二

形式化的基本概念（形式规约、形式证明与验证、程序求精），事态逻辑（一般线性事态逻辑、计算树逻辑），模型检验，Z语言的概念，表示，实例；Petri网的基本定义，规格实例（信号灯）。第六章：面向对象基础。
春宵一刻·2015-06-19 11:00

《软件工程》阅读笔记之二

形式化的基本概念（形式规约、形式证明与验证、程序求精），事态逻辑（一般线性事态逻辑、计算树逻辑），模型检验，Z语言的概念，表示，实例；Petri网的基本定义，规格实例（信号灯）。第六章：面向对象基础。
春宵一刻·2015-06-19 11:00

804 - Petri Net Simulation(简单魔模拟)

比较简单的,注意的问题是一个输入库可能话费多个货物进行转化,需要对输入进行特殊处理 Problem VerdictLangTimeBestRankSubmitTime | discuss804 - PetriNetSimulation AcceptedC++0.0990.028142minsago#include #include #include usingnamespacestd; const
u013451221·2015-05-19 10:00

专业软件开发人员必须精通的事项

方法：必须理解XP,Scrum,精益，看板，瀑布，结构化分析及结构化设计等．实践：必须掌握测试驱动开发，面向对象设计，结构化编程，持续集成和结对编程．工件：必须了解如何使用UML图，DFD图，结构图，Petri
紫慕阳·2015-05-11 13:00

UVa 804 - Petri Net Simulation（模拟）

模拟Petri网变迁，读懂题之后其实不难。建一个petri结构体，ip、op是参与变迁的place的编号。用数组记录每个参与变迁的place的tokens改变量。
wcr1996·2015-03-22 02:00

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

首先要介绍的的一个非常有名的Petri 网网站--PetriNetsWorld：http://www.informatik.uni-hamburg.de/TGI/PetriNets/    我这里介绍的软件大部分在该网站中的
jiary5201314·2015-03-18 14:00

Petri nets toolbox for matlab

http://www.pntool.ac.tuiasi.ro/It'sverygood,andnoticethepublicationsabouttheusageoftoolbox.
oney139·2014-10-29 09:00

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

常用Petri网模拟软件工具简介首先要介绍的的一个非常有名的Petri 网网站--PetriNetsWorld：http://www.informatik.uni-hamburg.de/TGI/PetriNets
jiary5201314·2014-10-19 20:00

color petri net tool

ColorPetrinettool:Pleasevisit http://cpntools.orgAnotherPetrinettoolforTimePetrinetandP/Tnetyoucanused:PIPE.
oney139·2014-09-29 16:00

很久以前某位大仙对petri网的总结

2006年03月14日计算模型的统一分析计算模型的统一分析   人类所有的计算模型都包括如下四个要素：        1）输入集合或者输入变量（I）；        2）输出集合或者输出变量（O）；        3）处理或者变化（P）；        4）数据或者状态（D）。即ComputingModel=（I，O，P，D）–注意其中用的是逗号（，），其中的输入输出是处理或者变化元素的输入输出。
oney139·2014-09-07 16:00

一篇介绍petri入门的博客

http://blog.sina.com.cn/s/blog_88337d9601012y2x.html#cmt_2289712
oney139·2014-08-21 20:00

一个朋友的朋友的研究成果

在百度里搜索“带监督弧的扩展Petri网模型及其应用研究”即可
oney139·2014-08-21 20:00

通过VMDirectPath解决VMware ESXi访问USB和其他PCI设备的问题

原文地址：http://cxpbt.blog.51cto.com/960019/463787参考链接：http://www.petri.com/vmware-esxi4-vmdirectpath.htm
foolish239587·2014-08-12 15:46

成功的软件开发者需要掌握人际技能的3个原因

近日，Petri撰写了一篇文章，谈到了对于软件开发者来说，掌握人际技能重要性的3个原因。
lg831229·2014-05-25 07:00
上一页 1 2 3 4 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他