文件名称: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
places, transitions, inputs, outputs
firing enabled transitions
Modelling:
concurrency and synchronization
Properties of nets:
liveness, boundedness
Implementing Petri net models:
centralized and decentralized schemes
(系统自动生成,下载前可以参看下载内容)
下载文件列表
10PetriNets.ppt