搜索资源列表
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_nets
- Petri Nets Petri nets are a basic model of parallel and distributed systems
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
Modeling-Distributed-Real-Time-Systems-using-Adap
- Modeling Distributed Real-Time Systems using Adaptive Petri Nets.
Application-of-Petri-Nets
- Petri网在制造系统建模与仿真中的应用-Petri nets in the modeling and simulation of manufacturing systems
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.
10PetriNets
- Definition: places, transitions, inputs, outputs firing enabled transitions Modelling: concurrency and synchronization Properties of nets: liveness, boundedness Implementing Petri net models: centralized and decentralized schemes
SPNP-Stochastic-Petri-Nets-Version-6.0
- SPNP:Stochastic Petri Nets.Version6.0 Christophe Hirel, Bruno Tun and Kishor S. Trivedi
fual
- 一种计及不完备信息的电力系统抑制弧Petri网故障诊断改进模型，保证在出现保护、断路器发生误动、拒动或者警报信息出现丢失、畸变等异常情况时的故障诊断结果的准确性-An account of incomplete information systems inhibit electrical arc Petri nets improved fault diagnosis model, to ensure that in the event of the protection circuit brea
CPN-Modeling
- Modeling and analysis of business processes using colored Petri nets - parsian paper
CPN
- Business process simulation using colored Petri nets - parsian paper