搜索资源列表
Petri_Nets
- 一部介绍petri网模型的好书。 petri网理论提出自20世纪60年代，有严谨的数学基础，广泛的应用于工作流建模等领域。-a Petri net model on the books. Petri net theory since the 1960s, a strict mathematical basis, widely used for work flow modeling, and other fields.
An_Introduction_To_Petri_Nets
- 正如文件名，一篇介绍petri网的文章,pdf格式。队petri Net 理论作了深入浅出的讲解-as the file name on a petri nets article pdf format. Team Petri Net theory was simple to explain
petri
- petri网的一些相关简单入门文章汇总，希望有帮助
petri
- 关于有色petri网的应用文章，主要是国外学者的研究成果。
petri_nets
- Petri Nets Petri nets are a basic model of parallel and distributed systems
t
- 使用Petri网对实时协作系统进行建模和分析
workflow-role
- 基于角色的工作流建模研究 从角色及其交互角度出发,考察了现有的 基于角色的工作流过程建模方法,提出了一种基于Petri 网的工作流角色建模方法。利用这种建模方法,可以清楚的描述出角色 的外部接口,突出角色之间的协作关系,Petri 网的形式化语义方便进行模型的验证和分析-Research on Role-Based Workflow Modeling Abstract: The traditional process-based workflow modeling ignores
javafr_MODELISATION-GRAPHIQUE-RESEAUX-PETRI-GENER
- this programme java thinks u open sourc e lanagage jav a is all grafike of reseuax petri -this is programme java thinks u open sourc e lanagage jav a is all grafike of reseuax petri
431
- 工作流系统模型的性能等价分析 讨论了基于随机Petri网的工作流系统的顺序、并行、选择、循环4种基本模型,并详细推导了这4种基本模型的性能等价公式.最后通过现实中的一个工作流实例来说明如何建立相应的随机Petri网模型,以及如何利用这些性能等价公式来计算工作流的性能参数.给出了定量分析工作流系统性能的通用方法,通过用这些等价公式不仅可以对复杂的系统进行性能等价化简,而且还可以得到性能参数的乘积解.-Workflow Performance Equivalent point
systemdesign
- 应用π演算方法,结合Petri网中的面向对象Petri网和时间Petri网,建立了嵌入式系统软件体系结构抽 象模型ESAM,研究了ESAM模型的动态演化、一致性和死锁。应用ESAM抽象模型,对车站信号联锁控制器进行了 建模与分析。-Application of π calculus, combined with Petri nets in object-oriented Petri nets and time Petri nets, embedded system software ar
Petrielest
- 基于时间Petri网的并行测试任务调度Petri nets based on time scheduling parallel test-Petri nets based on time scheduling parallel test
SE2-Spec-of-Systems-and-Languages
- 第二卷涵盖的基本原则和技术的具体制度和语言。它涉及的建模符号（语用，语义和语法的系统和语言） ，空间造型和简单的时间现象，而且这种专门题目为模块化（包括uml类图)， petri网，活出序列图，状态图，和颞逻辑学，其中包括持续计算。最后，本书介绍的技术翻译和编译器开发的功能性，势在必行，模块化和并行编程语言。 -The second volume covers the basic principles and techniques of specifying systems and langua
Application-of-Petri-Nets
- Petri网在制造系统建模与仿真中的应用-Petri nets in the modeling and simulation of manufacturing systems
Petri-net-2-(switch-light)
- Petri net switch light
jihe
- color petri net 介绍，包含多篇应用论文-COLOR petri net
A-study--for-Petri-net
- petri网的仿真语言的设计与研究的相关应用-petri nets simulation language design and research applications
scanf-pretri2
- 在派翠網路中，3個狀態節點與4個轉移節點的情況下，檢視派翠網路的可達狀態。-In Petri nets, the next three states node metastasis with four nodes, the view Petri nets up state.
SPNP-Stochastic-Petri-Net-Package-Version-5.0
- SPNP Stochastic Petri Net Package Version 5.0
SPNP-Stochastic-Petri-Nets-Version-6.0
- SPNP:Stochastic Petri Nets.Version6.0 Christophe Hirel, Bruno Tun and Kishor S. Trivedi
PETRI
- 软件工程形式化管理方法petri网相关知识，可以学习用-Petri-network in software management ,can be used for learning .